Логические счеты

редактировать

A логические счеты - это механический цифровой компьютер.

Джевон s 'Logic Piano в Sydney Powerhouse Museum в 2006 г.

Также называемые «логической машиной», логические счеты аналогичны обычным (математическим) счетам. Он основан на принципе таблиц истинности.

. Он построен так, чтобы показать все возможные комбинации набора логических терминов с их отрицательными значениями, а также то, каким образом на эти комбинации влияет добавление атрибуты или другие ограничивающие слова, т. е. для механического упрощения решения логических задач. Все эти инструменты представляют собой более или менее сложные разработки «логической доски», на которой в вертикальных столбцах были записаны все комбинации символов или букв, которые можно было бы логически составить из определенного числа терминов. Их сравнивали с любыми заданными предпосылками, а несовместимые вычеркивали. На счетах каждая комбинация начертана на листе дерева или подобном материале, который перемещается с помощью ключа; Таким образом, несовместимые комбинации могут быть механически удалены по желанию в соответствии с любой данной серией помещений.

Основными примерами таких машин являются машины Уильяма Стэнли Джевонса (логическое фортепиано), Джона Венна и Аллана Маркуанда.

Ссылки

. Эта статья включает текст из публикации, которая сейчас находится в общественном достоянии : Чисхолм, Хью, изд. (1911). «Abacus ». Британская энциклопедия. 1(11-е изд.). Издательство Кембриджского университета. Стр. 5–6.

Последняя правка сделана 2021-05-28 05:33:03
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте