nastavit jako výchozí stránku
   
   kultura

Pavlásková
 Irena, *28.1.1960 (Frýdek-Místek, Česká republika), česká filmová a televizní scenáristka...

Neřež
 Česká hudební skupina, kterou roku 1998 založili dva zakládající členové skupiny Nerez Vít Sázavsky...

Bergman
 Ingmar, *14.7.1918 (Uppsala, Švédsko) – †30.7.2007 (ostrov Farö, Švédsko), vlastním jménem...

DiCaprio
 [Dykaprio], Leonardo, *11.11.1974 (Los Angeles, Kalifornie, USA), vlastním jménem Leonardo Wilhelm...

Brown
 Dan, *22.6.1964 (Exeter, New Hempshire), americký spisovatel. Po studiích na Amherst College a ...


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.