Zurück
Semester | Frühjahrsemester 2017 |
Angebotsmuster | Jedes Frühjahrsem. |
Dozierende | Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn) |
Inhalt | Die Vorlesung bietet eine Einführung in die theoretische Informatik. Schwerpunktthemen sind: Logik, Automatentheorie und formale Sprachen, Berechenbarkeits- und Komplexitätstheorie. |
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. |
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. |
Weblink | Webseite zur Vorlesung |
Teilnahmebedingungen | Keine. |
Anmeldung zur Lehrveranstaltung | Vorlesung: https://services.unibas.ch Übungen: https://courses.cs.unibas.ch |
Unterrichtssprache | Deutsch |
Einsatz digitaler Medien | Online-Angebot obligatorisch |
HörerInnen willkommen |
Intervall | Wochentag | Zeit | Raum |
---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
Module |
Modul Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul Formal Concepts in Computer Science (Bachelor Computer Science) (Pflicht) Modul Informatik I (Bachelor Informatik (Studienbeginn vor 01.08.2010)) (Pflicht) Modul Informatik-Kern (Bachelor 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 | 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 |
An-/Abmeldung zur Leistungsüberprüfung | Anm.: in 'Belegungen'; Abm.: bei Studiendek. 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 |