Inleiding Wiskundige Logica: 2011/2012


Deze pagina gaat over het eerstejaars college Inleiding Logica voor de studierichting Wiskunde (bachelor, 1e jaar).

Inhoud

Er is een aparte pagina over

Nieuws


Organisatie

Opzet

Het college Inleiding Logica bestaat uit zes hoorcolleges en acht werkcolleges.
Aan het begin van elke week worden de opgaven bekend gemaakt die bij het werkcollege worden besproken.
Aanwezigheid bij het werkcollege is verplicht en wordt bijgehouden.

Tijd en plaats

Het hoorcollege is op maandag van 15:00 - 16:45 uur in zaal C1.112.
De werkcolleges zijn op woensdag van 11:00 - 12:45 uur in zaal D1.112/G3.10.

Materiaal

Docenten

Beoordeling

Er is een schriftelijk tentamen op 31 mei, van 14:00-17:00 uur. Daarnaast dient u wekelijks een van de huiswerkopgaven van het werkcollege in te leveren bij het daaropvolgende werkcollege. De deadline is steeds: 11 uur 's ochtends (dwz bij aanvang van het werkcollege). Er zijn in totaal zes inleveropdrachten. Uw eindcijfer wordt grotendeels bepaald door uw tentamencijfer (T) en gedeeltelijk door uw score (H) op het ingeleverde huiswerk. De precieze berekening van het eindcijfer is als volgt:

Met andere woorden: het huiswerk telt voor 1/5 mee.


Vakomschrijving

De cursus presenteert kernbegrippen van de logica vanuit een wiskundig perspectief. De belangrijkste thema's zijn: het gebruik van formele talen en semantiek voor het modelleren van informatie, en het gebruik van logische bewijs- en rekensystemen voor correct redeneren.

Inhoud De belangrijkste onderwerpen die aan bod komen zijn:


Vragen, opmerkingen: stuur een mailtje naar Yde Venema