Zur Merkliste hinzufügen
Zurück

 

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

Semester Frühjahrsemester 2019
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.

 

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

 

Intervall wöchentlich
Datum 18.02.2019 – 29.05.2019
Zeit Montag, 14.15-16.00 Spiegelgasse 5, Seminarraum 05.002
Mittwoch, 16.15-18.00 Spiegelgasse 5, Seminarraum 05.002
Datum Zeit Raum
Montag 18.02.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 20.02.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 25.02.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 27.02.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 04.03.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 06.03.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 11.03.2019 14.15-16.00 Uhr Fasnachtsferien
Mittwoch 13.03.2019 16.15-18.00 Uhr Fasnachtsferien
Montag 18.03.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 20.03.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 25.03.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 27.03.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 01.04.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 03.04.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 08.04.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 10.04.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 15.04.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 17.04.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 22.04.2019 14.15-16.00 Uhr Ostern
Mittwoch 24.04.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 29.04.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 01.05.2019 16.15-18.00 Uhr Tag der Arbeit
Montag 06.05.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 08.05.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 13.05.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 15.05.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 20.05.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 22.05.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Montag 27.05.2019 14.15-16.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 29.05.2019 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Module Modul: Applications and Related Topics (Bachelor Studienfach Computer Science)
Modul: Formal Concepts in Computer Science (Bachelorstudium: Computer Science) (Pflicht)
Modul: Informatik I (Bachelorstudium: Informatik (Studienbeginn vor 01.08.2010)) (Pflicht)
Modul: Informatik-Kern (Bachelorstudium: Informatik (Studienbeginn vor 01.08.2016)) (Pflicht)
Modul: Wahlbereich Informatik (Bachelor Studienfach Informatik (Studienbeginn vor 01.08.2016))
Leistungsüberprüfung Examen
Hinweise zur Leistungsüberprüfung Written exam, 2 hours.
The written exam will take place on Wednesday, 12 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