Wie bereits angedeutet, wird es keine Nachklausur geben. Es ist aber möglich, sich zu Nachprüfungen anzumelden. Aufgrund der Fristen in der WI können sich WIler im WiWi-Prüfungsamt erst vom 1.-15 Mai anmelden, die Prüfungen können dann vom 16.-30. Mai stattfinden. Für LA und GI ist keine Fristeinhaltung notwendig.
Wir bitten darum, Prüfungstermine rechtzeitig mit dem Sekretariat von Prof. Lippe abzusprechen
2006-03-29
Einsichtnahmetermin für die Klausuren ist Donnerstag, der 6.4.2006, 10.00h-12.00h im Lichthof 6.OG, Einsteinstr. 62 (Sorry, zunächst falsches Datum)
2006-03-27
Es gab einen für die Studierenden nachteiligen Tippfehler bei
der Übertragung des Notenschlüssels in die Tabelle, und insofern nun eine
erfreuliche Änderung im Ergebnis. Bestanden haben die folgenden
Matrikelnummern:
227047 279482 283516 284440 284841 286379 286383 288941
290687 290867 292961 294396 295380 299856 301327 302082
302415 303325 303507 307750 309441 309509 310035 312116
312123 312279 312300 312540 312732 313139 313241 313532
313595 313743 314402 315980 317613 317714 318072 318111
320317 320387 320548 320581 320887 321098 321990 322709
323748
Die (vorläufigen) Klausurergebnisse
hängen an meiner Tür aus. Bestanden haben die folgenden
Matrikelnummern:
(entnommern, Korrektur siehe oben)
2006-02-28
Die Klausurergebnisse liegen noch nicht endgültig vor, das Ergebnis war aber recht zufriedenstellend, so das ich vermute, es wird statt einer Nachklausur eher mündliche Prüfungen geben.
2006-02-13
Das der Raum knapp reicht, können wir uns für die Klausur auf den M1 beschränken,
sie findet also nur im M1 statt!
2006-02-10
Noch zu Blatt 12, Aufgabe 3: zur regulären Grammatik kommt man natürlich sehr einfach vom Automaten: Jeder Zustand ist ein Nichtterminal, das "den Rest" handelt, und jedes Zeichen ist eben das Terminal. Hier z.B. mit Startzustand Q0 und Endzustand Q4, der wegfällt::
Q0 ::= aQ1 | bQ2, -- die Trennung der beiden
Q1 ::= bQ3 | a,
Q3 ::= bQ1, -- das ist die b-Schleife
Q2 ::= aQ5 | b,
Q5 ::= aQ2 -- das ist die a-Schleife.
fertig.
2006-02-07
Die Vorlesung fällt heute krankheitsbedingt leider aus. Am kommenden Donnerstag findet sie planmässig wieder statt.
2006-01-25
Da der Begriff strenge Notationin der Vorlesung nicht gefallen ist,
lassen wir in Blatt 11 die
Aufgabe 5, Teil 1 ersatzlos weg.
Curryfizieren ist im Script gut beschrieben.
2006-01-18
Der erste Teil des Scripts Applikative Programmierung mit dem Tehmenbereich
Lambda-Kalkül steht nun auch in überarbeiteter Form im Scriptverzeichnis.
zur Verfügung.
2006-01-11
Ich habe gerade die Endversion des Scriptes ins Netz gestellt.
Das Thema Lambda-Kalkül findet man übrigens im wesentlichen auch im Script
Applikative Programmierung.
2006-01-05
Die Anmeldung zur Klausur ist nun möglich. Achtung WI-ler: diese Anmeldung muss zusätzlich zur Anmeldung im WI-Prüfungsamt erfolgen!
2005-12-16
Das Script wird den Stoff der Vorlesung nicht vollständig abdecken. Es endet im wesentlichen
mit den endlichen Automaten mit Ausgabe, Moore- und Mealy-Automaten und wird (hoffentlich noch vor
den Feiertagen) dann hier verfügbar sein.
2005-12-07
Die Definitionen im Zusammenhang mit der Eindeutigkeit von
Grammatiken finden sich im wesentlichen auch im Compilerbau-Script
von Prof. Lippe, Seiten 23-28.
2005-12-01
Studierende, die ggf. in den Lehramtstudiengang 2-Fach-Bachelor gewechselt haben,
mögen bitte eine entsprechende Email mit Name und Matrikelnummer an lammers@math schicken.
Sie müssen dem Prüfungsamt "von Hand" nachgemeldet werden!
2005-11-28
In der Originalversion von Blatt5 / Aufgabe 2 waren keine Abbruchregeln angegeben, ausserdem war die Notation ggf. mehrdeutig. Das Blatt ist seit 11.20h korrigiert.
2005-11-14
Da Blatt 3 etwas spät im Netz war, kann die Abgabe dieser Aufgben bis Montag 13.00h erfolgen.
Standard-Ausgabe und -Abgabtermin bleibt Donnerstag!
Klausurtermin steht fest: Dienstag 14. Februar, 9.15h - 11.30h, M1 und M2
2005-11-03
Die Übung vom 15-17h in Raum 702 fällt heute wegen des Hochschultages - wie schon
die Vorlesung - aus.
2005-10-26
Ab dem 10. November gibt es eine weitere Übungsgruppe
am Donnerstag von 11-13 Uhr, am 10.11. einmalig im M3, danach
immer im Raum 702. Anmeldungen zu dieser Übung sind in Kürze möglich, ggf. nachdem man sich aus der anderen Gruppe abgemeldet hat.
2005-10-21
Briefkästen-Wirrwar: F56 ist nicht mehr verfügbar, statt 45/46 muss es F45/F46 heissen - s.u.
2005-10-21
Am 3. November fällt die Vorlesung wegen des Hochschultages aus. Di e Übungen finden voraussichtlich statt.
2005-10-20, 16.30h
Gleich auf Blatt 1 / Aufgabe 1 war ein (cut-and-paste?-) Fehler.
Nun ist es hoffentlich richtig. Sorry, DL
2005-10-20
Es wird ein Script zur Vorlesung geben, das aber natürlich dem Stoff hinterherhinkt. Es wird hier peu à peu publiziert
2005-10-18
Übungen starten am 27.10.2005
2005-08-08
Organisatorisches gefüllt. Übungstermine stehen fest. Übungsanmeldung und KVV sind verfügbar.
2005-06-16, DL: Vorbereitungen ...
Seite erzeugt ...
Organisatorisches
Vorlesungsverzeichnis / Belegnummern
(s.a. online.-Vorlesungsverzeichnis der WWU (HIS-LSF), Vorlesung und Übung)).
Belegnummer Vorlesung: 103607, Übung: 103611.
Übungsteilnehmer sollten sich bitte zusätzlich über das
Online-Buchungssystem
der IVV5 in einer der Übungsgruppen zur Vorlesung GTI
eintragen.
Prüfungs- / Scheinbedingungen
Die Vorlesung ist für Studierende der
Wirtschaftsinformatik, Geoinformatik und im Lehramtsstudium
gedacht. Wer Mathematik mit Nebenfach Informatik oder
Diplom-Informatik studiert, muss statt dieser die Vorlesung Einführung
in die Logik und Theoretische Informatik besuchen. Für
Lehrämtler ist die aktive Teilnahmen an den Übungen
obligatorisch, für GIle und WIler ist die Teilnahme empfohlen.
Klausurtermin: Dienstag 14. Februar, 9.15h - 11.30h, M1 und M2
Die Kausurbearbeitungszeit beträgt 120 Minuten + 15 Minuten Einlesezeit.
Die
Anmeldung zur Klausur erfolgt über das o.g. Anmeldesystem, für WIler
zusätzlich im WI-PAM. für Lehramtler schadet zusätzlich die Anmeldung
im HIS-LSF nicht. Zwinged sollte das aber nur für
2Fach-BA/MA-Lehrämtler (B-(2-Fach)/Informatik) notwendig sein,
die in dieser Veranstaltung (noch) nicht sitzen dürfen.
Ggf. ist dieser Mailhinweis sinnvoll:
>
> ich habe folgende Frage zur Anmeldung zu GTI.
> Ich studiere Wirtschaftsinformatik und Informatik auf Lehramt GymGes.
> Für die Anmeldung ist ja das PAM WI zuständig und für die Anmeldung für
> Lehramt habe ich das HIS System der Uni benutzt. War das richtig? Gibt
> es bei der doppelten Anmeldung Probleme?
Nein, das ist so vollkommen in Ordnung.
Es wird sogar noch eine weitere Anmeldung hinzukommen, allerdings erst kurz
vor der Klausur, im online-Buchungssystem des FB10/IVV5.
Übungsleiter
Die Übungsgruppen werden durch Andre
Exeler und Tobias Lohe betreut.
Übungstermine
Alle Übungen finden im Raum 702, Einsteinstr. 62 statt.
Zeit
Übungsleiter
Briefkasten
Do 11-13h
Andre Exeler
F46
Do 15-17h
Tobias Lohe
F45
Do 17-19h
Tobias Lohe
F45
Fr 13-15h
Andre Exeler
F46
Übungsblätter
erscheinen hier, im linken Balken, wöchentlich Donnerstags, und sollten am folgenden Donnerstag
vor der Vorlesung abgegeben werden. Die meisten Aufgaben werden korriert und bewertet,
LAler sollten mindestens 50% der max. Punktzahl erreicht haben.
Die Abgabe der Aufgaben kann in Gruppen bis zu 4 Personen erfolgen.
Stand der Vorlesung
Ergänzende Hinweise, Literatur, Links
Literatur:
Hopcroft/Motwani/Ullman: Einführung in die Automatentheorie,
Formale Sprachen und Komplexitätstheorie. Addison-Wesley/Pearson
Studium 2002
U. Schöning: Theoretische Informatik - kurzgefaßt. Spektrum Verlag, 2001
A. Asteroth, Chr. Baier: Theoretische Informatik. Pearson Studium, 2002
