Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
BUW Logo BUW Logo
BERGISCHE
UNIVERSITÄT
WUPPERTAL
Startseite    Anmelden    Semester:  SoSe 2020   (Für die Prüfungsanmeldung und das Semesterticket muss das Semester nicht umgestellt werden.)

Automaten, Sprachen, Berechenbarkeit - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 201MAT508000
Semester SoSe 2020 SWS 4
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Belegung Diese Veranstaltung ist nicht belegpflichtig!
Sprache deutsch
Hyperlink http://www2.math.uni-wuppertal.de/~fpf/Lehre/ASB-SS20/
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Lehrperson fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 16:00 bis 18:00 woch 07.04.2020 bis 14.07.2020  Gebäude G - HS 08     100
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 12:00 bis 14:00 woch 08.04.2020 bis 15.07.2020  Gebäude G - HS 08     100
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 15:00 bis 17:00 Einzel am 08.09.2020 Gebäude G - G.14.34     10
Gruppe :
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Feuerstein, Peter, Dr.
Prüfungen / Module
Prüfungsnummer Modul
3130 Automat Sprach Berechenb
3130 Automaten und Berechenb.
803 Autom. u. Berechenb.
4111 Automaten,Sprachen,Berech
Zuordnung zu Einrichtungen
Mathematik
Inhalt
Kurzkommentar

Vorbesprechung und erster Vorlesungstermin: Dienstag, 7. April 2020, 16 Uhr c.t., Hörsaal 8

Kommentar Formale Sprachen haben wichtige Anwendungen u.a. im Bereich der Entwickelung von Programmiersprachen. Die klassischen analysierenden und erzeugenden Systeme formaler Sprachen werden vorgestellt: die Hierarchie der Automaten und die der Chomsky-Grammatiken, wobei die einzelnen Sprachklassen diskutiert werden unter besonderer Berücksichtigung ihrer Bedeutung für die Informatik, vor allem den Compilerbau. Danach behandeln wir für die Mathematik wie für die Informatik grundlegende Begriffe wie "Algorithmus", "Berechenbarkeit" und "Entscheidbarkeit".
Literatur

J. E. Hopcroft / R. Motwani / J. D. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Berechenbarkeit. Pearson Studium 2011
A. Asteroth / C. Baier. Theoretische Informatik. Pearson Studium 2003
E. Rich. Automata, Computability, and Complexity. Pearson Education 2008
G. Vossen / K.-U. Witt. Grundlagen der Theoretischen Informatik mit Anwendungen. Vieweg 2002

Voraussetzungen Grundlagen der Informatik, Algorithmen
Zielgruppe

Master Mathematik (Modul Erg.InfASB), Master Informationstechnologie (Modul MIT04), Informatik im Master of Education (Modul INF I), Lehramt Informatik (Modul H2)

 


Strukturbaum
Die Veranstaltung wurde 7 mal im Vorlesungsverzeichnis SoSe 2020 gefunden:

2007 WUSEL-Team Bergische Universität Wuppertal
Anzahl aktueller Nutzer/-innen auf qisapp01-p: 736