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): Unterschied zwischen den Versionen

(Format TheGI1)
(TheGI Tipps)
Zeile 5: Zeile 5:
 
== Inhalt ==
 
== Inhalt ==
  
- Formale Grammatiken und Automaten (reguläre Grammatiken und Sprachen, deterministische und nichtdeterministische Automaten),  
+
* 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),  
+
* Erzeugen und Akzeptieren formaler Sprachen (endliche Automaten, reguläre und kontexfreie Grammatiken und Sprachen),  
  
- Nichtdeterminismus,  
+
* Nichtdeterminismus,  
  
- Turingmaschinen (deterministische, sowie nichtdeterministische),  
+
* Turingmaschinen (deterministische, sowie nichtdeterministische),  
 
 
- Halteproblem, Komplexität, P-NP-Problem
 
  
 +
* Halteproblem, Komplexität, P-NP-Problem
  
 
== Tipps und nützliche Infos ==
 
== Tipps und nützliche Infos ==
Zeile 25: Zeile 24:
 
Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! )
 
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.
  
 
== Weblinks ==
 
== Weblinks ==

Version vom 12. Dezember 2004, 18:04 Uhr

Theoretische Grundlagen der Informatik 1

Pflichtveranstaltung im Grundstudium für Studierende der 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.

Weblinks