Zurück zur Auswahl
10948-01 - Hauptvorlesung: Theory of Computer Science (8 KP)
| Semester | Frühjahrsemester 2019 |
| Weitere Semesterveranstaltungen zu diesen KP |
10948-02 (Übung) 10948-03 (Übung) 10948-01 (Hauptvorlesung) |
| Angebotsmuster | Jedes Frühjahrsem. |
| Dozierende | Gabriele Röger (gabriele.roeger@unibas.ch, BeurteilerIn) |
| Inhalt | The course gives an introduction to the theory of computer science. Topics are: logic, automata theory and formal languages, computability and complexity theory |
| Lernziele | The participants should be able to formulate statements and situations in logical systems and to formally derive logical consequences. They should develop a precise understanding of initially intuitive concepts such as computability and complexity. This will enable them to determine the fundamental hardness of computer science problems and to infer consequences for practical approaches. |
| Literatur | German textbooks: U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Verlag, 2008. U. Schöning: "Logik für Informatiker", 5. Auflage, Spektrum Verlag, 2000. English textbooks: M. Sipser: "Introduction to the Theory of Computation", 3. edition, Cengage Learning, 2012. U. Schöning: "Logic for Computer Scientists", 1. edition, Birkhäuser Verlag, 2008. |
| Weblink | course website |
| Teilnahmevoraussetzungen | None. |
| Anmeldung zur Lehrveranstaltung | Course: https://services.unibas.ch Exercises: https://courses.cs.unibas.ch |
| Unterrichtssprache | Englisch |
| 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 (Bachelorstudium: Computer Science) (Pflicht) Modul: Informatik I (Bachelorstudium: Informatik (Studienbeginn vor 01.08.2010)) (Pflicht) Modul: Informatik-Kern (Bachelorstudium: Informatik (Studienbeginn vor 01.08.2016)) (Pflicht) Modul: Wahlbereich Informatik (Bachelor Studienfach: Informatik (Studienbeginn vor 01.08.2016)) |
| Prüfung | Examen |
| Hinweise zur Prüfung | Written exam, 2 hours. The written exam will take place on Wednesday, 12 June, 2-4 p.m. Further information regarding exams of main lectures (Hauptvorlesungen): https://philnat.unibas.ch/de/examen |
| An-/Abmeldung zur Prüfung | Anm.: in 'Belegungen'; Abm.: bei Studiendek. schriftlich |
| Wiederholungsprüfung | eine Wiederholung, bester Versuch zählt |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | nicht wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |