Back to selection
| Semester | fall semester 2026 |
| Further events belonging to these CP |
58825-01 (Lecture) 58825-02 (Practical course) 58825-03 (Practical course) 58825-04 (Practical course) 58825-05 (Practical course) |
| Course frequency | Every fall sem. |
| Lecturers |
Malte Helmert (malte.helmert@unibas.ch, Assessor)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| Content | See lecture description. |
| Learning objectives | See lecture description. |
| Bibliography | See lecture description. |
| Weblink | course homepage |
| Course application | See lecture description. |
| Language of instruction | English |
| Use of digital media | Online, mandatory |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Thursday | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Date | Time | Room |
|---|---|---|
| Thursday 24.09.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 01.10.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 08.10.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 15.10.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 22.10.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 29.10.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 05.11.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 12.11.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 19.11.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 26.11.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 03.12.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Thursday 10.12.2026 | 16.15-18.00 | Spiegelgasse 5, Seminarraum 05.001 |
| Modules |
Electives Bachelor Mathematics: Recommendations (Bachelor's Studies: Mathematics) Module: Formal Concepts in Computer Science (Bachelor's Studies: Computer Science) Module: Formal Foundations of Computer Science (Bachelor's degree subject: Computer Science) Module: Mathematical Foundations of Computer Science (Bachelor's Studies: Computer Science (Start of studies before 01.08.2026)) Module: Mathematical Foundations of Computer Science (Bachelor's degree subject: Computer Science (Start of studies before 01.08.2026)) |
| Assessment format | continuous assessment |
| Assessment details | See lecture description. |
| Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
| 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 |