Výroková logika
-%
27 Videí
7 Hodin
0 Interakcí a VR
|
+ 59 placených videí
48 testů
Smyslem kapitoly je vybudování základů „matematického jazyka“, tedy jazyka, kterým je matematika psána. Budeme se snažit rozpoznat pravdivost obecných sdělení (výroků), a poté vytvářet pomocí výrokových spojek složitější tvrzení. I u složitějších tvrzení se naučíme posuzovat pravdivost, právě na základě složek, ze kterých jsou tvořena, což je hlavně konjunkce, disjunkce, implikac (základní stavební kámen abstraktních tvrzení) a ekvivalence. Zároveň se seznámíme s techničtějším a obecnějším zápisem matematických myšlenek a vše zakončíme velmi důležitým nástrojem – důkazem. Důkaz matematickou indukcí naleznete v kategorii "Posloupnosti a nekonečné řady".
Vaše úspěšnost
0 Nesplněno
0 Splněno
48 Neprovedeno
Úvod, výroky a jejich negace
Odhadovaná doba studia: 2 h 28 minut
-%
Výrokové spojky
Odhadovaná doba studia: 2 h 33 minut
-%
Negace výrokových spojek
Odhadovaná doba studia: 1 h 37 minut
-%
Výrokové formule a jejich negace
Odhadovaná doba studia: 1 h 39 minut
-%
Kvantifikátory a jejich negace
Odhadovaná doba studia: 1 h 49 minut
-%
Důkazy
Odhadovaná doba studia: 1 h 13 minut
-%