19310201
Vorlesung
ProInformatik I: Diskrete Strukturen in der Informatik
Linus Ververs
Zusätzl. Angaben / Voraussetzungen
Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!
Kommentar
Inhalte:
-
- Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
- Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
- Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
- Prädikatenlogik und mathematische Strukturen
- Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
- diskrete Wahrscheinlichkeitsverteilungen
- Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume
Literaturhinweise
- Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
- Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5.Auflage 2000
- Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
- M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004
50 Termine
Regelmäßige Termine der Lehrveranstaltung
Do, 24.07.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 25.07.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 28.07.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 29.07.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 30.07.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 31.07.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 01.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 04.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 05.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 06.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 07.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 08.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 11.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 12.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 13.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 14.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 15.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 18.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 19.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 20.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 21.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 22.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 25.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 26.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 27.08.2025 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 24.07.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 25.07.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 28.07.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 29.07.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 30.07.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 31.07.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 01.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 04.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 05.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 06.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 07.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 08.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 11.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 12.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 13.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 14.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 15.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 18.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 19.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 20.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Do, 21.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fr, 22.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mo, 25.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Di, 26.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mi, 27.08.2025 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Inhalte:
Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül Mengenlehre: ... Lesen Sie weiter