Zum Inhalt springen
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 2 (Bachelor): Unterschied zwischen den Versionen

Aus FreitagsrundenWiki
Jungnickel (Diskussion | Beiträge)
An das neue TheGI angepasst
PaulG (Diskussion | Beiträge)
KKeine Bearbeitungszusammenfassung
Zeile 1: Zeile 1:
{{EntsprechungD|[[TheGI 1 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
{{Vorlage:KlausurBox|titel=|klausurliste=
{{Vorlage:KlausurBox|titel=|klausurliste=
<!-- Bitte hier als Liste einfügen. -->
<!-- Bitte hier als Liste einfügen. -->
Zeile 17: Zeile 18:
* Ab SoSe 2011 gab es einen Wechsel der Lehrveranstalter
* Ab SoSe 2011 gab es einen Wechsel der Lehrveranstalter
}}
}}
'''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.  
'''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.  


Zeile 31: Zeile 31:


== Persönliche Kommentare ==
== Persönliche Kommentare ==
{{EntsprechungD|[[TheGI 1 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}


[[Kategorie: Lehrveranstaltungen]]
[[Kategorie: Lehrveranstaltungen]]
__NOTOC__
__NOTOC__

Version vom 20. Oktober 2011, 19:41 Uhr

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.

Persönliche Kommentare