Beweren en bewijzen/supplement/planning 1516
Uit Werkplaats
Hier de planning voor Beweren en Bewijzen in het collegejaar 2015-2016.
Inhoud
Week 5
Dinsdag 02/02: Waarschijnlijk geen responsiecolleges
- Misschien LaTeX-cursus geven indien we eisen dat uitwerkingen (huiswerk, werkstuk) met LaTeX worden gemaakt. In dat geval moeten er templates gemaakt worden.
- Misschien introductie werkplaats als er toch met de elektronische werkplaats gewerkt gaat worden.
Woensdag 03/02: Hoorcollege
Onderwerpen:
- Rationaliteitsvierkant
- Relatie tussen informeel en formeel
- Focus
- Modellen
- Geformaliseerde natuurlijke taal
- Kwaliteitscriteria?
Week 6
Woensdag 10/02: Hoorcollege
Onderwerpen:
- Grammatica (misschien alleen voor propositielogica?)
- Constructiebomen
- Systematisch vertalen (alleen propositielogica of ook al meteen met predikaatlogica?)
- Wat is een bewijs: overtuigend argumenteren?
- Bewijzen in natuurlijke taal?
- Introductie Coq?
Week 7
Dinsdag 16/02: Responsiecolleges
Leertaak 1:
- Rationaliteitsvierkant
- Constructieboom
- Systematische vertaling (formules conform grammatica)
- Bewijs in natuurlijke taal (tweede helft deurbel?)
Woensdag 17/02: Hoorcollege
Onderwerpen:
- Wat is een bewijs: bewijsregels in natuurlijke taal
- Bewijzen in natuurlijke taal
- Introductie Coq?
- Bewijs met inductie in Coq?
- Logicapuzzels
- Formalisatie logicapuzzels (SAT-solver? Coq?)
Week 8
Dinsdag 23/02: Responsiecolleges
Leertaak 2:
- Logicapuzzels oplossen in natuurlijke taal met verwijzing naar bewijsregels
- Formalisatie van logicapuzzel in formele logica
- Bewijs van geformaliseerde logicapuzzel in SAT-solver of Coq?
Woensdag 24/02: Hoorcollege
Onderwerpen:
- Domeinmodel met uitleg meetbare fenomenen
- Functioneel netwerk
- Correctheidsstelling
Week 9
Dinsdag 01/03: Responsiecolleges
Leertaak 3:
- Domeinmodel
- Functioneel netwerk
- Correctheidsstelling
Woensdag 02/03: Hoorcollege
Onderwerpen:
- Semantische tableaus
Week 10
Dinsdag 08/03: Responsiecolleges
Leertaak 4:
- Semantische tableaus bij simpele stellingen
- Semantisch tableau bij correctheidsstelling
Woensdag 09/03: Hoorcollege
Onderwerpen:
- Grammatica voor predikaatlogica (met typering?)
- Systematisch vertalen predikaatlogica (indien nog niet eerder gedaan, of eventueel een korte terugblik)
- Domeinmodel predikaatlogica met nadruk op meetbare fenomenen?
Week 11
Dinsdag 15/03: Responsiecolleges
Leertaak 5:
- Familierelaties in predikaatlogica
- Vertaling kroonprins naar predikaatlogica
Woensdag 16/03: Hoorcollege
Onderwerpen:
- Formalisatie van tijd
- Systematisch vertalen met tijd
Week 12
Dinsdag 22/03: Responsiecolleges
Leertaak 6:
- Systematische vertalingen met tijd
- Domeinmodellen en definities met tijd
Woensdag 23/03: Hoorcollege
Onderwerpen:
- Volautomatische parkeergarage
- Correctheidsstelling in predikaatlogica
Week 13
Kwartaalonderbreking: Deeltentamen 1?
Week 14
Kwartaalonderbreking: Deeltentamen 1?
Week 15
Dinsdag 12/04: Responsiecolleges
Leertaak 7:
- Correctheidsstelling in predikaatlogica
Woensdag 13/04: Hoorcollege
Onderwerpen:
- ?
Week 16
Dinsdag 19/04: Responsiecolleges
Leertaak 8:
- ?
Woensdag 20/04: Hoorcollege
Onderwerpen:
- Natuurlijke deductie propositielogica zonder negatieregels.
- Link met bewijsregels in natuurlijke taal.
Week 17
Dinsdag 26/04: Responsiecolleges
- Natuurlijke deductie propositielogica op papier
Leertaak 9:
Vrijdag 29/04: Hoorcollege (Engelbert waarschijnlijk niet aanwezig)
Onderwerpen:
- Natuurlijke deductie propositielogica met negatieregels.
- Introductie natuurlijke deductie met Coq.
Week 18
Meivakantie
Week 19
Dinsdag 10/05: Responsiecolleges
Leertaak 10:
- Natuurlijke deductie propositielogica, zowel op papier als met Coq.
Woensdag 11/05: Hoorcollege
Onderwerpen:
- Natuurlijke deductie predikaatlogica.
Week 20
Dinsdag 17/05: Responsiecolleges
Leertaak 11:
- Natuurlijke deductie predikaatlogica, zowel op papier als met Coq.
Woensdag 18/05: Hoorcollege
Onderwerpen:
- Natuurlijke deductie met getallen
Week 21
Dinsdag 24/05: Responsiecolleges
Leertaak 12:
- Natuurlijke deductie met getallen, zowel op papier als met Coq.
Woensdag 25/05: Hoorcollege
Onderwerpen:
- Terugblik op samenhang van de verschillende onderdelen van het vak (aan de hand van de leerdoelen?)
Week 22
Dinsdag 31/05: Responsiecolleges
Leertaak 13:
- Oud tentamen?
Woensdag 01/06: Deeltentamen 2
Onderwerpen: