Hauptvorlesung: Theorie der Informatik

VV-Nr 10948-01
Dozierende Malte Helmert
Assistierende Thomas Keller
Tutoren Cedric Geissmann
Manuel Heusner
Zeit und Ort Mo 14:15 - 16:00; Seminarraum 05.002, Spiegelgasse 5
Mi 16:15 - 18:00; Seminarraum 05.001, Spiegelgasse 5
Start 20.02.2017
Übungen Mo 16:15 - 18:00; Seminarraum 05.001, Spiegelgasse 5
Mo 16:15 - 18:00; Computer-Labor U1.001, Spiegelgasse 1
Gruppenzuweisung (Anmeldung mit Passwort)
Voraussetzungen Keine.
Lernziele Die Studierenden sollen in der Lage sein, Aussagen und Sachverhalte in logischen Systemen zu formulieren und formal logische Schlussfolgerungen zu ziehen. Sie sollen zudem eine präzises Verständnis für zunächst intuitive Konzepte wie Berechenbarkeit und Komplexität erwerben. Dies befähigt sie, die fundamentale Schwierigkeit von Problemen in der Informatik zu bestimmen und die Auswirkungen auf praktische Verfahren einzuschätzen.
Inhalte Die Vorlesung bietet eine Einführung in die theoretische Informatik.
Schwerpunktthemen sind: Logik, Automatentheorie und formale Sprachen, Berechenbarkeits- und Komplexitätstheorie.
Literatur U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Verlag, 2008.
U. Schöning: "Logik für Informatiker", 5. Auflage, Spektrum Verlag, 2000.
Leistungsüberprüfung Examen

Bitte beachten: Schriftliches Examen, 2 Stunden.
Informationen zu Examen bei Hauptvorlesungen: https://philnat.unibas.ch/examen
Examenstermin: 26.06.2017, 14-16 Uhr, Spiegelgasse 1, Raum 00.003
Kreditpunkte 8
Skala 1-6 0,5
Module Modul Informatik I (Bachelor Informatik 07)
Modul Wahlbereich Informatik (BSF - Informatik (Studienbeginn vor 01.08.2016))
Modul Informatik-Kern (Bachelor Informatik 10)
Modul Formal Concepts in Computer Science (Bachelor Computer Science 16)
Modul Applications and Related Topics (BSF - Computer Science)
Belegen Services (Anmeldung mit Passwort)