050011 VU Formal Basics of Computer Science 1 (2010S)
Continuous assessment of course work
Labels
Summary
Registration/Deregistration
Groups
Group 1
max. 50 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
- Wednesday 03.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 10.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 17.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 24.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 14.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 21.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 28.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 05.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 12.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 19.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 26.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 02.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 09.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 16.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 23.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 30.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
Reading list
Hopcroft, Motwani, Ullman: Automata Theory, Languages, and Computation; Pearson International
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik--Anwendungen. Heidelberger
Taschenbücher.
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik--Anwendungen. Heidelberger
Taschenbücher.
Group 2
max. 50 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
- Wednesday 03.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 10.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 17.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 24.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 14.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 21.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 28.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 05.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 12.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 19.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 26.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 02.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 09.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 16.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 23.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Wednesday 30.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
Reading list
Hopcroft, Motwani, Ullman: Automata Theory, Languages, and Computation; Pearson International
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik-Anwendungen. Heidelberger
Taschenbücher.
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik-Anwendungen. Heidelberger
Taschenbücher.
Information
Aims, contents and method of the course
Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Information, Entropie, Informationsübertragung, Datenkompression, Kodierung.
Assessment and permitted materials
Anwesendheitspflicht; alle Beispiele termingerecht und vollstaendig geloest zu haben und diese erklaeren zu koennen; mindestens 50% der moeglichen Testpunkte zu erreichen;
Abschlusstest findet zw. 22. und 30. Juni 2009 statt.
Abschlusstest findet zw. 22. und 30. Juni 2009 statt.
Minimum requirements and assessment criteria
Vermittlung von formalen Grundlagen der Informatik (Informationstheorie und theoretische Informatik).
Examination topics
Jede Vorlesung wird auch einen praktischen Teil beinhalten wo Beispiele bearbeitet werden.
Association in the course directory
Last modified: Tu 01.10.2024 00:09