materiaal

het boek: Logica voor Informatici

• welke hoofdstukken zijn voor de cursus belangrijk?
• welke drukfouten zijn bekend?
• wat is onhandig bij de in het boek gebruikte notatie?
• welke eigen taal gebruiken wij hier?

om uit te printen:

• tableauregels in .pfd-formaat
• deductieschema in .pdf formaat
• grammatica van onze taal in .pdf-formaat
• Legenda van feedbacklettertjes
• het Griekse alfabet

aanvullende voorbeelden

• beweringen
• specificaties
• layout van grote formules
• syntaxbomen
• typering
• semantiek
• bewijsstrategie
• een moeilijk bewijs: p \/ NOT p
• bewijzen met quantoren: omgaan met onvolledige informatie
• specificatie van tijd (1)
• specificatie van tijd (2): flipflop
• een bewijs met tijd in Jape

de tools die we gebruiken

• de tools-pagina
• Jape-tips