Logica voor Informatici

Ga naar: navigatie, zoeken
Prof. Jan Denef

Dit vak wordt gedoceerd in het eerste semester van eerste Bachelor met in januari een schriftelijk examen.

Samenvattingen

Klik hier om de samenvattingen te bekijken

Inleiding

Onderschat dit toch niet, en vooral het logica-gedeelte niet! Je moet vlot oefeningen kunnen maken in de stijl van de oefenzittingen, maar altijd van de moeilijkste soort (meestal erg lange zinnen). Panikeer dus niet als je net je examen krijgt, en het ziet ernaar uit dat je nog geen halve vraag van de 7 vragen kan, begin er gewoon aan en dat loopt wel los. Oefeningen zijn dus bewijzen of iets al dan niet logisch waar is, een logisch gevolg van een (verzameling) zin(nen) is, Ke-bewijzen, beweringen uit Geo-werelden, e.d... niks dat je niet gezien hebt. Voor structuren komt het grotendeels op hetzelfde neer.

De algemene regel is dat als je dit vak goed kon in de oefenzittingen, dat de examens ervan geen probleem zullen zijn om te maken. Let wel op: prof. Denef verbetert vrij streng, dus zorg ervoor dat alles zeker correct genoteerd is (niet al té intuïtief, maar in de juiste taal van de propositie- of predikatenlogica). Dit kan wel eens zorgen voor verrassende (in de negatieve zin) resultaten als je je punten krijgt.

De puntenverdeling is als volgt:

  • Theorie: 4 punten
  • Oefeningen: 16 punten

Oefeningen

Oplossingen van oefeningen en huistaken

Examens

Vorige examens zijn te bezichtigen op de toledo-site voor het vak.

Structuur van het examen

  1. Twee theorievragen (samen 4 punten).
  2. - Vertalen naar predikatenlogica (Geo-werelden).
  3. - Een formeel KE-bewijs opstellen.
  4. - "Al dan niet logisch waar", of "al dan niet logisch gevolg", of "al dan niet bestaan van een model".
  5. - Toepassingen in de informatica.
  6. - Eventueel kunnen er ook nog andere oefeningen of multiple choice vragen zijn. (Bijvoorbeeld het berekenen van een normaalvorm.)