výuka

Petr Olmer, MFF UK

22.02.2007

1. cvičení (19. a 23. února 2007)

> Cvičení z logiky
Úvod do výrokové logiky.

Úvod do předmětu. Příklad existenčního důkazu bez možnosti nalezení svědka.

Výroková logika. Jazyk, slova, formule, podformule. Logické spojky, jejich význam.

Formule. Ohodnocení, splnitelnost, pravdivost.

Tabulka pravdivostních hodnot.

Teorie. Modely.

Převod odvozených logických spojek na základní.

Ekvivalence formulí.

příklady

Petr Olmer, 22.02.2007, 21:02:00, trvalý odkaz,

Komentáře (1)

[1] P~O 25.02.2007, 20:50:04
K čemu se vrátit příště: tabulka pravdivostních hodnot - nevýhody, algoritmizace, teorie a modely.
Přidání komentáře