050027 UE Theoretical Computer Science (2014S)
Continuous assessment of course work
Labels
Summary
Registration/Deregistration
Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
- Registration is open from Sa 01.02.2014 09:00 to Su 23.02.2014 23:59
- Deregistration possible until Mo 31.03.2014 23:59
Registration information is available for each group.
Groups
Group 1
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
19.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
26.03.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
02.04.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
09.04.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
30.04.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
07.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
14.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
21.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
28.05.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
04.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
11.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
18.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
25.06.
13:15 - 14:45
Seminarraum 6, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 2
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
19.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
26.03.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
02.04.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
09.04.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
30.04.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
07.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
14.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
21.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
28.05.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
04.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
11.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
18.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
25.06.
11:30 - 13:00
Seminarraum 6, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 3
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
19.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
26.03.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
02.04.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
09.04.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
30.04.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
07.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
14.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
21.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
28.05.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
04.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
11.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
18.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
25.06.
08:00 - 09:30
Seminarraum 6, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 4
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
19.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
26.03.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
02.04.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
09.04.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
30.04.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
07.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
14.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
21.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
28.05.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
04.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
11.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
18.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Wednesday
25.06.
11:30 - 13:00
Hörsaal 3, Währinger Straße 29 3.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 5
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
19.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
26.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
02.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
09.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
30.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
07.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
14.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
21.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
28.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
04.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
11.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
18.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Wednesday
25.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 6
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
19.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
26.03.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
02.04.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
09.04.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
30.04.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
07.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
14.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
21.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
28.05.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
04.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
11.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
18.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
25.06.
15:00 - 16:30
Seminarraum 6, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 7
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
19.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
26.03.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
02.04.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
09.04.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
30.04.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
07.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
14.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
21.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
28.05.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
04.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
11.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
18.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
25.06.
16:45 - 18:15
Seminarraum 6, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Group 8
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
05.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
19.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
26.03.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
02.04.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
09.04.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
30.04.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
07.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
14.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
21.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
28.05.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
04.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
11.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
18.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Wednesday
25.06.
18:30 - 20:00
Seminarraum 6, Währinger Straße 29 1.OG
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Examination topics
Ausarbeitung von praktischen Beispielen.
Information
Minimum requirements and assessment criteria
Die Übung ist begleitend zur gleichnamigen Vorlesung. Das Verständnis soll durch praktische Problemlösungen erhöht werden.
Reading list
Association in the course directory
Last modified: Sa 02.09.2023 00:13