Inleiding Logica: herfst 2009


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

Inhoud

Er zijn aparte pagina's over

Nieuws


Organisatie

Opzet Het college Inleiding Logica bestaat uit zes hoorcolleges (maandag van 13-15) en zes werkcolleges (vrijdag 9-11).
Elke week worden bij het hoorcollege huiswerkopgaven bekend gemaakt; deze worden bij het werkcollege besproken.

Tijd en plaats Het hoorcollege is op maandag van 13:00 - 14:45 uur in zaal P227.
Het werkcollege is op vrijdag van 09:00 - 10:45 uur in zaal P018/JK385.
Klik
hier voor een kaart met locaties.

Materiaal

Docenten

Beoordeling Er is een schriftelijk tentamen op vrijdag 11 december. Daarnaast dient u wekelijks een van de huiswerkopgaven van het werkcollege in te leveren bij het daaropvolgende hoorcollege. De deadline is steeds: 13 uur 's middags (dwz de aanvang van het college). Er zijn in totaal vijf 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:


Yde Venema

.nl">Yde Venema