Математика | ||||
Первое знакомствао с мтематической ЛОГИКОЙ-И.Я.Депман Ленинград 1963 стр.55 | ||||
Первое знакомствао с мтематической ЛОГИКОЙ-И.Я.Депман Ленинград 1963 стр.55
СОДЕРЖАНИЕ Из истории математической логики ......... 4 Знакомство с математической логикой ...... 12 Начальные идеи алгебры логики ......... 14 Правила обычной алгебры . ... . . . ~г . — Алгебра высказываний * .......... 15 Некоторые особенности алгебры высказываний ... Ш физическое истолкование сложения и умножения в алгеб- , ре логики * ........... • . 22 Решение логических уравнений ........ 2Т Напоминание . .начииавдцему . ........ " —- Примечания к решению |адач ;и ответы к упражнениям . - . 49 Второй способ решения задачи ......... — Машина или наука лентяев? ......... ( 53 Математическая логика — эти сдова всё чаще можно .услышать в разговорной речи, увидеть в газетных и жур-. нальных статьях. Их употребляют «е только ученые, инженеры и техшики; но и машиностроители, и учителя. Человек издавна стремился к «созданию приборов- и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время чело* ' вечеетво имеет такие машины. Они в миллион раз быстрее, их создателя и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее составная часть — алгебра логики, — имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием-для развития кибернетики — «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг*.1 <. • • & великом документе современности — Программе КПСС записано, что в течение двадцатилетия будет осуществляться в массовом -масштабе комплексная авто* 1 Э, К о л ь м а н. Значение символической логики. Сб. «Логические исследования». Изд. Академии наук, М., 1959, стр. 15. Цена: 150руб. |
||||