nastavit jako výchozí stránku
   
   kultura

Bacily
 Česká hudební skupina, založená roku 1971 především jako doprovodná skupina Václava Neckáře. Vůdčími...

Javory
 Česká hudební skupina založená roku 1974 sourozenci Ulrychovými po jejich odklonu od rockového...

Farrell
 Colin, *31.3.1976 (Dublin, Irsko), irský filmový herec. Původně se chtěl stát profesionálním...

Vondráčková
 Lucie, *8.3.1980 (Praha), česká herečka a zpěvačka. V mládí navštěvovala základní...

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


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