nastavit jako výchozí stránku
   
   kultura

Bobek
 Pavel, *16.9.1937 (Praha) – †20.11.2013 (Praha), český zpěvák. Po gymnáziu absolvoval fakultu...

Němec
 Jan, *12.7.1936 (Praha, Československo), český filmový režisér, scenárista, pedagog a ...

Malkovich
 [Malkovič], John, *9.12.1953 (Benton, Illinois, USA), americký filmový a divadelní herec...

Campbell
 Martin, *24.10.1940 (Nový Zéland), americký filmový a televizní režisér, kameraman a ...

Kazan
 [Kezán], Elia, *7.9.1909 (Cařihrad, Osmanská říše, dnešní Istanbul, Turecko) – †28.9.2003 (New...


teorém
[Řečtina], logikamatematika tvrzení dokázané v dané axiomatické soustavě aplikací pravidel odvozování na axiómy dané soustavy.


 

Odkazující hesla: axióm, axiomatizace, Gödelův teorém o úplnosti, teorém Churchův
Vytvořeno: 14.3.2000
Aktualizováno: 25.5.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2019, OPTIMUS s.r.o.