Zurück
| Semester | Herbstsemester 2020 |
| Angebotsmuster | unregelmässig |
| Dozierende |
Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Gabriele Röger (gabriele.roeger@unibas.ch) |
| Inhalt | * mathematical thinking and proof techniques * group theory and permutations * sets and relations * graphs and trees * modular arithmetic * recurrence relations * formal logic |
| Lernziele | * abstract thinking * formalization of mathematical ideas and arguments * knowledge of common mathematical tools in computer science |
| Literatur | TBA |
| Teilnahmebedingungen | Participants need to be able to program. It is recommended to pass the courses "Grundlagen der Programmierung" and "Erweiterte Grundlagen der Programmierung" before this course. |
| Anmeldung zur Lehrveranstaltung | Registration via https://services.unibas.ch. Please also register for one of the two exercise sessions. If the number of participants in the two sessions is very unbalanced, participants may be reassigned, with preference given to participants that enrolled early. (Both exercise sessions take place at the same time.) |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot fakultativ |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul: Angewandte Mathematik (Bachelorstudium: Mathematik) Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science) |
| Leistungsüberprüfung | Lehrveranst.-begleitend |
| Hinweise zur Leistungsüberprüfung | 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. Date for the exam: Monday, 25 January 2021, 4-6 p.m., Bernoullianum |
| An-/Abmeldung zur Leistungsüberprüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Wiederholtes Belegen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |