Mathematik I - Diskrete Strukturen und Logik (WS 2016/17) - tele-TASKhttps://www.tele-task.de/series/1132/In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt: Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche ArithmetikHigh quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)Prof. Dr. Christoph MeinelIn der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt: Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetiknotele-TASKtele-task@hpi.dede℗; ©; tele-TASKTue, 19 Jun 2018 07:08:40 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssZufallsvariablenhttps://www.tele-task.de/lecture/video/6165/Christian Tietz01:16:13tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/6165/Wed, 08 Feb 2017 11:00:00 GMTStochastikhttps://www.tele-task.de/lecture/video/6162/Christian Tietz01:18:39tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/6162/Tue, 07 Feb 2017 00:00:00 GMTZufallsexperimente und Wahrscheinlichkeithttps://www.tele-task.de/lecture/video/6154/Prof. Dr. Christoph Meinel01:32:30tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6154/Wed, 01 Feb 2017 00:00:00 GMTPascalsches Dreieckhttps://www.tele-task.de/lecture/video/6122/Prof. Dr. Christoph Meinel00:45:32tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6122/Wed, 25 Jan 2017 11:00:00 GMTZählenhttps://www.tele-task.de/lecture/video/6117/Christian Tietz01:22:27tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/6117/Tue, 24 Jan 2017 11:00:00 GMTVollständige Induktionhttps://www.tele-task.de/lecture/video/6106/Prof. Dr. Christoph Meinel01:27:53tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6106/Wed, 18 Jan 2017 00:00:00 GMTKombinatorische Beweise und Beweise vermittels Induktionhttps://www.tele-task.de/lecture/video/6104/Prof. Dr. Christoph Meinel01:28:58tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6104/Tue, 17 Jan 2017 11:00:00 GMTGrundlegende Beweisstrategiehttps://www.tele-task.de/lecture/video/6108/Prof. Dr. Christoph Meinel01:21:57tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6108/Wed, 11 Jan 2017 00:00:00 GMTAbzählbarkeithttps://www.tele-task.de/lecture/video/6094/Prof. Dr. Christoph Meinel01:25:42tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6094/Tue, 10 Jan 2017 11:00:00 GMTFolgen und Mengenfamilienhttps://www.tele-task.de/lecture/video/6084/Prof. Dr. Christoph Meinel01:21:59tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6084/Wed, 04 Jan 2017 00:00:00 GMTAbbildungen, Sätze und Beweisehttps://www.tele-task.de/lecture/video/6074/Prof. Dr. Christoph Meinel01:32:02tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6074/Tue, 13 Dec 2016 00:00:00 GMTAbbildungen und Funktionenhttps://www.tele-task.de/lecture/video/594/Prof. Dr. Christoph Meinel01:29:54tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/594/Wed, 07 Dec 2016 00:00:00 GMTHalbordnungsrelationenhttps://www.tele-task.de/lecture/video/6072/Prof. Dr. Christoph Meinel01:27:08tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6072/Tue, 06 Dec 2016 00:00:00 GMTÄquivalenz- und Halbordnungsrelationenhttps://www.tele-task.de/lecture/video/6062/Prof. Dr. Christoph Meinel01:27:17tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6062/Wed, 30 Nov 2016 11:00:00 GMTRechnen mit Äquivalenzrelationenhttps://www.tele-task.de/lecture/video/6057/Prof. Dr. Christoph Meinel01:32:03tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6057/Tue, 29 Nov 2016 11:00:00 GMTÄquivalenzrelationenhttps://www.tele-task.de/lecture/video/6046/Prof. Dr. Christoph Meinel01:28:52tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6046/Wed, 23 Nov 2016 11:00:00 GMTRelationenhttps://www.tele-task.de/lecture/video/6027/Prof. Dr. Christoph Meinel01:24:48tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/6027/Tue, 15 Nov 2016 00:00:00 GMTProdukte von Mengenhttps://www.tele-task.de/lecture/video/6011/Christian Tietz01:10:08tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/6011/Tue, 08 Nov 2016 11:00:00 GMTVereinigung, Durchschnitt und Differenz von Mengenhttps://www.tele-task.de/lecture/video/5981/Prof. Dr. Christoph Meinel01:24:11tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5981/Wed, 02 Nov 2016 11:00:00 GMTBesondere Mengenkonstruktionenhttps://www.tele-task.de/lecture/video/5976/Prof. Dr. Christoph Meinel01:25:41tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5976/Tue, 01 Nov 2016 11:00:00 GMTMengen und Mengenoperationenhttps://www.tele-task.de/lecture/video/5960/Prof. Dr. Christoph Meinel01:25:55tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5960/Wed, 26 Oct 2016 11:00:00 GMTAussagenlogik - Aussageformenhttps://www.tele-task.de/lecture/video/5956/Prof. Dr. Christoph Meinel01:29:17tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5956/Tue, 25 Oct 2016 11:00:00 GMTMathematische Aussagenhttps://www.tele-task.de/lecture/video/5949/Prof. Dr. Christoph Meinel01:24:58tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5949/Wed, 19 Oct 2016 11:00:00 GMTEinführung & Organisatorischeshttps://www.tele-task.de/lecture/video/5948/Prof. Dr. Christoph Meinel01:25:21tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5948/Tue, 18 Oct 2016 00:00:00 GMT