Themen und Prinzip

symbolisches Rechnen:

Prinzip: beantworte semantische Fragen
durch syntaktische Umformungen.


(Menge der Umformungsregeln: Kalk├╝l.)



Johannes Waldmann 2015-12-11