Die Suche ergab 369 Treffer

von Simon Siegler
7. Dez 2010 09:58
Forum: Archiv
Thema: Korrektur in Hausübung 2.3
Antworten: 1
Zugriffe: 323

Re: Hausübung 2.3

Der Rumpf der Prozedur c ist so in der Tat nicht korrekt, eine entsprechend korrigierte Version des Übungsblattes findet sich auf der Webseite.
von Simon Siegler
30. Nov 2010 13:23
Forum: Archiv
Thema: Tutorname auf der Lösung
Antworten: 3
Zugriffe: 414

Re: Tutorname auf der Lösung

Sie sollten den Namen des Tutors Ihrer Übungsgruppe angeben.
von Simon Siegler
29. Nov 2010 17:35
Forum: Archiv
Thema: HA1 1.1 c)
Antworten: 3
Zugriffe: 254

Re: HA1 1.1 c)

Sie können vordefinierte Prozeduren oder aus der Vorlesung oder den Präsenzübungen bekannte Prozeduren verwenden, sollten aber bei nicht vordefinierten Prozeduren deutlich machen, welche Prozedur gemeint ist und wo deren Definition zu finden ist.
von Simon Siegler
25. Nov 2010 10:25
Forum: Archiv
Thema: Hausübung 1.2 (a)
Antworten: 2
Zugriffe: 532

Hausübung 1.2 (a)

Bei der Lösung dieser Aufgabe sollten Sie sich an den Aufgaben 2.1 (b) und 2.1 (c) der Präsenzübung orientieren, nicht jedoch an der Aufgabe 2.1 (a). Insbesondere ist es von Vorteil, wenn Ihr Kalkül zeichenweise arbeitet und deterministisch ist. Ferner sollten Sie mit einer endlichen Menge von Regel...
von Simon Siegler
23. Nov 2010 11:14
Forum: Archiv
Thema: Hausübung 1
Antworten: 4
Zugriffe: 608

Re: Hausübung 1

Sie können Prozeduren aus der Vorlesung oder den Präsenzübungen verwenden, sollten dann aber deutlich machen, welche Prozedur gemeint ist und wo deren Definition zu finden ist. Für die Formulierung des Lemmas macht das jedoch kaum einen Unterschied. Im Groben ähneln sich die Herleitungsbegriffe vers...
von Simon Siegler
22. Nov 2010 13:32
Forum: Archiv
Thema: Frage: HA 1.1 a)
Antworten: 4
Zugriffe: 444

Re: Frage: HA 1.1 a)

Da die Aufgabenstellung keinerlei Einschränkungen bezüglich der Bäume macht, können Sie auch keine Einschränkungen annehmen.
von Simon Siegler
22. Nov 2010 10:51
Forum: Archiv
Thema: Kalkülregeln schreiben
Antworten: 1
Zugriffe: 403

Re: Kalkülregeln schreiben

Nach Folie 5 aus Kapitel 4 wird ein Kalkül durch Angabe einer formalen Sprache, Regeln und den mittels der Regeln gebildeten Herleitungen definiert. Dabei beschreiben die Regeln mögliche Transformationen zwischen Wörtern der formalen Sprache des Kalküls. Somit sind keine Regeln in der von Ihnen ange...
von Simon Siegler
22. Nov 2010 10:32
Forum: Archiv
Thema: frage zu hausübung 1.1 c)
Antworten: 2
Zugriffe: 306

Re: frage zu hausübung 1.1 c)

Wie in der Aufgabenstellung gefordert, sollen Sie die Lemmata nur formulieren, ein Beweis ist also nicht notwendig.
von Simon Siegler
22. Nov 2010 10:31
Forum: Archiv
Thema: Frage zu Hausübung 1
Antworten: 6
Zugriffe: 697

Re: Frage zu Hausübung 1

ul63ebyz hat geschrieben: Zur 1.3:
Geben Sie für jedes dieser Lemmata an, ob es gilt.
Wenn ein Lemmata gilt, müssen wir dann auch erklären bzw. beweisen das es gilt? Oder reicht ein einfaches "Ja, es gilt"?
Da in der Aufgabenstellung keine Begründung verlangt ist, brauchen Sie hier auch keine angeben.
von Simon Siegler
12. Nov 2010 18:21
Forum: Archiv
Thema: 2. Übungsblatt
Antworten: 2
Zugriffe: 334

Re: 2. Übungsblatt

Jetzt auch auf der Webseite, vielen Dank für den Hinweis.
von Simon Siegler
12. Nov 2010 17:41
Forum: Archiv
Thema: 2. Übungsblatt
Antworten: 2
Zugriffe: 334

2. Übungsblatt

Die Aufgaben zur zweiten Präsenzübung sind online.
von Simon Siegler
12. Nov 2010 13:43
Forum: Archiv
Thema: VeriFun unter Windows7 64 bit
Antworten: 8
Zugriffe: 1281

Re: VeriFun unter Windows7 64 bit

  • Gehen Sie auf: http://java.sun.com/products/archive/j2 ... index.html
  • Folgen Sie dem Link "Download JDK".
  • Wählen Sie als Plattform "Windows" (nicht x64).
  • Stimmen Sie den Lizenzbedingungen zu.
  • Laden Sie einen der beiden Installer herunter und installieren Sie damit Java.
von Simon Siegler
8. Nov 2010 18:59
Forum: Archiv
Thema: Sprechstundentermine und Übungsverlegung
Antworten: 0
Zugriffe: 200

Sprechstundentermine und Übungsverlegung

Die Termine für die Sprechstunden stehen fest.

Die Übungsgruppe 2 (mittwochs 09:50–11:30 bei Christopher) findet nun in S202/E102 statt (zuvor S202/E202)
von Simon Siegler
1. Nov 2010 10:28
Forum: Archiv
Thema: VeriFun unter Windows7 64 bit
Antworten: 8
Zugriffe: 1281

Re: VeriFun unter Windows7 64 bit

Vielen Dank für deine Antwort. Es gibt auch eine Version für 64 Bit (JRE 1.5.0.22). Die Installation davon klappt einwandfrei. Wenn ich dieses tolle Programm nun installieren möchte, soll ich den Installationsort von JRE 1.5 angeben: The install4j wizard could not find a Java(TM) Runtime Environmen...
von Simon Siegler
29. Okt 2010 13:54
Forum: Archiv
Thema: VeriFun unter Windows7 64 bit
Antworten: 8
Zugriffe: 1281

Re: VeriFun unter Windows7 64 bit

Die 32-Bit Version von Java 1.5 lässt sich auch unter der 64-Bit Version von Windows 7 problemlos installieren. Dazu ist allerdings anzumerken, dass der VeriFun-Installer unter Windows 7 mit der auf der Webseite verlinkten Version von Java 1.5.0 nicht funktioniert. Mit der Version 1.5.0u22 (http://j...

Zur erweiterten Suche