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, Seminarraum 05.002
Mittwoch 18.03.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 23.03.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 25.03.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 30.03.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 01.04.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 06.04.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 08.04.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 13.04.2020 13.15-16.00 Uhr Ostern
Mittwoch 15.04.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 20.04.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 22.04.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 27.04.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 29.04.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 04.05.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 06.05.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 11.05.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 13.05.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 18.05.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 20.05.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 25.05.2020 13.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 27.05.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
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