3. Übungsblatt

radix89
Mausschubser
Mausschubser
Beiträge: 66
Registriert: 13. Apr 2011 13:45

3. Übungsblatt

Beitrag von radix89 » 13. Jun 2011 21:09

Da hinter den Aufgaben keine Punkte stehen, heißt das dann, dass ich keine Aufgabe abgeben muss für den Bonus?

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: 3. Übungsblatt

Beitrag von dschneid » 13. Jun 2011 21:49

Ich gehe mal stark davon aus, dass hier ein Fehler passiert ist, und mindestens Aufgabe H1 bonusrelevant ist (sonst würde ein Extra keinen Sinn ergeben).

radix89
Mausschubser
Mausschubser
Beiträge: 66
Registriert: 13. Apr 2011 13:45

Re: 3. Übungsblatt

Beitrag von radix89 » 15. Jun 2011 10:34

Und was heißt direkte Simulation? Einfach nur dass ich diese Regel mit dem Sequenzenkalkül zeigen kann?

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: 3. Übungsblatt

Beitrag von dschneid » 15. Jun 2011 17:00

Ja, allerdings hier mit dem um modus ponens erweiterten Sequenzenkalkül.

nein23
Windoof-User
Windoof-User
Beiträge: 29
Registriert: 7. Okt 2009 18:15
Wohnort: Darmstadt

Re: 3. Übungsblatt

Beitrag von nein23 » 15. Jun 2011 19:17

die frage wurde schon mal gestellt:
http://www.d120.de/forum/viewtopic.php?f=170&t=22687

radix89
Mausschubser
Mausschubser
Beiträge: 66
Registriert: 13. Apr 2011 13:45

Re: 3. Übungsblatt

Beitrag von radix89 » 15. Jun 2011 20:01

nein23 hat geschrieben:die frage wurde schon mal gestellt:
http://www.d120.de/forum/viewtopic.php?f=170&t=22687

Ja, allerdings war auf der ersten Version des Blatts an beiden Aufgaben keine Punkte, das hatte mich gewundert.
Außerdem hab ich diesen Thread vor dem anderen erstellt...

Antworten

Zurück zu „Archiv“