Zurück zur Auswahl
10948-01 - Vorlesung mit Übungen: Theorie der Informatik (CS105) (3 KP)
| Semester | Frühjahrsemester 2008 |
| Angebotsmuster | Jedes Frühjahrsem. |
| Dozierende | Christian Tschudin (christian.tschudin@unibas.ch, BeurteilerIn) |
| Inhalt | Die Veranstaltung "Theorie der Informatik" führt in kompakter Form in die theoretischen Grundlagen der Informatik ein. Inhalte sind: Prädikatenkalkül, Automatentheorie und formale Sprachen, Berechenbarkeitstheorie und Komplexitätstheorie. Falls es die Zeit erlaubt, wird am Schluss noch kurz auf Nebenläufigkeitscalculi eingegangen. |
| Literatur | Die Vorlesung stützt sich weitgehend auf das Buch von U.Schöning, "Theoretische Informatik - kurzgefasst", Spectrum 2000. Zu den Themen Prädikatenkalkül und Nebenläufigkeitscalculi werden Handouts bereitgestellt. |
| Weblink | http://informatik.unibas.ch/lehre/index. |
| Anmeldung zur Lehrveranstaltung | http://courses.cs.unibas.ch |
| Unterrichtssprache | Deutsch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul Informatik (Bachelor Studienfach: Informatik) (Pflicht) Modul Informatik I (Bachelor in Informatik ab HS 2007) (Pflicht) |
| Prüfung | Lehrveranst.-begleitend |
| 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 |