Themen und Prinzip

symbolisches Rechnen:

Prinzip: beantworte semantische Fragen
durch syntaktische Umformungen.


(Menge der Umformungsregeln: Kalkül.)



Johannes Waldmann 2015-12-11