Курсовая работа: Логические машины

Содержание

Введение..........................................................................................................3

1.Нормативные ссылки...................................................................................4

2.Термины и определения...............................................................................5

3.Сокращения..................................................................................................6

4.История развития и анализ логических машин..........................................7

4.1 Зарождение идей:"Ars Magna" Раймунда Луллия................................9

4.2 Механическое логические устройства XIX века..................................10

4.3 Логическое фортепиано Уильяма Джевонса........................................12

4.4 Машина Аллана Маркванда и электрические системы.......................14

4.5 Переход от механики к электронно-вычислительным машинам........15

4.6 Аналоговые логические машины..........................................................18

4.7 Применение современных логических машин.....................................25

4.8 Будущее автоматизации логики: Квантовые и ИИ-системы...............28

Заключение......................................................................................................30

Список использованных источников.............................................................31

Введение

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

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

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