výuka

Petr Olmer, MFF UK

7.05.2007

11. cvičení (7. května 2007)

> Cvičení z logiky
Mohutnosti množin, modální logika, důkaz boží existence.
Mohutnosti přirozených, celých, racionálních a reálných čísel. Hypotéza kontinua.

Modální logika, operátory nutnosti a možnosti, jejich dualita. Sémantika možných světů.

 

Gödelův důkaz boží existence v modální logice.

 

důkaz

Petr Olmer, 7.05.2007, 9:00:00, trvalý odkaz,

Komentáře (0)

Přidání komentáře