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

Математическая логика — это фундамент, на котором построены все цифровые устройства . Книга Депмана — не справочник по проектированию схем и не учебник для подготовки к ЕГЭ. Это именно «знакомство»: она показывает происхождение и внутреннюю красоту формальных систем.
Однако подходить к ней стоит с пониманием контекста. Это не современный учебник, а скорее исторический документ эпохи, когда кибернетика в СССР только переставала быть «лженаукой» . Стиль изложения может показаться суховатым, но для тех, кто хочет понять, «откуда есть пошла» булева алгебра, книга представляет интерес.

Кому стоит взять:
▪️ Тем, кто интересуется историей науки и хочет почувствовать дух советского просветительства.
▪️Взрослым, готовым разбираться вместе с ребёнком в формальной логике .
От чего стоит воздержаться:
▪️Если вы ищете лёгкое и увлекательное введение в логику для современных школьников.
▪️Если вам нужен учебник, напрямую применимый в программе 7–9 классов по информатике .
Депман написал книгу «для тех, кто… повторно получает среднее образование с ребенком» . В этом её ценность — она требует работы, но даёт настоящее понимание.

Математическая логика — эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя. Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины. Они в миллион раз быстрее их создателя и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее составная часть— алгебра логики, —имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием для развития кибернетики — «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг». #математика #алгебра #логика #подборка_книг #наука #science #матлогика #math

💡 Physics.Math.Code // @physics_lib