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 (Bachelorstudium: Computer Science) (Pflicht)
Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach Computer Science) (Pflicht)
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.

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