Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 1 (StuPO90)

Theoretische Grundlagen der Informatik 1

Pflichtveranstaltung im Grundstudium Informatik.

Inhalt

  • Formale Grammatiken und Automaten (reguläre Grammatiken und Sprachen, deterministische und nichtdeterministische Automaten),
  • Erzeugen und Akzeptieren formaler Sprachen (endliche Automaten, reguläre und kontexfreie Grammatiken und Sprachen),
  • Nichtdeterminismus,
  • Turingmaschinen (deterministische, sowie nichtdeterministische),
  • Halteproblem, Komplexität, P-NP-Problem

Tipps und nützliche Infos

Für den Anfang des Semsters ist das Buch: "Theoretische Informatik - kurzgefasst" sehr hilfreich. Es ist von Uwe Schöning, Spektrum Akademischen Verlag (4.Auflage, 2003). ISBN: 3-8274-1099-1

Zusätzlich ist für Automatentheorien, Turingmaschinen usw. zu empfehlen: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie" von J.E.Hopcroft und J.D. Ullmann. Das Buch stammt vom Verlag: Addison-Wesley Publishing Company (1.Nachdruck 1992), ISBN: 3-89319-181-X

Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! )

Es lassen sich per Google-Suchdienst einige Lösungen für die Projektaufgaben finden. Es ist aber nicht unbedingt ratsam, diese vollständig zu übernehmen. Schließlich googeln auch unsere Tutoren ab und zu :) . Wenn ein fleissiger Kopierer erwischt wird, gibts Ärger.

Es gibt keine Klausur, sondern eine Rücksprache am Ende des Semesters. Wer die Projektaufgaben verstanden hat und selbst zum guten Teil lösen konnte, dürfte keine Probleme haben. Die Gruppe wird gemeinsam in einer kleinen Sitzung von 20 bis 30 Minuten abgefragt. Es sollte darauf geachtet werden, das die Antworten auf die Fragen über die Gruppenmitglieder gleichmäßig verteilt werden. Diese "Prüfung" wird als die leichteste von den 4 Prüfungsfächern im ersten Semester (im Gegensatz zu MafI1, Info1 und TechGI) bezeichnet. Die Anmeldung zur Rücksprache erfolgt über die Liste des jeweiligen Tutors (Laufzettel und Lichtbildausweis mitbringen).

-- Ellen 15:47, 16. Dez 2004 (CET)

Prüfungen

Weblinks

Persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)