Informatik-Forum.at
>
TU Wien
>
Bachelorstudien (53x): Grundstudium (1 & 2 Semester)
>
Theoretische Informatik und Logik, VU
> [Frage] Hora-Kalkül: Technik 4
PDA
View Full Version : [Frage]
Hora-Kalkül: Technik 4
maitscha
29-06-2004, 18:43
Wir haben in der Übung im Zuge eines Beispieles eine zusätzliche Technik für die Hilfsregel 2 definiert. Darf man diese in der Prüfung auch anwenden?
vBulletin® v3.7.1, Copyright ©2000-2009, Jelsoft Enterprises Ltd.