Hľadanie vzdelávacích videí

vzdelavacie video

Na jednoduchých príkladoch si priblížime pojmy parametrizovaný výrok (predikát), existenčný a všeobecný kvantifikátor a negácia kvantifikovaných výrokov. V druhej časti videa sa budeme venovať výrokom, ktoré hovoria o počte (obsahujú slová ako aspoň, najviac, práve).

vzdelavacie video

Naučíme sa ako môžeme skladať jednoduché výroky do zložitejších pomocou logických operátorov.

vzdelavacie video

Poďme si vyskúšať zložiť hneď niekoľko výrokov a pospájať ich logickými operátormi.

vzdelavacie video

Vedeli ste o tom, že výroky môžeme kvantifikovať a vďaka tomu s nimi jednoduchšie pracovať?