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.
Rozhodovačka
Rýchle precvičovanie výberom z dvoch možností.
Logika: pojmy a značenie (stredné) • EZT
Typicky zaberie: 3 min.
Logické výroky (stredné) • FRH
Typicky zaberie: 6 min.
Morská logika (ľahké) • FS4
Typicky zaberie: 4 min.
Morská logika (stredné) • FS9
Typicky zaberie: 6 min.
Vyhodnocovanie logických výrazov (stredné) • FE9
Typicky zaberie: 5 min.
Vyhodnocovanie logických výrazov (ťažké) • FFA
Typicky zaberie: 6 min.
Úpravy logických výrazov (ťažké) • EZU
Typicky zaberie: 5 min.
Kvantifikátory (stredné) • FRB
Typicky zaberie: 6 min.
Kvantifikátory (ťažké) • FFP
Typicky zaberie: 5 min.
Logika: mix (stredné) • FFJ
Typicky zaberie: 7 min.
Logika: mix (ťažké) • FFK
Typicky zaberie: 5 min.
Pexeso
Hľadanie dvojíc, ktoré k sebe patria.
Logika: pojmy a značenie (stredné) • FE7
Typicky zaberie: 3 min.
Krok za krokom
Doplňovanie jednotlivých krokov v rozsiahlejšom postupe.
Úpravy logických výrazov (ťažké) • FSG
Typicky zaberie: 5 min.
Porozumenie
Čítanie textov, odpovedanie na otázky testujúce porozumenie textu.
