Mathematik I - Diskrete Strukturen und Logik (WS 2015/16) - tele-TASKhttps://www.tele-task.de/series/1083/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, 12 Nov 2019 13:50:01 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssZufallsvariablen, Erwartungswert und Varianzhttps://www.tele-task.de/lecture/video/5631/Prof. Dr. Christoph Meinel01:17:54tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5631/Wed, 03 Feb 2016 00:00:00 GMTDiskrete Stochastikhttps://www.tele-task.de/lecture/video/5622/Prof. Dr. Christoph Meinel01:19:59tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5622/Tue, 02 Feb 2016 11:00:00 GMTPascalsches Dreieckhttps://www.tele-task.de/lecture/video/5612/Prof. Dr. Christoph Meinel01:19:33tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5612/Wed, 27 Jan 2016 00:00:00 GMTPermutation und Binomialkoeffizientenhttps://www.tele-task.de/lecture/video/5608/Prof. Dr. Christoph Meinel01:22:49tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5608/Tue, 26 Jan 2016 11:00:00 GMTAnwendung der Summenregelnhttps://www.tele-task.de/lecture/video/5597/Prof. Dr. Christoph Meinel01:26:23tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5597/Wed, 20 Jan 2016 11:00:00 GMTKombinatorik Zählprinzipienhttps://www.tele-task.de/lecture/video/5594/Prof. Dr. Christoph Meinel00:14:12tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5594/Tue, 19 Jan 2016 12:12:00 GMTBeweis aussagenlogischer Formeln vermittels vollständiger Induktionhttps://www.tele-task.de/lecture/video/5593/Prof. Dr. Christoph Meinel01:11:15tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5593/Tue, 19 Jan 2016 11:00:00 GMTInduktionssatzhttps://www.tele-task.de/lecture/video/5581/Prof. Dr. Christoph Meinel01:29:27tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5581/Wed, 13 Jan 2016 11:00:00 GMTKombinatorische Beweise und Beweise vermittels Induktionhttps://www.tele-task.de/lecture/video/5578/Prof. Dr. Christoph Meinel01:14:16tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5578/Tue, 12 Jan 2016 11:00:00 GMTBeweisen vermittels Widerspruch, Quantoren und Kombinatorikhttps://www.tele-task.de/lecture/video/5546/Prof. Dr. Christoph Meinel01:31:22tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5546/Wed, 06 Jan 2016 11:00:00 GMTGrundlegende Beweisstrategiehttps://www.tele-task.de/lecture/video/5565/Prof. Dr. Christoph Meinel00:25:35tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5565/Tue, 05 Jan 2016 12:00:00 GMTAbzählbarkeithttps://www.tele-task.de/lecture/video/5564/Prof. Dr. Christoph Meinel00:59:11tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5564/Tue, 05 Jan 2016 11:00:00 GMTFolgen und Mengenfamilienhttps://www.tele-task.de/lecture/video/5552/Philipp Berger01:21:53tele-TASK, HPI, computer science, technology, Germany, PotsdamPhilipp BergerPhilipp Bergerhttps://www.tele-task.de/lecture/video/5552/Tue, 15 Dec 2015 11:00:00 GMTBeweis von Eigenschaften und Sätzenhttps://www.tele-task.de/lecture/video/5537/Prof. Dr. Christoph Meinel01:29:38tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5537/Tue, 08 Dec 2015 11:00:00 GMTSpezialfunktionenhttps://www.tele-task.de/lecture/video/5516/Prof. Dr. Christoph Meinel01:15:28tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5516/Wed, 02 Dec 2015 00:00:00 GMTAbbildungen und Funktionenhttps://www.tele-task.de/lecture/video/5515/Prof. Dr. Christoph Meinel01:31:33tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5515/Tue, 01 Dec 2015 00:00:00 GMTHalbordnungenhttps://www.tele-task.de/lecture/video/5489/Philipp Berger01:28:36tele-TASK, HPI, computer science, technology, Germany, PotsdamPhilipp BergerPhilipp Bergerhttps://www.tele-task.de/lecture/video/5489/Tue, 24 Nov 2015 11:00:00 GMTRechnen mit Äquivalenzrelationenhttps://www.tele-task.de/lecture/video/5474/Philipp Berger01:28:23tele-TASK, HPI, computer science, technology, Germany, PotsdamPhilipp BergerPhilipp Bergerhttps://www.tele-task.de/lecture/video/5474/Wed, 18 Nov 2015 11:00:00 GMTÄquivalenzrelationenhttps://www.tele-task.de/lecture/video/5472/Philipp Berger01:24:57tele-TASK, HPI, computer science, technology, Germany, PotsdamPhilipp BergerPhilipp Bergerhttps://www.tele-task.de/lecture/video/5472/Tue, 17 Nov 2015 11:00:00 GMTRechnen mit Relationenhttps://www.tele-task.de/lecture/video/5463/Prof. Dr. Christoph Meinel00:58:48tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5463/Wed, 11 Nov 2015 11:00:00 GMTRelationenhttps://www.tele-task.de/lecture/video/5460/Philipp Berger01:27:19tele-TASK, HPI, computer science, technology, Germany, PotsdamPhilipp BergerPhilipp Bergerhttps://www.tele-task.de/lecture/video/5460/Tue, 10 Nov 2015 11:00:00 GMTRechnen mit Mengenhttps://www.tele-task.de/lecture/video/5428/Prof. Dr. Christoph Meinel01:01:22tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5428/Wed, 04 Nov 2015 11:00:00 GMTArten von Mengenhttps://www.tele-task.de/lecture/video/5462/Prof. Dr. Christoph Meinel01:24:21tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5462/Tue, 03 Nov 2015 00:00:00 GMTMengenhttps://www.tele-task.de/lecture/video/5405/Prof. Dr. Christoph Meinel01:25:18tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5405/Wed, 28 Oct 2015 11:00:00 GMTTautologienhttps://www.tele-task.de/lecture/video/5402/Prof. Dr. Christoph Meinel01:30:24tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5402/Tue, 27 Oct 2015 11:00:00 GMTAussagenlogikhttps://www.tele-task.de/lecture/video/5384/Prof. Dr. Christoph Meinel01:26:38tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5384/Wed, 14 Oct 2015 11:00:00 GMTMathematische Aussagenhttps://www.tele-task.de/lecture/video/5379/Prof. Dr. Christoph Meinel00:41:36tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5379/Tue, 13 Oct 2015 11:45:00 GMTEinführung & Organisatorischeshttps://www.tele-task.de/lecture/video/5377/Prof. Dr. Christoph Meinel00:45:00tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph MeinelProf. Dr. Christoph Meinelhttps://www.tele-task.de/lecture/video/5377/Tue, 13 Oct 2015 11:00:00 GMT