nastavit jako výchozí stránku
   
   kultura

Issa
 Sámer, *7.8.1985, český zpěvák. Dětství prožil v syrském Damašku, odkud pochází jeho otec...

Sequens
 Jiří, *23.4.1922 (Brno) – †21.1.2008 (Praha), český filmový a televizní režisér a ...

Bale
 Christian Morgan, *30.1.1974 (Pembrokeshire, Wales, Velká Británie), britský filmový herec. Svou...

Halík
 Tomáš, *1.6.1948, český katolický kněz, teolog, sociolog, vysokoškolský učitel a spisovatel...

Rossellini
 Isabella, *18.6.1952 (Řím, Itálie), v USA žijící italská filmová herečka a modelka. Je...


Curry
[Kary], Haskell Brooks, *12.9.1900 – †1.9.1982, americký logik a matematik, profesor univerzity v Pensylvánii, spolutvůrce kombinatorické logiky, stoupenec formalistické filozofie matematiky. Zabýval se též rozpracováním teorií deduktivního závěru i otázkami algebraické interpretace logiky. Hlavní dílo: Combinatory Logic (Kombinatorická logika).


 

Odkazující hesla: kombinatorická logika, modální logika
Vytvořeno: 14.3.2000
Aktualizováno: 17.7.2008
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 - 2018, OPTIMUS s.r.o.