Warning! The directory is not yet complete and will be amended until the beginning of the term.
051014 PUE Theoretical Computer Science (2017W)
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 09.09.2017 09:00 to Su 24.09.2017 23:59
- Registration is open from Th 28.09.2017 17:00 to Fr 29.09.2017 17:00
- Deregistration possible until Su 15.10.2017 23:59
Registration information is available for each group.
Groups
Group 1
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Wednesday
11.10.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
18.10.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
25.10.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
08.11.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
15.11.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
22.11.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
29.11.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
06.12.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
13.12.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
10.01.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
17.01.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
24.01.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Wednesday
31.01.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Aims, contents and method of the course
Minimum requirements and assessment criteria
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
Group 2
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Tuesday
10.10.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
17.10.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
24.10.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
31.10.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
07.11.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
14.11.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
21.11.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
28.11.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
05.12.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
12.12.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
09.01.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
16.01.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
23.01.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
30.01.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Aims, contents and method of the course
Das Repetitorium Theoretische Informatik ist begleitend zur gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die in der Vorlesung vermittelten Inhalte anhand von vorgegebenen Übungsaufgaben praktisch zu üben und umzusetzen.
Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:
- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.
Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität.
Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:
- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.
Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität.
Assessment and permitted materials
Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.
Minimum requirements and assessment criteria
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
Group 3
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Tuesday
10.10.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
17.10.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
24.10.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
31.10.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
07.11.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
14.11.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
21.11.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
28.11.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
05.12.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
12.12.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
09.01.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
16.01.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
23.01.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Tuesday
30.01.
08:00 - 09:30
Seminarraum 7, Währinger Straße 29 1.OG
Aims, contents and method of the course
Das Repetitorium Theoretische Informatik ist begleitend zur
gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die
in der Vorlesung vermittelten Inhalte anhand von vorgegebenen
Übungsaufgaben praktisch zu üben und umzusetzen.Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität;
gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die
in der Vorlesung vermittelten Inhalte anhand von vorgegebenen
Übungsaufgaben praktisch zu üben und umzusetzen.Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität;
Assessment and permitted materials
Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.
Minimum requirements and assessment criteria
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
zu erreichen sind folgende:- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
Group 4
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Tuesday
10.10.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
17.10.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
24.10.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
31.10.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
07.11.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
14.11.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
21.11.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
28.11.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
05.12.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
12.12.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
09.01.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
16.01.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
23.01.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Tuesday
30.01.
15:00 - 16:30
Hörsaal 2, Währinger Straße 29 2.OG
Aims, contents and method of the course
Das Repetitorium Theoretische Informatik ist begleitend zur
gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die
in der Vorlesung vermittelten Inhalte anhand von vorgegebenen
Übungsaufgaben praktisch zu üben und umzusetzen.Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität;
gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die
in der Vorlesung vermittelten Inhalte anhand von vorgegebenen
Übungsaufgaben praktisch zu üben und umzusetzen.Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität;
Assessment and permitted materials
Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
"mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
"mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".
Minimum requirements and assessment criteria
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
Information
Examination topics
Inhalt der entsprechenden Vorlesung
Reading list
Association in the course directory
Module: THI UF-INF-08
Last modified: Mo 07.09.2020 15:30
Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:
- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.
Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität.