Zur Merkliste hinzufügen
Zurück

 

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

Semester Herbstsemester 2022
Angebotsmuster Jedes Herbstsemester
Dozierende Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Gabriele Röger (gabriele.roeger@unibas.ch)
Inhalt * mathematical thinking and proof techniques
* sets and relations
* group theory and permutations
* modular arithmetic
* graphs and trees
* recurrence relations
* formal logic
Lernziele * abstract thinking
* formalization of mathematical ideas and arguments
* knowledge of common mathematical tools in computer science
Literatur 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

 

Anmeldung zur Lehrveranstaltung Registration via https://services.unibas.ch.
Unterrichtssprache Englisch
Einsatz digitaler Medien Online-Angebot obligatorisch
HörerInnen willkommen

 

Intervall wöchentlich
Datum 21.09.2022 – 21.12.2022
Zeit Mittwoch, 16.15-18.00 Biozentrum, Hörsaal U1.141
Datum Zeit Raum
Mittwoch 21.09.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 28.09.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 05.10.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 12.10.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 19.10.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 26.10.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 02.11.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 09.11.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 16.11.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 23.11.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 30.11.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 07.12.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 14.12.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Mittwoch 21.12.2022 16.15-18.00 Uhr Biozentrum, Hörsaal U1.141
Module Modul: Angewandte Mathematik (Bachelorstudium: Mathematik)
Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach Computer Science) (Pflicht)
Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science) (Pflicht)
Leistungsüberprüfung Lehrveranst.-begleitend
Hinweise zur Leistungsüberprüfung 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: to be announced (expected date: Monday, January 23, 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