Inleiding Logica: 2010/2011
Deze pagina gaat over het eerstejaars college Inleiding Logica voor
de studierichting Wiskunde (bachelor, 1e jaar).
Er zijn aparte pagina's over
-
Het tentamen is nagekeken; u kunt uw tentamencijfer op blackboard vinden.
Het op blackboard berekende eindcijfer is nu correct.
- U kunt een afspraak maken om uw
werk in te komen zien.
Opzet
Het college Inleiding Logica bestaat uit zes hoorcolleges en zes
werkcolleges.
Elke week worden bij het hoorcollege huiswerkopgaven bekend gemaakt; deze
worden bij het werkcollege besproken.
Tijd en plaats
Het hoorcollege is op maandag van 15:00 - 16:45 uur in zaal G210.
Het werkcollege is op vrijdag van 11:00 - 12:45 uur in zaal
D1.115/G4.15.
Materiaal
- Als basismateriaal voor het college gebruiken we 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 17 december.
Daarnaast dient u wekelijks een van de huiswerkopgaven van het
werkcollege in te leveren bij het daaropvolgende hoorcollege.
De deadline is steeds: 15 uur 's middags (dwz bij 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, natuurlijke deductie)
- (eventueel) speciale onderwerpen zoals beslisbaarheid/kennislogica/...
Vragen, opmerkingen: stuur een mailtje naar
Yde Venema