Back
Semester | fall semester 2021 |
Course frequency | Irregular |
Lecturers |
Malte Helmert (malte.helmert@unibas.ch, Assessor)
Gabriele Röger (gabriele.roeger@unibas.ch) |
Content | * mathematical thinking and proof techniques * sets and relations * group theory and permutations * modular arithmetic * graphs and trees * recurrence relations * formal logic |
Learning objectives | * abstract thinking * formalization of mathematical ideas and arguments * knowledge of common mathematical tools in computer science |
Bibliography | There is no textbook for the course. The course slides will be made available to the participants on the course webpage during the semester. |
Weblink | course homepage |
Course application | Registration via https://services.unibas.ch. |
Language of instruction | English |
Use of digital media | Online course |
Course auditors welcome |
Interval | Weekday | Time | Room |
---|---|---|---|
wöchentlich | Wednesday | 16.15-18.00 | - Online Präsenz - |
Date | Time | Room |
---|---|---|
Wednesday 22.09.2021 | 16.15-18.00 | --, -- |
Wednesday 29.09.2021 | 16.15-18.00 | --, -- |
Wednesday 06.10.2021 | 16.15-18.00 | --, -- |
Wednesday 13.10.2021 | 16.15-18.00 | --, -- |
Wednesday 20.10.2021 | 16.15-18.00 | --, -- |
Wednesday 27.10.2021 | 16.15-18.00 | --, -- |
Wednesday 03.11.2021 | 16.15-18.00 | --, -- |
Wednesday 10.11.2021 | 16.15-18.00 | --, -- |
Wednesday 17.11.2021 | 16.15-18.00 | --, -- |
Wednesday 24.11.2021 | 16.15-18.00 | --, -- |
Wednesday 01.12.2021 | 16.15-18.00 | --, -- |
Wednesday 08.12.2021 | 16.15-18.00 | --, -- |
Wednesday 15.12.2021 | 16.15-18.00 | --, -- |
Wednesday 22.12.2021 | 16.15-18.00 | --, -- |
Modules |
Modul: Mathematical Foundations of Computer Science (Bachelor's degree subject: Computer Science) Module: Applied Mathematics (Bachelor's Studies: Mathematics) Module: Mathematical Foundations of Computer Science (Bachelor's Studies: Computer Science) |
Assessment format | continuous assessment |
Assessment details | The course includes weekly homework assignments and a final written exam. The homework assignments are marked with a pass/fail grade, where 60% of the marks are required to obtain a "pass" for a weekly assignment. To qualify for the exam, participants must pass the weekly assignments; up to two failed assignments are allowed. The final grade for the course is based exclusively on the final exam. Exam details: Monday, 24 January 2022, 4-6 p.m., location: Organische Chemie, Grosser Hörsaal OC |
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 |