Депман И.Я. Первое знакомство с математической логикой

2-е изд., испр. — Л.: Знание. Ленинградская организация, 1965. — 59 с. Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины. Они в миллион раз быстрее их создателя и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее составная часть— алгебра логики, —имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием для развития кибернетики — «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг».
Из истории математической логики.
Знакомство с математической логикой.
Начальные идеи алгебры логики.
Правила обычной алгебры.
Алгебра высказываний.
Некоторые особенности алгебры высказываний.
Физическое истолкование сложения и умножения в алгебре логики.
Решение логических уравнений.
Напоминание начинающему.
Примечания к решению задач и ответы к упражнениям.
Второй способ решения задачи.
Машина или «наука лентяев»?