Искусство доказательства в математике
Дэниел Веллеман, 2021 год

Практическое руководство по логике первого порядка (FOL), объясняющее её фундаментальные основы, синтаксис, семантику и ключевое применение в информатике и искусственном интеллекте.

Книга посвящена ключевым понятиям теории графов — точкам сочленения и мостам, их алгоритмам поиска и практическому применению для анализа уязвимостей сетей.

Антология, представляющая идеи 50 ключевых современных теоретиков и практиков образования, от классических работ Пиаже до актуальных концепций XXI века.

Фундаментальный учебник, систематически излагающий основные понятия и методы комплексного анализа, от основ до теории вычетов и конформных отображений, с практическими примерами и задачами.

Фундаментальный учебник, систематизирующий знания о строении атомного ядра, ядерных реакциях и практическом применении ядерных технологий в различных отраслях.

Классическое углубленное пособие по молекулярно-кинетической теории и тепловым явлениям из знаменитой физико-математической серии, сочетающее строгую теорию с практическими задачами.

Фундаментальное руководство по основам математического мышления, обучающее понимать, оценивать и конструировать строгие доказательства.

Хрестоматийный обзор жизни, идей и влияния 50 величайших философов, реформаторов и педагогов, определивших развитие мировой образовательной мысли от древности до начала XX века.

Практическое руководство по решению задач-оценок и построению простых моделей для анализа физических систем, развивающее физическую интуицию и количественное мышление.

Фундаментальное введение в ключевые проблемы, концепции и историю философии науки, объясняющее природу и развитие научного знания.