Новосибирский государственный университет

Факультет информационных технологий

Современные проблемы информатики и вычислительной техники

ICT SBRAS
А.М.Федотов

Словарь терминов в коллекции "Современные проблемы информатики"

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

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

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

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

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

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

Литература

Дополнительная:

  1. Шилов В.В. История логических машин // Журнал "Информационные технологии" №6, 2004

Факультативная:

  1. Вычислительные машины Чарльза Стэнхоупа

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

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

Ключевые термины (головные):  логическая машина;


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

|Головная| |Преподавание| | Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотов Анатолий Михайлович
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 1998-2019, Новосибирский государственный университет, Новосибирск
© 1998-2019, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2019, Федотов А.М.
    Дата последней модификации: 30.10.2013