filmov
tv
Die logische Struktur mathematischer Beweise
Показать описание
Durch die Brille der Logik gesehen folgen mathematische Beweise immer einigen wenigen Mustern. Die werden hier besprochen: direkter Beweis, indirekter Beweis (Kontraposition) und Beweis durch Widerspruch (Reductio ad absurdum).
00:00 Direkter Beweis
04:30 Indirekter Beweise (Kontraposition)
07:35 Beweis durch Widerspruch (Reductio ad absurdum)
13:30 Relevanz für die Informatik
Corrections:
11:50 Bitte beachten Sie die Ergänzung in der Videobeschreibung.
00:00 Direkter Beweis
04:30 Indirekter Beweise (Kontraposition)
07:35 Beweis durch Widerspruch (Reductio ad absurdum)
13:30 Relevanz für die Informatik
Corrections:
11:50 Bitte beachten Sie die Ergänzung in der Videobeschreibung.
0:16:51
0:14:39
0:12:03
0:10:26
0:03:31
0:07:44
0:01:00
1:22:45
0:08:10
0:08:29
0:04:04
1:04:20
0:05:22
0:03:56
0:20:53
0:12:10
0:10:56
0:01:51
0:05:00
0:03:10
0:09:07
0:08:27
0:07:07
0:29:25