- Logika
- Logické výroky
- Logika: pojmy
- Vyhodnocovanie logických výrazov
- Úpravy logických výrazov
- Kvantifikátory
Filter podľa ročníka
Cvičenie
Logika skúma spôsoby, ako vyvodzujeme závery z predpokladov. Logika pôvodne vznikla ako súčasť filozofie, neskôr sa výrazne rozvinula v matematike. Dnes má dôležité uplatnenie i v informatike.
Základ matematického poňatia logiky je výroková logika, v ktorej pracujeme s výrokmi (tvrdeniami, ktoré sú buď pravdivé, alebo nepravdivé) a logickými spojkami (a zároveň, alebo, negácia). Rozšírením výrokovej logiky je predikátová logika, v ktorej naviac používame kvantifikátory (existuje, pre každý).
Prehľad tém o logike dostupných na Vieme matiku:
téma obsah Logické výroky slovný zápis logických výrokov Logika: pojmy a značenie zápis výrokov pomocou logických spojok \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow Vyhodnocovanie logických výrazov vyhodnocovanie pravdivosti logických výrazov zapísaných pomocou logických operácií Úpravy logických výrazov úprava a zjednodušenie logického výrazu podľa pravidiel práce s logickými operáciami Kvantifikátory obohatenie logických výrazov o existenčný a všeobecný kvantifikátor \exists, \forall Dôkazy exaktné matematické postupy, ako overiť platnosť logických výrokov V rámci systémov Vieme nájdete logiku tiež na informatike: logika na Vieme informatiku. Tam je dôraz kladený na logické spojky používané pri programovaní a na riešenie logických úloh.
Rozhodovačka
Rýchle precvičovanie výberom z dvoch možností.
NAPÍŠTE NÁMĎakujeme za vašu správu, bola úspešne odoslaná.
Napíšte nám
Neviete si rady?
Najprv sa, prosím, pozrite na časté otázky:
Čoho sa správa týka?
Odkaz Obsah Ovládanie Prihlásenie LicenciaTu nám môžete napísať odkaz či popísať dojmy, ako sa vám systém používa. Ak máte nejakú zásadnejšiu správu, zvoľte, prosím, jednu z ďalších kategórií.
Ak hlásite chybu, upresnite, prosím, v čom presne spočíva. Ak máte návrh na rozšírenie obsahu, uvítame, keď popíšete konkrétnu ukážku. Nezasielajte, prosím, otázky na prezradenie riešení úloh alebo na vysvetlenie postupu.
Skôr než položíte otázku, skontrolujte časté otázky.
Pred položením otázky si, prosím, prejdite časté otázky k prihláseniu.
- Vyhodnocovanie logických výrazov