Weby NPINPIMojeEduEduRevueRevize RVPProhlédnout RVPZapojme všechnyVedeme školu
npi
npi
  • Celá nabídka
  • Přihlásit se
  • Domovská stránka
  • Prohlédnout celou nabídku

  • Přihlásit se

MojeEdu

  • Domovská stránka
  • Celá nabídka
  • Pomoc k RVP PV
  • Pomoc k RVP ZV
  • Pomoc k RVP ZŠS
  • Nabídka IPS Kurikulum
  • Metodické kabinety
  • Jak na plynulý přechod z MŠ do ZŠ?
  • Spomocník
  • Záznamy webinářů
  • Proč MojeEdu?
  • Co je MojeEdu?
  • Jak používat MojeEdu?
  • Export produktů (JSON)
  • Export produktů (CSV)

Weby NPI

  • NPI
  • Revize RVP
  • Prohlédnout RVP
  • Digitalizace ve vzdělávání
  • Zapojme všechny
  • Vedeme školu

Kontakt

Konzultační centrummojeedu@npi.czSenovážné náměstí 25,
110 00 Praha 1

Sociální sítě


EU logo

  • Prohlášení o přístupnosti
  • Newsletter

NPI ČR © 2026

Přihlásit se
Přihlásit se

Celá nabídka

Výpis zahrnuje i archiv rvp.cz (materiály a články publikované před rokem 2021). Zobrazit jen aktuální nabídku

Všechna témata›RVP›RVP (do 2024)›gymnázium›Matematika a její aplikace›Matematika a její aplikace›Argumentace a ověřování›užívá správně logické spojky a kvantifikátory
Nalezeno 2 výsledky
Cvičení z výrokové logiky
Materiál do výuky

Cvičení z výrokové logiky

Výroková logika používá výpočetní algoritmy, které se žák musí nadrilovat stejně jako násobení a dělení na ZŠ. Je to mechanický algoritmus. K tomu potřebuje umět převést normální řeč na znaky výrokové

Jeroným Klimeš

Symbolický jazyk výrokové logiky
Odborný článek

Symbolický jazyk výrokové logiky

Přepis citátů pomocí symbolického jazyka výrokové logiky

RNDr. Eva Zelendová

Archivní obsah