AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Einführung in die Theoretische Informatik - ÜWP - Detailseite

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 3313001ü
Semester WiSe 2020/21 SWS 4
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist - Eine Belegung ist online erforderlich ÜWP: Zentrale Frist    01.07.2020 - 19.11.2020   
Beschreibung :
Falls Sie in den Belegungsinformationen zu dieser Lehrveranstaltung (Meine Veranstaltungen) nach dem 30.10.2020 noch den Status "AN" bzw. "angemeldet" sehen, dann wurden Sie auf einer Nachrückerliste vorgemerkt. Bitte fragen Sie bei den jeweiligen Dozierenden, ob Plätze in der LV bereits zur Verfügung stehen bzw. bitten Sie - falls Sie bereits teilnehmen - darum, den Status der Belegung zu ändern. Sie tun das am besten per Mail an die Einrichtungsadministratoren mit Kopie an die Dozierenden der LV.
Die Anmeldung ist grundsätzlich bis zum 19.11.2020 möglich. Eine Zulassung kann nur entsprechend der verfügbaren freien Plätze erfolgen.
Veranstaltungsformat Digital

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
Di. 15:00 bis 17:00 wöch Johann von Neumann-Haus - 3.001 Rudower Chaussee 25 (RUD25) - (Hör-/Lehrsäle ansteigend ohne Experimentierbühne) Köbler findet statt     1000
Do. 15:00 bis 17:00 wöch Johann von Neumann-Haus - 3.001 Rudower Chaussee 25 (RUD25) - (Hör-/Lehrsäle ansteigend ohne Experimentierbühne) Köbler findet statt     1000
Gruppe 1:
Zur Zeit keine Belegung möglich


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Köbler, Johannes , Prof. Dr.
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Einführung in grundlegende Konzepte der Theoretischen Informatik. Im Zentrum stehen Automatentheorie (endliche Automaten, Kellerautomaten und Turingmaschinen), formale Sprachen (Chomsky-Hierarchie), Berechenbarkeit (Unentscheidbarkeit des Halteproblems, Satz von Rice) und Komplexität (P-vs.-NP-Problem, NP-Vollständigkeit). Daneben werden zum Umgang mit schwer lösbaren Problemen erste algorithmische Ansätze zur approximativen oder randomisierten Lösung von NP-harten Problemen aufgezeigt.

Weitere Hinweise sind auf der Lehrstuhlseite https://www.informatik.hu-berlin.de/de/forschung/gebiete/algorithmenII/Lehre/ws20/einftheo zu finden.

Bemerkung

Für den erfolgreichen Abschluss dieses Moduls werden 9 LP vergeben.

 

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis WiSe 2020/21 gefunden:

Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin