СУЭБ ИВТ СО РАН

А.М.Федотов

Словарные статьи в коллекции: (public_cat = Thesaurus of Information Technology: Dictionary Articles )

Логическая машина Чарльза Стэнхоупа

Kруговой демонстратор, созданный в конце XVIII века

Стэнхоуп работал над своими логическими машинами около 30 лет, создав несколько версий. Самыми удачными логическими устройствами, так называемые демонстранты оказались два круговой и прямоугольный демонстраторы, которые могут делать правильные выводы из логических утверждений..

Демонстратор Стэнхоупа представляет собой устройство в состоянии механически решать как традиционные силлогизмы и численные силлогизмы, так и элементарные проблемы теории вероятности. На фотографии изображен круговой демонстратор, созданный в конце XVIII века.

Квадратный демонстратор, как и круглый, можно применять для решения силлогизмов с числовыми квантификаторами (Стенхоуп снова указывает: “Добавь ho к los и отними holos”). Таким образом, демонстратор успешно решает силлогизмы и при использовании квантификаторов “более половины”, “менее половины”, “все”, “некоторые”, и при числовом квантифицировании терминов.

Ключевые термины, связанные с термином : "Логическая машина Чарльза Стэнхоупа":

1. Логическая машина [ru]

Ссылка на персон:

1. Стэнхоуп Чарльз

Контекстный поиск: Задайте образец для поиска:
    

© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М.

ФИТ НГУ       НГУ ЕНУ им.Гумилева ИВТ СО РАН