Zurück zur Auswahl
10948-02 - Übung: Theorie der Informatik (6 KP)
| Semester | Frühjahrsemester 2014 |
| Weitere Semesterveranstaltungen zu diesen KP |
10948-01 (Vorlesung) 10948-02 (Übung) |
| Angebotsmuster | Jedes Frühjahrsem. |
| Dozierende |
Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| 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. |
| Bemerkungen | CS206 |
| Weblink | Veranstaltungswebseite |
| Teilnahmevoraussetzungen | 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 Informatik I (Bachelor Informatik (Studienbeginn vor 01.08.2010)) (Pflicht) Modul Informatik-Kern (Bachelor Informatik) (Pflicht) Modul Wahlbereich Informatik (Bachelor Studienfach: Informatik) |
| Prüfung | Lehrveranst.-begleitend |
| Hinweise zur Prüfung | Für den Erhalt der Kreditpunkte ist die aktive Teilnahme an den Übungen und das Bestehen der Klausur notwendig. Aktive Teilnahme an den Übungen bedeutet Erreichen von mindestens 50% der Punkte aus den Übungsaufgaben. Die Note für die Veranstaltung basiert ausschliesslich auf der Klausur. |
| An-/Abmeldung zur Prüfung | Anmelden: Belegen; Abmelden: Dozierende |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |