19521
Vorlesung
SoSe 13: ProInformatik I: Logik und Diskrete Mathematik
Dennis Clemens
Kommentar
Inhalt - 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 - Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume Zielgruppe Studieninteressierte mit Hochschulzugangsberechtigung Voraussetzungen Erfolgreiche Online-Anmeldung undEinzahlung der Kursgebühr gemäß Info-Seite Literatur 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 Schließen
24 Termine
Regelmäßige Termine der Lehrveranstaltung
Mo, 10.06.2013 09:00 - 12:00
Mo, 10.06.2013 14:00 - 16:00
Di, 11.06.2013 09:00 - 12:00
Mi, 12.06.2013 09:00 - 12:00
Mi, 12.06.2013 14:00 - 16:00
Do, 13.06.2013 09:00 - 12:00
Fr, 14.06.2013 09:00 - 12:00
Mo, 17.06.2013 09:00 - 12:00
Di, 18.06.2013 09:00 - 12:00
Mi, 19.06.2013 09:00 - 12:00
Do, 20.06.2013 09:00 - 12:00
Do, 20.06.2013 14:00 - 16:00
Fr, 21.06.2013 09:00 - 12:00
Mo, 24.06.2013 09:00 - 12:00
Mo, 24.06.2013 14:00 - 16:00
Di, 25.06.2013 09:00 - 12:00
Mi, 26.06.2013 09:00 - 12:00
Do, 27.06.2013 09:00 - 12:00
Fr, 28.06.2013 09:00 - 12:00
Mo, 01.07.2013 09:00 - 12:00
Di, 02.07.2013 09:00 - 12:00
Mi, 03.07.2013 09:00 - 12:00
Do, 04.07.2013 09:00 - 12:00
Fr, 05.07.2013 09:00 - 12:00