Mathematik I - Diskrete Strukturen und Logik (WS 2019/20) - tele-TASKhttps://www.tele-task.de/series/1287/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-TASKSat, 18 Jan 2020 16:31:57 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssVollständige Induktion & Kombinatorikhttps://www.tele-task.de/lecture/video/7960/Prof. Dr. Christoph Meinel01:22:43tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7960/Tue, 14 Jan 2020 00:00:00 GMTVollständige Induktion: Induktive Definitionen - Aussagenlogische Formelnhttps://www.tele-task.de/lecture/video/7944/Prof. Dr. Christoph Meinel01:25:12tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7944/Wed, 08 Jan 2020 11:00:00 GMTBeweis durch vollständige Induktionhttps://www.tele-task.de/lecture/video/7938/Joseph Bethge01:18:54tele-TASK, HPI, computer science, technology, Germany, PotsdamJoseph BethgeJoseph Bethgehttps://www.tele-task.de/lecture/video/7938/Tue, 07 Jan 2020 11:00:00 GMTKombinatorische Beweisehttps://www.tele-task.de/lecture/video/7927/Prof. Dr. Christoph Meinel01:13:37tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7927/Wed, 18 Dec 2019 11:00:00 GMTAbzählbarkeit & Grundlegende Beweisstrategienhttps://www.tele-task.de/lecture/video/7922/Prof. Dr. Christoph Meinel01:21:03tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7922/Tue, 17 Dec 2019 11:00:00 GMTAbzählbarkeithttps://www.tele-task.de/lecture/video/7885/Prof. Dr. Christoph Meinel01:31:56tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7885/Tue, 10 Dec 2019 11:00:00 GMTAbbildungen: Injektivität, Surjektivität & Bijektivitäthttps://www.tele-task.de/lecture/video/7875/Prof. Dr. Christoph Meinel01:26:05tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7875/Wed, 04 Dec 2019 11:00:00 GMTAbbildungen und Funktionenhttps://www.tele-task.de/lecture/video/7867/Christian Tietz01:30:06tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7867/Tue, 03 Dec 2019 11:00:00 GMTHalbordnungsrelationenhttps://www.tele-task.de/lecture/video/7843/Prof. Dr. Christoph Meinel01:22:53tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7843/Wed, 27 Nov 2019 11:00:00 GMTRechnen mit Äquivalenzrelationenhttps://www.tele-task.de/lecture/video/7834/Prof. Dr. Christoph Meinel01:32:18tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7834/Tue, 26 Nov 2019 11:00:00 GMTÄquivalenzrelationen - Zerlegunghttps://www.tele-task.de/lecture/video/7813/Prof. Dr. Christoph Meinel01:23:42tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7813/Wed, 20 Nov 2019 11:00:00 GMTÄquivalenzrelationenhttps://www.tele-task.de/lecture/video/7808/Prof. Dr. Christoph Meinel01:29:06tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7808/Tue, 19 Nov 2019 11:00:00 GMTEigenschaften von Relationenhttps://www.tele-task.de/lecture/video/7792/Christian Tietz01:22:43tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7792/Wed, 13 Nov 2019 11:00:00 GMTBeweistechnikenhttps://www.tele-task.de/lecture/video/7781/Prof. Dr. Christoph Meinel01:24:32tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7781/Tue, 12 Nov 2019 11:00:00 GMTWeitere Mengenoperationenhttps://www.tele-task.de/lecture/video/7766/Prof. Dr. Christoph Meinel01:30:14tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7766/Wed, 06 Nov 2019 11:00:00 GMTMengenkonstruktionenhttps://www.tele-task.de/lecture/video/7760/Christian Tietz01:26:15tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7760/Tue, 05 Nov 2019 11:00:00 GMTMengenlehrehttps://www.tele-task.de/lecture/video/7733/Joseph Bethge01:27:50tele-TASK, HPI, computer science, technology, Germany, PotsdamJoseph BethgeJoseph Bethgehttps://www.tele-task.de/lecture/video/7733/Wed, 23 Oct 2019 11:00:00 GMTAussageformenhttps://www.tele-task.de/lecture/video/7723/Prof. Dr. Christoph Meinel00:47:50tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7723/Tue, 22 Oct 2019 11:00:00 GMTTautologienhttps://www.tele-task.de/lecture/video/7709/Prof. Dr. Christoph Meinel01:26:32tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7709/Wed, 16 Oct 2019 11:00:00 GMTAussagenhttps://www.tele-task.de/lecture/video/7703/Prof. Dr. Christoph Meinel01:28:36tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7703/Tue, 15 Oct 2019 00:00:00 GMT