050027 UE Theoretische Informatik (2015S)
Prüfungsimmanente Lehrveranstaltung
Labels
Zusammenfassung
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mo 02.02.2015 09:00 bis Mo 23.02.2015 23:59
- Abmeldung bis So 15.03.2015 23:59
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
11.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
18.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
25.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
15.04.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
22.04.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
29.04.
13:15 - 14:45
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
06.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
13.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
20.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
27.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
03.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
10.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
17.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
24.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 2
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
11.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
18.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
25.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
15.04.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
22.04.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
29.04.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
06.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
13.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
20.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
27.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
03.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
10.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
17.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
24.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 3
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
11.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
18.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
25.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
15.04.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
22.04.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
29.04.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
06.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
13.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
20.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
27.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
03.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
10.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
17.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
24.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 4
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
11.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
18.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
25.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
15.04.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
22.04.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
29.04.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
06.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
13.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
20.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
27.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
03.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
10.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
17.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
24.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 5
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
11.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
18.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
25.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
15.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
22.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
29.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
06.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
13.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
20.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
27.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
03.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
10.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
17.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
24.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 6
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
11.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
18.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
25.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
15.04.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
22.04.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
29.04.
15:00 - 16:30
Hörsaal 3, Währinger Straße 29 3.OG
Mittwoch
06.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
13.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
20.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
27.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
03.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
10.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
17.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
24.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 7
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
11.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
18.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
25.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
15.04.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
22.04.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
29.04.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
06.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
13.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
20.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
27.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
03.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
10.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
17.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
24.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Gruppe 8
max. 30 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
04.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
11.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
18.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
25.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
15.04.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
22.04.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
29.04.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
06.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
13.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
20.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
27.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
03.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
10.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
17.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Mittwoch
24.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.
Prüfungsstoff
Ausarbeitung von praktischen Beispielen.
Information
Mindestanforderungen und Beurteilungsmaßstab
Die Übung ist begleitend zur gleichnamigen Vorlesung. Das Verständnis soll durch praktische Problemlösungen erhöht werden.
Literatur
Zuordnung im Vorlesungsverzeichnis
Letzte Änderung: Sa 02.09.2023 00:13