252-0025-01L  Diskrete Mathematik

SemesterHerbstsemester 2020
DozierendeU. Maurer
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheDeutsch



Lehrveranstaltungen

NummerTitelUmfangDozierende
252-0025-01 VDiskrete Mathematik
Die Vorlesungen finden im Hybrid-Modus statt. Ein Teil der Studierenden besucht die Vorlesung im aufgeführten Hörsaal, und der andere Teil der Studierenden verfolgt den Live-Stream im Video-Portal der ETH. Details und Belegungsplan: https://www.basisjahr.inf.ethz.ch/
4 Std.
Di12:15-14:00HG E 7 »
Mi12:15-14:00HG E 7 »
U. Maurer
252-0025-01 UDiskrete Mathematik
Gruppeneinteilung erfolgt über myStudies.
Keine Übungsstunden in der ersten Semesterwoche. Übungsstunden am Montag von 14-16 nur für RW!
2 Std.
Mo12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
12:00-14:00ON LI NE »
14:00-16:00ON LI NE »
14:00-16:00ON LI NE »
14:00-16:00ON LI NE »
Di16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
16:00-18:00ON LI NE »
U. Maurer

Katalogdaten

KurzbeschreibungInhalt: Mathematisches Denken und Beweise, Abstraktion. Mengen, Relationen (z.B. Aequivalenz- und Ordnungsrelationen), Funktionen, (Un-)abzählbarkeit, Zahlentheorie, Algebra (Gruppen, Ringe, Körper, Polynome, Unteralgebren, Morphismen), Logik (Aussagen- und Prädikatenlogik, Beweiskalküle).
LernzielHauptziele der Vorlesung sind (1) die Einführung der wichtigsten Grundbegriffe der diskreten Mathematik, (2) das Verständnis der Rolle von Abstraktion und von Beweisen und (3) die Diskussion einiger Anwendungen, z.B. aus der Kryptographie, Codierungstheorie und Algorithmentheorie.
InhaltSiehe Kurzbeschreibung.
Skriptvorhanden (englisch)

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
Im Prüfungsblock fürBachelor-Studiengang Informatik 2016; Ausgabe 07.04.2022 (Basisprüfungsblock 1)
Bachelor-Studiengang Rechnergestützte Wissenschaften 2018; Ausgabe 13.12.2022 (Basisprüfungsblock 1)
ECTS Kreditpunkte7 KP
PrüfendeU. Maurer
FormSessionsprüfung
PrüfungsspracheDeutsch
RepetitionDie Leistungskontrolle wird in jeder Session angeboten. Die Repetition ist ohne erneute Belegung der Lerneinheit möglich.
Prüfungsmodusschriftlich 180 Minuten
Zusatzinformation zum PrüfungsmodusWährend des Semesters können durch aktive Mitarbeit Bonuspunkte erarbeitet werden. Die Veranstaltung bietet als "Leistungselement" (im Sinne der WEISUNG: Anwendung von Leistungselementen in der Lehre vom 22.12.2017) Lernelemente an.
Die Lernelemente sind Bonusaufgaben und klar markierter Teil der wöchentlichen Aufgabensammlung. In maximal 12 Wochen wird es Bonusaufgaben geben. Die beiden schlechtesten Wochen werden nicht gewertet. Die erworbenen Punkte verbessern das Ergebnis der schriftlichen Prüfung um maximal 0.25 Notenpunkte.

Unehrliches Verhalten bei der Bearbeitung der Lernelemente (z.B., Kopieren der Lösungen von Kommilitonen oder anderen Quellen, zur Verfügung stellen der eigenen Lösungen zum Kopieren) haben ernste Konsequenzen inklusive der Aberkennung aller Bonuspunkte dieser Veranstaltung.
Hilfsmittel schriftlichSelbstverfasste, handgeschriebene Notizen auf 6 A4-Seiten (respektive 3 Blätter doppelseitig).
Falls die Lerneinheit innerhalb eines Prüfungsblockes geprüft wird, werden die Kreditpunkte für den gesamten bestandenen Block erteilt.
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.

Lernmaterialien

 
HauptlinkVorlesungswebsite
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

252-0025-01 UDiskrete Mathematik
GruppenINFK-ON 01
nur für  Informatik BSc (252000)
INFK-Rest 01
Di16:00-18:00ON LI NE »
nicht für  Informatik BSc (252000)
Rechnergestützte Wissenschaften BSc (406000)
INFK-01
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-02
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-03
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-04
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-05
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-06
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-07
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-08
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-09
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-10
Mo12:00-14:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-11
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-12
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-13
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-14
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-15
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-16
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-17
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-18
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-19
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-20
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-21
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
INFK-22
Di16:00-18:00ON LI NE »
nur für  Informatik BSc (252000)
RW-ON 01
nur für  Rechnergestützte Wissenschaften BSc (406000)
RW-01
Mo14:00-16:00ON LI NE »
nur für  Rechnergestützte Wissenschaften BSc (406000)
RW-02
Mo14:00-16:00ON LI NE »
nur für  Rechnergestützte Wissenschaften BSc (406000)
RW-03
Mo14:00-16:00ON LI NE »
nur für  Rechnergestützte Wissenschaften BSc (406000)

Einschränkungen

GruppenEinschränkungen sind unter Gruppen aufgeführt

Angeboten in

StudiengangBereichTyp
Informatik BachelorBasisprüfungsblock 1OInformation
Rechnergestützte Wissenschaften BachelorBasisprüfungsblock 1OInformation