- LogikaVšechny souhrny k tomuto tématu
- Logické výroky
- Logika: pojmy a značení
- Vyhodnocování logických výrazů
- Úpravy logických výrazů
- Kvantifikátory
- Důkazy
- Logika: mix
Filtr podle ročníku
Logika zkoumá způsoby, jak vyvozujeme závěry z předpokladů. Logika původně vznikla jako součást filosofie, později se výrazně rozvinula v matematice. Dnes má důležité uplatnění i v informatice.
Základ matematického pojetí logiky je výroková logika, ve které pracujeme s výroky (tvrzení, která jsou buď pravdivá, nebo nepravdivá) a logickými spojkami (a zároveň, nebo, negace). Rozšířením výrokové logiky je predikátová logika, ve které navíc používáme kvantifikátory (existuje, pro každý).
Přehled témat o logice dostupných na Umíme matiku:
téma obsah Logické výroky slovní zápis logických výroků Logika: pojmy a značení zápis výroků pomocí logických spojek \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow Vyhodnocování logických výrazů vyhodnocování pravdivosti logických výrazů zapsaných pomocí logických operací Úpravy logických výrazů úprava a zjednodušení logického výrazu podle pravidel práce s logickými operacemi Kvantifikátory obohacení logických výrazů o existenční a obecný kvantifikátor \exists, \forall Důkazy exaktní matematické postupy, jak ověřit platnost logických výroků V rámci systémů Umíme najdete logiku také na informatice: logika na Umíme informatiku. Tam je důraz kladen na logické spojky používané při programování a na řešení logických úloh.
Rozhodovačka
Rychlé procvičování výběrem ze dvou možností.
LogikaLogické výrokystředníLogické výroky (střední)
zadání: 30
Typicky zabere: 7 min
Mořská logikalehkéMořská logika (lehké)
zadání: 30
Typicky zabere: 4 min
středníMořská logika (střední)
zadání: 33
Typicky zabere: 5 min
středníLogika: pojmy a značení (střední)
zadání: 30
Typicky zabere: 4 min
středníVyhodnocování logických výrazů (střední)
zadání: 41
Typicky zabere: 5 min
těžkéVyhodnocování logických výrazů (těžké)
zadání: 52
Typicky zabere: 7 min
těžkéÚpravy logických výrazů (těžké)
zadání: 35
Typicky zabere: 10 min
středníKvantifikátory (střední)
zadání: 30
Typicky zabere: 4 min
těžkéKvantifikátory (těžké)
zadání: 34
Typicky zabere: 9 min
Logika: mixstředníLogika: mix (střední)
zadání: 101
Typicky zabere: 5 min
těžkéLogika: mix (těžké)
zadání: 121
Typicky zabere: 10 min
Pexeso
Hledání dvojic, které k sobě patří.
LogikastředníLogika: pojmy a značení (střední)
zadání: 4
Typicky zabere: 3 min
Krok po kroku
Doplňování jednotlivých kroků v rozsáhlejším postupu.
LogikatěžkéÚpravy logických výrazů (těžké)
zadání: 10
Typicky zabere: 10 min
Porozumění
Čtení textů, odpovídání na otázky testující porozumění textu.
Obrázkové důkazy
Obrázek sice není plnohodnotným důkazem, ale často dokáže velmi výstižně ilustrovat základní myšlenku matematických tvrzení.
Matematická indukce
Zda nabízíme vypracované důkazy matematickou indukcí. Ke každému pak následuje několik otázek kontrolujících porozumění důkazu.
NAPIŠTE NÁMDěkujeme za vaši zprávu, byla úspěšně odeslána.
Napište nám
Nevíte si rady?
Nejprve se prosím podívejte na časté dotazy:
Čeho se zpráva týká?
Vzkaz Obsah Ovládání Přihlášení LicenceZde nám můžete napsat vzkaz či popsat dojmy, jak se vám systém používá. Pokud máte nějakou zásadnější zprávu, zvolte prosím jednu z dalších kategorií.
Pokud hlásíte chybu, upřesněte prosím, v čem přesně spočívá. Pokud máte námět na rozšíření obsahu, uvítáme, když popíšete konkrétní ukázku. Nezasílejte prosím dotazy na prozrazení řešení úloh či na vysvětlení postupu.
Před položením dotazu prosím zkontrolujte časté dotazy.
Před položením dotazu si prosím projděte časté dotazy k přihlášení.
- Vyhodnocování logických výrazů