nastavit jako výchozí stránku
   
   kultura

Pražský výběr
 Česká hudební skupina vzniklá roku 1976 jako odnož Pražského Big Bandu. První období čistého jazz...

Geislerová
 [Gaislerová], Anna (Aňa), *17.4.1976 (Praha, Česká republika), česká filmová a televizní...

Delon
 Alain, *8.11.1935 (Sceaux u Paříže, Francie), francouzský filmový herec a příležitostný...

Ford
 John, *1.2.1893 (Cape Elizabeth, Maine, USA) – †31.8.1973 (Palm Desert, Kalifornie, USA...

Tučný
 Michal, *11.1.1947 (Praha) – †10.3.1995, český zpěvák a hudebník. Vyučil se prodavačem...


axiomatizovatelnost
[Řečtina], vlastnost teorie (množiny vět) spočívající v tom, že existuje taková její podmnožina A, která spolu se svými důsledky tvoří původní množinu vět (teorii). Je-li množina axiómů A konečná, teorie je konečně axiomatizovatelná. Splňuje-li axiomatizovatelná teorie podmínku úplnosti a bezespornosti, pak je rozhodnutelná, to jest pro každou její větu (negaci věty) existuje důkaz.


 
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 - 2017, OPTIMUS s.r.o.