nastavit jako výchozí stránku
   
   kultura

Mailer
 [Mejlr], Norman Kingsley, *31.1.1923 (Long Branch, New Jersey, USA) – †10.11.2007 (New York...

Baránek
 Tomáš, *1972, český básník, spisovatel a textař, publicista a grafik. Absolvoval...

Altman
 [Óltmen], Robert, *20.2.1925 (Kansas City, Missouri, USA) – †20.11.2006 (Los Angeles...

Gahan
 Dave, *9.5.1962 (Epping), britský zpěvák, člen skupiny Depeche Mode. V době svého bouřlivého...

Nolan
 Christopher, *30.7.1970 (Londýn, Velká Británie), vlastním jménem Christopher Johnathan James Nolan...


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