Back
Semester | fall semester 2022 |
Course frequency | Every fall sem. |
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, mandatory |
Course auditors welcome |
Interval | Weekday | Time | Room |
---|---|---|---|
wöchentlich | Wednesday | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Date | Time | Room |
---|---|---|
Wednesday 21.09.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 28.09.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 05.10.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 12.10.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 19.10.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 26.10.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 02.11.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 09.11.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 16.11.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 23.11.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 30.11.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 07.12.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 14.12.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Wednesday 21.12.2022 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
Modules |
Modul: Mathematical Foundations of Computer Science (Bachelor's degree subject: Computer Science) (Pflicht) Module: Applied Mathematics (Bachelor's Studies: Mathematics) Module: Mathematical Foundations of Computer Science (Bachelor's Studies: Computer Science) (Pflicht) |
Assessment format | continuous assessment |
Assessment details | The course includes weekly homework assignments and a final written exam. At least 50% of the marks obtainable throughout the semester are required to qualify for the exam. The final grade for the course is based exclusively on the final exam. Exam date, time and location: Monday, January 23, 4-6 p.m., HS U1.131, Biozentrum |
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 |