Back
| Semester | spring semester 2018 |
| Course frequency | Every spring sem. |
| Lecturers | Gabriele Röger (gabriele.roeger@unibas.ch, Assessor) |
| Content | The course gives an introduction to the theory of computer science. Topics are: logic, automata theory and formal languages, computability and complexity theory |
| Learning objectives | 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. |
| Bibliography | 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 |
| Admission requirements | None. |
| Course application | Course: https://services.unibas.ch Exercises: https://courses.cs.unibas.ch |
| Language of instruction | English |
| Use of digital media | Online, mandatory |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|
No dates available. Please contact the lecturer.
| Modules |
Modul Applications and Related Topics (Bachelor's degree subject: Computer Science) Modul Informatik I (Bachelor Computer Science (Start of studies before 01.08.2010)) (Pflicht) Modul Wahlbereich Informatik (Bachelor's degree subject: Computer Science (Start of studies before 01.08.2016)) Module Computer Science: Core Area (Bachelor Computer Science (Start of studies before 01.08.2016)) (Pflicht) Module Formal Concepts in Computer Science (Bachelor Computer Science) (Pflicht) |
| Assessment format | main lecture exam |
| Assessment details | Written exam, 2 hours. The written exam will take place on Friday, 15 June, 2-4 p.m., at Spiegelgasse 1, room 00.003. Further information regarding exams of main lectures (Hauptvorlesungen): https://philnat.unibas.ch/examen |
| Assessment registration/deregistration | Reg.: in 'course reg.'; dereg.: Dean of Std. Off. in writing |
| Repeat examination | one repetition, best attempt counts |
| Scale | 1-6 0,5 |
| Repeated registration | no repetition |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |