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

(Inhalt)
 
(7 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
'''Theoretische Grundlagen der Informatik 2: Automaten 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.
+
{{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 ==
Zeile 9: Zeile 12:
  
 
== 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 ==
  
{{EntsprechungD|[[TheGI 1 (StuPO90)]] (Ja, richtig: Hier gab es eine Drehung)}}
 
  
 +
__NOTOC__
 
[[Kategorie: Lehrveranstaltungen]]
 
[[Kategorie: Lehrveranstaltungen]]

Aktuelle Version vom 5. März 2013, 18:59 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

Persönliche Kommentare