Zur Merkliste hinzufügen
Zurück

 

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

Semester Herbstsemester 2024
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 Wochentag Zeit Raum
wöchentlich Montag 16.15-18.00 Biozentrum, Hörsaal U1.131
wöchentlich Mittwoch 16.15-17.00 Pharmazentrum, Hörsaal 1

Einzeltermine

Datum Zeit Raum
Montag 16.09.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 18.09.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 23.09.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 25.09.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 30.09.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 02.10.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 07.10.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 09.10.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 14.10.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 16.10.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 21.10.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 23.10.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 28.10.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 30.10.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 04.11.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 06.11.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 11.11.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 13.11.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 18.11.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 20.11.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 25.11.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 27.11.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 02.12.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 04.12.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 09.12.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 11.12.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Montag 16.12.2024 16.15-18.00 Uhr Biozentrum, Hörsaal U1.131
Mittwoch 18.12.2024 16.15-17.00 Uhr Pharmazentrum, Hörsaal 1
Module Modul: Mathematical Foundations of Computer Science (Bachelorstudium: Computer Science)
Modul: Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science)
Wahlbereich Bachelor Mathematik: Empfehlungen (Bachelorstudium: Mathematik)
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.

expected date: Monday, January 22, 2024, 4-6 p.m.

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

Zurück