Mathematik I - Diskrete Strukturen und Logik (WS 2018/19) - tele-TASKhttps://www.tele-task.de/series/1226/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 Feb 2019 07:29:07 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssBoolesche Algebra: Halbordnungen & Isomorphiesätzehttps://www.tele-task.de/lecture/video/7329/Prof. Dr. Christoph Meinel01:22:26tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7329/Tue, 05 Feb 2019 11:00:00 GMTStrukturen: Boolesche Algebren (2)https://www.tele-task.de/lecture/video/7319/Prof. Dr. Christoph Meinel01:27:10tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7319/Wed, 30 Jan 2019 11:00:00 GMTStrukturen: Boolesche Algebren (1)https://www.tele-task.de/lecture/video/7314/Prof. Dr. Christoph Meinel01:29:09tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7314/Tue, 29 Jan 2019 11:00:00 GMTStochastik: Erwartungswerthttps://www.tele-task.de/lecture/video/7295/Christian Tietz01:05:07tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7295/Wed, 23 Jan 2019 11:00:00 GMTStochastik: Wahrscheinlichkeiten & Zufallsvariablenhttps://www.tele-task.de/lecture/video/7291/Christian Tietz01:26:01tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7291/Tue, 22 Jan 2019 11:00:00 GMTStochastikhttps://www.tele-task.de/lecture/video/7280/Christian Tietz01:26:45tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7280/Wed, 16 Jan 2019 11:00:00 GMTPermutation und Binomialkoeffizientenhttps://www.tele-task.de/lecture/video/7271/Christian Tietz01:07:53tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7271/Tue, 15 Jan 2019 11:00:00 GMTKombinatorikhttps://www.tele-task.de/lecture/video/7259/Prof. Dr. Christoph Meinel01:25:26tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7259/Wed, 09 Jan 2019 11:00:00 GMTVollständige Induktion: Induktive Definitionen - Aussagenlogische Formelnhttps://www.tele-task.de/lecture/video/7254/Prof. Dr. Christoph Meinel01:22:46tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7254/Tue, 08 Jan 2019 11:00:00 GMTBeweis vermittels vollständiger Induktionhttps://www.tele-task.de/lecture/video/7246/Joseph Bethge01:29:48tele-TASK, HPI, computer science, technology, Germany, PotsdamJoseph BethgeJoseph Bethgehttps://www.tele-task.de/lecture/video/7246/Wed, 19 Dec 2018 11:00:00 GMTKombinatorische Beweisehttps://www.tele-task.de/lecture/video/7241/Prof. Dr. Christoph Meinel01:31:59tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7241/Tue, 18 Dec 2018 11:00:00 GMTKardinalität & Grundlegende Beweisstrategienhttps://www.tele-task.de/lecture/video/7227/Prof. Dr. Christoph Meinel01:36:01tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7227/Tue, 11 Dec 2018 11:00:00 GMTKardinalitäthttps://www.tele-task.de/lecture/video/7210/Prof. Dr. Christoph Meinel01:21:04tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7210/Wed, 05 Dec 2018 11:00:00 GMTAbbildungen: Injektivität, Surjektivität & Bijektivitäthttps://www.tele-task.de/lecture/video/7201/Christian Tietz01:30:49tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7201/Tue, 04 Dec 2018 11:00:00 GMTAbbildungen und Funktionenhttps://www.tele-task.de/lecture/video/7181/Prof. Dr. Christoph Meinel01:22:15tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7181/Tue, 27 Nov 2018 11:00:00 GMTHalbordnungsrelationenhttps://www.tele-task.de/lecture/video/7172/Joseph Bethge01:23:47tele-TASK, HPI, computer science, technology, Germany, PotsdamJoseph BethgeJoseph Bethgehttps://www.tele-task.de/lecture/video/7172/Wed, 21 Nov 2018 11:00:00 GMTÄquivalenzrelationen - Zerlegunghttps://www.tele-task.de/lecture/video/7165/Christian Tietz01:31:29tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7165/Tue, 20 Nov 2018 11:00:00 GMTÄquivalenzrelationenhttps://www.tele-task.de/lecture/video/7129/Prof. Dr. Christoph Meinel01:30:25tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7129/Tue, 13 Nov 2018 11:00:00 GMTEigenschaften von Relationenhttps://www.tele-task.de/lecture/video/7118/Christian Tietz01:30:49tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7118/Wed, 07 Nov 2018 11:00:00 GMTRelationenhttps://www.tele-task.de/lecture/video/7110/Prof. Dr. Christoph Meinel01:22:50tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7110/Tue, 06 Nov 2018 11:00:00 GMTMengenoperationenhttps://www.tele-task.de/lecture/video/7095/Christian Tietz01:21:39tele-TASK, HPI, computer science, technology, Germany, PotsdamChristian TietzChristian Tietzhttps://www.tele-task.de/lecture/video/7095/Tue, 30 Oct 2018 11:00:00 GMTMengenlehrehttps://www.tele-task.de/lecture/video/7087/Prof. Dr. Christoph Meinel01:31:42tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7087/Wed, 24 Oct 2018 11:00:00 GMTAussageformenhttps://www.tele-task.de/lecture/video/7081/Prof. Dr. Christoph Meinel01:29:02tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7081/Tue, 23 Oct 2018 11:00:00 GMTTautologienhttps://www.tele-task.de/lecture/video/7071/Prof. Dr. Christoph Meinel01:17:11tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7071/Wed, 17 Oct 2018 11:00:00 GMTAussagenhttps://www.tele-task.de/lecture/video/7067/Prof. Dr. Christoph Meinel01:37:08tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/7067/Tue, 16 Oct 2018 11:00:00 GMT