Музей |
Вехи ![]() |
Великие ![]() |
Счетные ![]() |
Открыть все темы Персоны, термины и понятия Поиск в музее |
ПЕРСОНЫ, ТЕРМИНЫ И ПОНЯТИЯ. «Логика»
Тьюринг Алан Матисон
Раздел:
ВЕЛИКИЕ ТВОРЦЫ. Новейшая история. 30 годы |
Шредер Эрнст ШРЕДЕР Эрнст (1841-1902), немецкий математик и логик; основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.
Раздел:
ВЕЛИКИЕ ТВОРЦЫ. Новейшая история. XIX век |
Буль Джордж
Раздел:
ВЕЛИКИЕ ТВОРЦЫ. Новейшая история. XIX век |
Луллий Раймунд ЛУЛЛИЙ (латинизир. Lullius) Раймунд (ок. 1235 — ок. 1315), философ и теолог; основоположник и классик каталанской литературы, поэт-лирик. Францисканец, миссионер, проповедовал в Сев. Африке. Ок. 300 сочинений, главным образом на каталанском и арабском языках. В сочинении “Великое искусство” высказал идею логической машины и сделал попытку ее реализации.
Раздел:
ВЕЛИКИЕ ТВОРЦЫ. Средние века |
1938-1939 год
Раздел:
ВЕХИ ИСТОРИИ. Новейшая история. 30 годы |
1876-1877 год
Раздел:
ВЕХИ ИСТОРИИ. Новейшая история. XIX век |
Главная | О проекте | Музеи мира | Библиография
©2001-2023 ANT-Soft