Natuurlijke deductie Samenvattingen, Aantekeningen en Examens

Dit document bevat tips & tricks (met uitgewerkte voorbeelden) om het afleiden (natuurlijke deductie) van de meeste formules uit de propositielogica te vergemakkelijken. Eindscore: 19/20, behaald op het examen van het vak "Logica en formele systemen" gegeven door professor Olga De Troyer. Vergeet zeker niet om een kijkje te nemen op de bundel met 60 volledig uitgewerkte afleidingen die ook op mijn Stuvia-account te vinden is!

Deze samenvatting bevat voor zowel de eerste als de tweede module van het vak Inleiding Logica alle besproken begrippen en veel van deze begrippen worden laten zien aan de hand van voorbeelden. Ook alle regels die gebruikt worden bij bijvoorbeeld, natuurlijke deductie, resolutie en semantisch tableau worden uitgelegd. Bevat zowel predicatenlogica als propositielogica. Ook bevat het een aantal stappenplannen voor opdrachten als het opstellen van een Conjunctieve NormaalVorm en het bewijzen van st...

Foto’s van handgeschreven aantekeningen van alle hoorcolleges van de eerste helft van het vak Inleiding Logica.

Dit document bevat 60 volledig uitgewerkte afleidingen uit de propositielogica. Eindscore: 19/20, behaald op het examen van het vak "Logica en formele systemen" gegeven door professor Olga De Troyer. Vergeet zeker niet om een kijkje te nemen op het bestand met tips & tricks (en uitgewerkte voorbeelden) die het afleiden van de meeste formules vergemakkelijken. Dat bestand is eveneens te vinden op mijn Stuvia-account.

Oefententamen Inleiding Logica voor Kunstmatige Intelligentie en Informatiekunde (met antwoorden)

Oefententamen Inleiding Logica voor Kunstmatige Intelligentie en Informatiekunde.

Oefententamen Inleiding Logica voor Informatiekunde en Kunstmatige Intelligentie (zonder antwoorden)