Grundlagen der Programmiersprachen SS 2016 - Folie 806
Ziele:
Formulierung des Widerspruchsbeweises verstehen
in der Vorlesung:
Erläuterung
- Negierung der Anfrage;
- Resolution konstruiert Belegungen als Gegenbeispiel;
- sie sind Antworten auf die Anfrage.
nachlesen:
..., Abschnitt Modellierung Kap 4.2
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.05.2016