nastavit jako výchozí stránku
   
   kultura

Moskalyk
 Antonín, *11.11.1930 (Chust, Podkarpatská Rus, dnešní Ukrajina) – †27.1.2006 (Brno), významný...

Těžkej pokondr
 České pěvecké duo tvořené od roku 1995 moderátory rádia Evropa 2 Romanem Ondráčkem (*26.7.1966...

Daněk
 Stanislav "Wabi", *30.1.1947 (Zlín), český folkový písničkář. V roce 1965 se vyučil zámečníkem...

Smith
 Wilbur, *9.1.1933, anglický spisovatel. Narodil se ve střední Africe, studoval na rhodéské...

Portman
 Natalie,*9.6.1981 (Jeruzalém, Izrael), vlastním jménem Natalie Hershlag, americká filmová herečka...


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.