TheGI 2 (Bachelor): Unterschied zwischen den Versionen
PaulG (Diskussion | Beiträge) |
|||
| (8 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | '''Theoretische Grundlagen der Informatik 2: | + | {{KlausurBox|TheGI_2_Bachelor}} |
| + | {{EntsprechungD|[[TheGI 1 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}} | ||
| + | |||
| + | '''Theoretische Grundlagen der Informatik 2: Berechenbarkeit und Komplexität''' ist eine Pflichtveranstaltung im zweiten Semester des [[Lehrveranstaltungen Informatik|Studiengangs Informatik]] nach neuer [[StuPO Informatik|Bachelor-StuPO]]. Sie besteht aus 2 SWS [[Vorlesung]] und 2 SWS [[Übung]] und entspricht 6 [[ECTS]]-Leistungspunkten. | ||
== Inhalt == | == Inhalt == | ||
| − | + | * Automaten (DFA; NFA; Untermengenkonstruktion; reguläre Sprachen) | |
| + | * Kellerautomaten (PDA; DPDA; kontextfreie Sprachen) | ||
| + | * Turing-Maschinen (DTM; NTM; Akzeptierbarkeit) | ||
| + | * Berechenbarkeit ((Un)entscheidbarkeit; entscheidbare Sprachen; Wortproblem; Halteproblem; Reduktion) | ||
| + | * Komplexität (Zeit- und Platzaufwand; Komplexitätsklassen; P vs. NP) | ||
== Tipps und nützliche Infos == | == Tipps und nützliche Infos == | ||
| − | + | * Der [http://www.amazon.de/Theoretische-Informatik-gefasst-Uwe-Schöning/dp/3827418240/ref=pd_cp_b_0 Schöning] ist der Beste Leitfaden zur Vorlesung. | |
| + | * Vorlesungsmitschriften aus dem SS 2011 gibt es unter http://pub.cebe.cc/uni/thegi2/ | ||
== Persönliche Kommentare == | == Persönliche Kommentare == | ||
| − | |||
| + | __NOTOC__ | ||
[[Kategorie: Lehrveranstaltungen]] | [[Kategorie: Lehrveranstaltungen]] | ||
Aktuelle Version vom 5. März 2013, 18:59 Uhr
Musterklausuren
Bitte beachte die Hinweise zu Altklausuren.
Entsprechung in der (alten) StuPO 90: TheGI 1 (StuPO90) (Ja, richtig: Hier gab es eine Drehung).
(Dort findet ihr Klausuren und mehr)
Theoretische Grundlagen der Informatik 2: Berechenbarkeit und Komplexität ist eine Pflichtveranstaltung im zweiten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.
Inhalt
- Automaten (DFA; NFA; Untermengenkonstruktion; reguläre Sprachen)
- Kellerautomaten (PDA; DPDA; kontextfreie Sprachen)
- Turing-Maschinen (DTM; NTM; Akzeptierbarkeit)
- Berechenbarkeit ((Un)entscheidbarkeit; entscheidbare Sprachen; Wortproblem; Halteproblem; Reduktion)
- Komplexität (Zeit- und Platzaufwand; Komplexitätsklassen; P vs. NP)
Tipps und nützliche Infos
- Der Schöning ist der Beste Leitfaden zur Vorlesung.
- Vorlesungsmitschriften aus dem SS 2011 gibt es unter http://pub.cebe.cc/uni/thegi2/
