Inleiding Logica: overzicht behandelde stof
Deze pagina gaat over de behandelde stof bij de cursus
Inleiding Wiskundige Logica voor de studierichting Wiskunde
(semester 2b, 2017-2018).
Inhoud van de afgelopen colleges:
- werkcollege 24 mei:
- hoorcollege 22 mei: syllabus hoofdstuk 7.3, 10, 11
- predicatenlogica: natuurlijke deductie
- predicatenlogica: correctheid, volledigheid en compactheid
- werkcollege 17 mei: syllabus opgaven 8.5, 11.3, 11.1, 11.4
- hoorcollege 15 mei: syllabus hoofdstuk 8.2, 8.3, 11.1
- predicatenlogica: semantische begrippen, theorieën,
axiomatiseringen
- predicatenlogica: compactheid
- werkcollege 3 mei: syllabus opgaven 7.3, 7.5, 8.1, 8.2, 8.3.
- hoorcollege 1 mei: syllabus hoofdstuk 7, 8.1, 8.2
- predicatenlogica: syntaxis & semantiek
- predicatenlogica: expressiviteit dmv Ehrenfeucht-Fraïssé
spelen (geen tentamenstof)
- werkcollege 26 april: syllabus opgaven 6.1, 6.2, 6.4(1-4), 6.6, 7.1.
- hoorcollege 24 april: syllabus hoofdstuk 6, 7
- bewijs volledigheid
- predicatenlogica: taal en vertalen
- werkcollege 19 april: syllabus opgaven 4.3, 4.6, 4.7, 3.4, 6.8.
- hoorcollege 17 april: syllabus hoofdstuk 4, 6
- natuurlijke deductie (vervolg)
- correctheid, volledigheid en compactheid
- bewijs correctheid
- werkcollege 12 april: syllabus opgaven 3.3, 3.6, 3.7, 4.1, 4.2.
- hoorcollege 10 april: syllabus hoofdstuk 3.1, 3.2, 4.1-4.3
- functionele volledigheid
- natuurlijke deductie (inleiding)
- werkcollege 5 april: syllabus opgaven 2.1, 3.1, 3.2, 2.2, 2.3
- hoorcollege 3 april: syllabus hoofdstuk 1,2 (incl Boek H1,2,3.1)
- logica als vakgebied
- propositielogica: taal, waarheidstafels, semantische begrippen
- formule-inductie
Terug naar de hoofdpagina