Beweren en bewijzen/supplement/planning (voor docenten)/tentamen/2
Uit Werkplaats
Op dit tentamen laat je zien dat je het volgende kunt:
- de taal die we in het college gebruiken (een uitbreiding getypeerde predikaatlogica in een notatie die door Coq begrepen wordt, conform onze grammatica) correct toepassen;
- Deze grammatica hoef je niet uit je hoofd te kennen; je mag een exemplaar meenemen naar het tentamen.
- De nieuwe pagina Beweren en bewijzen/het verhaal/4. De taal/syntaxboom helpt misschien bij het oefenen. Probeer meer beweringen op deze manier te ontleden!
- onderscheiden tussen verschillende notaties voor logica en deze in elkaar omzetten;
- Hierbij wordt niet verlangd dat je andere notaties uit je hoofd kent. Maar misschien krijg je de definitie van een notatie zo als bijvoorbeeld Van Benthem ze geeft.
- beweringen op het niveau van de oefenpagina vertalen van natuurlijke taal naar predikaatlogica en omgekeerd, en
- daarbij professioneel omgaan met eventuele onduidelijkheden van de natuurlijke taal;
- precies het bereik van quantoren aangeven in formules van onze taal;
- precies aangeven waar "onzichtbare" haakjes staan;
- precies aangeven welke haakjes in een formule conform onze grammatica overbodig zijn.
Bij dit tentamen mag je een schoon exemplaar van de grammatica van onze taal bij de hand hebben. Verder is het gesloten boek. Neem bovendien (leeg !) kladpapier mee.