Samenvattingen Logica Voor Informatici 3Dr (1e druk)

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!

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.

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!

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.