Zur Merkliste hinzufügen
Zurück

 

58825-01 - Vorlesung: Discrete Mathematics in Computer Science 6 KP

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 wöchentlich
Datum 16.09.2020 – 16.12.2020
Zeit Montag, 16.15-18.00 Spiegelgasse 5, Seminarraum 05.002
Mittwoch, 16.15-17.00 Alte Universität, Seminarraum -201
Datum Zeit Raum
Mittwoch 16.09.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 21.09.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 23.09.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 28.09.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 30.09.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 05.10.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 07.10.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 12.10.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 14.10.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 19.10.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 21.10.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 26.10.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 28.10.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 02.11.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 04.11.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 09.11.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 11.11.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 16.11.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 18.11.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 23.11.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 25.11.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 30.11.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 02.12.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 07.12.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 09.12.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Montag 14.12.2020 16.15-18.00 Uhr Spiegelgasse 5, Seminarraum 05.002
Mittwoch 16.12.2020 16.15-17.00 Uhr Alte Universität, Seminarraum -201
Module Modul: Angewandte Mathematik (Bachelorstudium: Mathematik)
Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach Computer Science)
Modul: Mathematical Foundations of Computer Science (Bachelorstudium: 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.
An-/Abmeldung zur Leistungsüberprüfung An-/Abmelden: Belegen resp. Stornieren der Belegung via MOnA
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

Zurück