Inleiding Logica: herfst 2009
Deze pagina gaat over het eerstejaars college Inleiding Logica voor
de studierichting Wiskunde (bachelor, 1e jaar).
Er zijn aparte pagina's over
- Het college is afgelopen.
- Het hertentamen is van 9-12 op woensdag 24 maart in zaal
C2.03
(Roeterseiland).
- Het tentamen van 11 december is nagekeken: u kunt uw cijfer op de
blackboardpagina vinden.
-
U kunt uw tentamen inzien als u dat wilt.
Neem daartoe contact op met de hoorcollegedocent voor een afspraak.
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
- Het grootste deel van de stof van het college kunt u vinden in het boek:
Logica in actie
van Johan van Benthem, Hans van Ditmarsch and Jan van Eijck.
U kunt dit boek (eventueel in delen)
hier
downloaden, maar gezien de zeer schappelijke prijs (12 euro) raad ik u aan om
het boek aan te schaffen.
- Daarnaast gebruiken we aanvullend materiaal, dat
hier in de vorm van pdf
files beschikbaar zal worden gesteld.
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:
- Het gemiddelde van de beste vier (uit vijf) huiswerkcijfers geeft het
cijfer H;
- De formule voor het eindcijfer is: (4*T + H)/5.
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:
- propositielogica (syntax, semantiek, waarheidstafels, disjunctieve
normaalvorm, functionele volledigheid, natuurlijke deductie),
- predikaatlogica (modelleren met predikaatlogica, modellen,
semantiek, geldigheid)
- (eventueel) speciale onderwerpen zoals beslisbaarheid/kennislogica/...
Yde Venema
.nl">Yde Venema
