Zur Merkliste hinzufügen
Zurück

 

10948-01 - Hauptvorlesung: Theory of Computer Science 8 KP

Semester Frühjahrsemester 2020
Angebotsmuster Jedes Frühjahrsem.
Dozierende Gabriele Röger (gabriele.roeger@unibas.ch, BeurteilerIn)
Inhalt The course gives an introduction to the theory of computer science.

Topics are: logic, automata theory and formal languages, computability and complexity theory
Lernziele The participants should be able to formulate statements and situations in logical systems and to formally derive logical consequences. They should develop a precise understanding of initially intuitive concepts such as computability and complexity. This will enable them to determine the fundamental hardness of computer science problems and to infer consequences for practical approaches.
Literatur German textbooks:
U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Verlag, 2008.
U. Schöning: "Logik für Informatiker", 5. Auflage, Spektrum Verlag, 2000.

English textbooks:
M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012.
U. Schöning: "Logic for Computer Scientists", 1. edition, Birkhäuser Verlag, 2008.
Weblink course website

 

Anmeldung zur Lehrveranstaltung Course: https://services.unibas.ch
Exercises: https://courses.cs.unibas.ch
Unterrichtssprache Englisch
Einsatz digitaler Medien Online-Angebot obligatorisch
HörerInnen willkommen

 

Intervall wöchentlich
Datum 17.02.2020 – 27.05.2020
Zeit Montag, 13.15-16.00 Spiegelgasse 5, Seminarraum 05.002
Mittwoch, 16.15-18.00 Spiegelgasse 5, Seminarraum 05.002
Datum Zeit Raum
Montag 17.02.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 19.02.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 24.02.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 26.02.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 02.03.2020 13.15-16.00 Uhr Fasnachtsferien
Mittwoch 04.03.2020 16.15-18.00 Uhr Fasnachtsferien
Montag 09.03.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 11.03.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 16.03.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 18.03.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 23.03.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 25.03.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 30.03.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 01.04.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 06.04.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 08.04.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 13.04.2020 13.15-16.00 Uhr Ostern
Mittwoch 15.04.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 20.04.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 22.04.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 27.04.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 29.04.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 04.05.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 06.05.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 11.05.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 13.05.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 18.05.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 20.05.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Montag 25.05.2020 13.15-16.00 Uhr Spiegelgasse 5, --
Mittwoch 27.05.2020 16.15-18.00 Uhr Spiegelgasse 5, --
Module Modul: Applications and Related Topics (Bachelor Studienfach Computer Science)
Modul: Computational Sciences II (Bachelorstudium: Computational Sciences)
Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) (Pflicht)
Leistungsüberprüfung Examen
Hinweise zur Leistungsüberprüfung Written exam, 2 hours.
The written exam will take place on Wednesday, 10 June, 2-4 p.m.
Further information regarding exams of main lectures (Hauptvorlesungen): https://philnat.unibas.ch/de/examen

An-/Abmeldung zur Leistungsüberprüfung Anmelden: via MOnA; Abmelden: Studiendekanat (schriftlich)
Wiederholungsprüfung eine Wiederholung, bester Versuch zählt
Skala 1-6 0,5
Wiederholtes Belegen nicht wiederholbar
Zuständige Fakultät Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch
Anbietende Organisationseinheit Fachbereich Informatik

Zurück