Kursdaten anzeigen • Liste aller Vorkurse
| ID: | 4 | | Aktiv: | nein | | Fach: | Informatik | | Titel: | Training Formale Sprachen, Berechenbarkeit und Komplexität | | Stamm-Forum: | Informatik-Training
In diesem Forum findet der Vorkurs statt (bitte auf Titel klicken!). | | Beschreibung (kurz): | | | Beschreibung (lang): | Sprachen, Stringhomomorphismen, Endliche Automaten, Reguläre Sprachen, Kontextfreie Sprachen, Normalformen,Pumping Lemmata, Chomski-Hierarchie,
Rekursive und rekursiv aufzählbare Sprachen, Universalität, Satz von Rice, Rekursionssatz, Reduktionsbegriffe
die Klassen P und NP, NP-Vollständigkeit, Satz von Cook, NP-Intermediate Problems, Minimale Paare, PSPACE-Vollständigkeit
| | Fortschritt: | - | | Zielgruppe: | Schüler/Studenten - Studierende der Informatik oder Mathematik mit NF Informatik,
die eine einführende Vorlesung zum Thema im Rahmen des Grundstudiums besuchen, besuchen werden oder sich auf Prüfungen hierzu vorbereiten wollen,
weiterhin natürlich alle Interessierten, insbesondere auch hinreichend interessierte und motivierte SchülerInnen.
Insbesondere besteht im Rahmen des Kurses die Möglichkeit zur weitergehenden Vertiefung sowie zum Einstieg in fortgeschrittene Themen der Komplexitätstheorie. | | Literatur: | | | Ansprechpartner: | mathiash
| | Kursleiter: | mathiash
| | Teilnehmer: | 1
| | Aufgabenzettel: | [Noch keine Aufgabenzettel veröffentlicht] | | Teilnahme jetzt/später: | immer noch möglich | | Unterstützung der Kursleiter: | [unbekannt] | | Startzeitpunkt: | Mi 01.11.2006 | | Endezeitpunkt: | [unbekannt] | | Minimale Teilnehmerzahl: | ab 2 Teilnehmer: Es werden noch Teilnehmer gesucht! | | Minimale Kursleiterzahl: | ab 1 Kursleiter: Minimale Kursleiterzahl erreicht. | | Aktionen: | |
Kursdaten anzeigen • Liste aller Vorkurse
|
