Slovenčina
Angličtina
Informatika
Vieme to
Nemčina
Biológia
Zemepis
Chémia
Rozhodovačka
Pexeso
Krok po kroku
Počítanie
Grafár
Porozumenie
Presúvanie
Mriežkovaná
Rozdeľovačka
Pokazená kalkulačka
Roboti
Strieľačka
Príšerky
Preteky
Územia
Tipovačka
Tímovka
Diskrétna matematika
- Logika
- Logika: pojmy
- Vyhodnocovanie logických výrazov
- Úpravy logických výrazov
- Kvantifikátory
Filter podľa ročníka
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.
Vysvetlenie mi pomohlo
Vysvetlenie mi nepomohlo
Pre túto tému zatiaľ nie je dostupné žiadne precvičovanie.
Ďakujeme za vašu správu, bola úspešne odoslaná.
Napíšte nám
- Vyhodnocovanie logických výrazov