Logika a řešení problémů – 5. třída

MW4
Zkopírovat kód tématu
Zkopírovat krátkou adresu (umime.to/MW4)
Ukázat QR kód

umime.to/MW4


Stáhnout QR kód
Všechny souhrny

Logika se zabývá vyvozováním platných závěrů z daných předpokladů. Logika se používá v důkazech (tzv. matematická logika), ale i v běžném uvažování, kdy z dostupných informací odvozujeme další závěry (tzv. logické myšlení). V se zaměřujeme na rozvoj logického myšlení a využití logiky v informatice. Procvičování zde dělíme do tří témat:

  • Logické výroky slovy – určování pravdivosti, vytváření slovně zapsaných výroků (bez formálního značení)
  • Logické výrazy – zápis a vyhodnocování výrazů s logickými spojkami používanými v informatice (not, and, or, xor, ⇒, ⇔)
  • Logické úlohy – využití logických úvah na řešení různorodých problémů (např. logické úlohy podobné sudoku, kde je potřeba splnit současně řadu podmínek)

Matematickou logiku si můžete procvičit v rámci předmětu Matematika. Kombinaci logického a algoritmického myšlení si můžete procvičit v rámci tématu Podmíněné příkazy. Logické úvahy v kombinaci s obecnými tabulkami můžete procvičit ve cvičení Logické úvahy o tabulkách v rámci tématu Tabulky: základní porozumění.

Využití logiky

Logika má v informatice široké uplatnění. Zde je několik příkladů:

  • programování (podmíněné příkazy)
  • výběr záznamů z databáze, které splňují určitou podmínku
  • operace v grafických editorech (např. sjednocení a průnik dvou tvarů)
  • dokazování (např. korektnost programu)
  • návrh digitálních obvodů
  • v umělé inteligenci jako jedna z metod pro dosažení inteligentního chování
  • řešení logických úloh (např. sudoku)
  • práce s informacemi (např. rozpoznání chybné argumentace)

Rozhodovačka

Rychlé procvičování výběrem ze dvou možností.


Logika a řešení problémů
Logické výroky slovy
Určování pravdivosti  
Zobrazit souhrn tématu
Ovoce a zelenina: určování pravdivosti
Bájná logika: určování pravdivosti
Příšerky: určování pravdivosti
Implikace a ekvivalence  
Zobrazit souhrn tématu
Příšerky: implikace a ekvivalence
Ovoce a zelenina: implikace a ekvivalence
Bájná logika: implikace a ekvivalence
Negace tvrzení  
Zobrazit souhrn tématu
Logické důsledky  
Zobrazit souhrn tématu
Příšerky: vyvozování z implikace a ekvivalence


Přesouvání

Přesouvání kartiček na správné místo. Jednoduché ovládání, zajímavé a neotřelé úlohy.


Logika a řešení problémů
Logické úlohy
Splňování podmínek  
Zobrazit souhrn tématu
Zasedací pořádek
Bedny s poklady
Padací piškvorky: pohled shora
Einsteinovy hádanky
Obrázkové rovnice s podmínkami
Deduktivní úlohy  
Zobrazit souhrn tématu
Hlavy robotů
Bludiště a hledání cest  
Zobrazit souhrn tématu


Krok po kroku

Doplňování jednotlivých kroků v rozsáhlejším postupu.


Logika a řešení problémů
Logické výroky slovy
Implikace a ekvivalence  
Zobrazit souhrn tématu
Přemýšlení o implikaci a ekvivalenci
Příšerky: implikace a ekvivalence
Ovoce a zelenina: implikace a ekvivalence
Negace tvrzení  
Zobrazit souhrn tématu
Logické důsledky  
Zobrazit souhrn tématu
Logické výrazy
Vyhodnocování logických výrazů  
Zobrazit souhrn tématu
Úpravy logických výrazů  
Zobrazit souhrn tématu


Kulička

Proveďte kuličku bludištěm. Ale pozor, kulička se zastaví jen o stěnu.


Kulička a poklad

Více pokladů

Teleport

Spolupracující kuličky

Velká a malá

Bludiště s bednami

Nepřátelská koule

Více pokladů: střední

Kulička a poklad: těžké

Více pokladů: těžké

Více pokladů: výzva



NAPIŠTE NÁM

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Před položením dotazu si prosím projděte návody:

Prosíme, nezasílejte dotazy na prozrazení řešení úloh či vysvětlení postupu. Pokud hlásíte chybu, upřesněte prosím, v čem přesně spočívá a připojte snímek obrazovky.

Čeho se zpráva týká?

Vzkaz Hlášení chyby Obsah Ovládání Přihlášení Licence