výuka
Petr Olmer, MFF UK
20.02.2006
1. cvičení (20. února 2006)
Úvod do předmětu. Sémantika výrokové logiky.
Úvod do předmětu. Současná logika, její vztah k informatice. Příklad existenčního důkazu bez možnosti nalezení svědka.
Výroková logika. Jazyk, slova, formule, podformule. Logické spojky.
Formule, podformule, atomické formule. Ohodnocení, splnitelnost, pravdivost.
Tabulka pravdivostních hodnot, nevýhody, algoritmizace.
Teorie. Modely.
