Логические машины

Логические машины - механические, электромеханические или электронные устройства для полуавтоматического или автоматического выполнения операций логики. Логические машины применяются для анализа и упрощения формул некоторых разделов логики (в частности, для определения тех значений переменных в формулах логики высказываний, при которых эти формулы превращаются в истинные или в ложные высказывания), для получения выводов из посылок в рамках некоторых логических теорий и исчислений (алгебра логики, различные исчисления высказываний, силлогистика и др.), для доказательства теорем формализованных научных теорий и т.д.

Введение
1.История развития логических машин
1.1.Механический период
1.2.Аналоговые логические машины
1.3.Цифровые вычислительные машины
2.Применение современных логических машин
Список литературы