Stránky, které odkazují na Alonzo Church
Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Alonzo Church.
Zobrazeno 22 položek.
- 14. červen (← odkazy | editovat)
- 11. srpen (← odkazy | editovat)
- 1995 (← odkazy | editovat)
- Programovací jazyk (← odkazy | editovat)
- Algoritmus (← odkazy | editovat)
- Logika (← odkazy | editovat)
- 1903 (← odkazy | editovat)
- Alan Turing (← odkazy | editovat)
- Funkcionální programování (← odkazy | editovat)
- Lambda kalkul (← odkazy | editovat)
- Churchova–Turingova teze (← odkazy | editovat)
- Seznam filozofů (← odkazy | editovat)
- Princetonská univerzita (← odkazy | editovat)
- Gödel, Escher, Bach (← odkazy | editovat)
- Entscheidungsproblem (← odkazy | editovat)
- Logika vyššího řádu (← odkazy | editovat)
- Dějiny informatiky (← odkazy | editovat)
- Haskell Brooks Curry (← odkazy | editovat)
- Stephen Cole Kleene (← odkazy | editovat)
- John George Kemeny (← odkazy | editovat)
- Church (← odkazy | editovat)
- Otakar Zich (logik) (← odkazy | editovat)