Beweren en bewijzen/supplement/planning 1516

Hier de planning voor Beweren en Bewijzen in het collegejaar 2015-2016.

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 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 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: