Back
| Semester | spring semester 2008 |
| Course frequency | Every spring sem. |
| Lecturers | Christian Tschudin (christian.tschudin@unibas.ch, Assessor) |
| Content | 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. |
| Bibliography | 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. |
| Course application | http://courses.cs.unibas.ch |
| Language of instruction | German |
| Use of digital media | No specific media used |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|
No dates available. Please contact the lecturer.
| Modules |
Modul Informatik (Bachelor's degree subject: Computer Science) (Pflicht) Modul Informatik I (Bachelor in Informatik ab HS 2007) (Pflicht) |
| Assessment format | continuous assessment |
| Assessment registration/deregistration | Reg.: course registration; dereg.: teaching staff |
| Repeat examination | no repeat examination |
| Scale | 1-6 0,5 |
| Repeated registration | as often as necessary |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |