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

💾 Скачать книгу

В эпоху цифровых схем и embedded-систем иногда полезно вернуться к истокам. Книга Ивана Яковлевича Депмана (1885–1970), вышедшая в 1965 году, — попытка популярно объяснить, что такое математическая логика и на чём, собственно, работают компьютеры.
Книга небольшая — всего 57 страниц . Структура классическая для просветительской литературы тех лет:

— Глава 1: краткий экскурс в историю — от Аристотеля через Лейбница и Буля к Гёделю.
— Глава 2: освежение в памяти базовых законов арифметики и плавный переход к булевой алгебре — действиям с истиной и ложью .
— Далее: разбор логических задач и принципов решения уравнений с помощью формальных методов.

#математика #алгебра #логика #подборка_книг #наука #science #матлогика #math

💡 Physics.Math.Code // @physics_lib