Inleiding Wiskundige Logica: 2011/2012
Deze pagina gaat over het eerstejaars college Inleiding Logica voor
de studierichting Wiskunde (bachelor, 1e jaar).
Er is een aparte pagina over
- Voor het tentamen dient u de volgende stof te beheersen:
- boek H1, H2, H3: 1-3, H4, H5: 1-2
- het materiaal van de extra aantekeningen
- de (deels nieuwe) stof die behandeld is bij de werkcollegs.
-
Hier is het
tentamen van verleden jaar.
NB: Het vak (en dus ook het tentamen) was verleden jaar lichter.
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
- 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 schappelijke prijs (18.95 euro) valt het te overwege
om het boek aan te schaffen.
- Daarnaast gebruiken we aanvullend materiaal, dat
hier in de vorm van pdf
files beschikbaar zal worden gesteld.
NB: ook het materiaal van de werkcolleges behoort tot de collegestof.
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:
- Het gemiddelde van de beste vijf (uit zes) 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, compactheid,
disjunctieve normaalvorm, functionele volledigheid, natuurlijke deductie,
correctheid en volledigheid),
- predikaatlogica (modelleren met predikaatlogica, modellen,
semantiek, geldigheid, natuurlijke deductie)
- (eventueel) speciale onderwerpen zoals beslisbaarheid/kennislogica/...
Vragen, opmerkingen: stuur een mailtje naar
Yde Venema