Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов
Чем может быть полезна математическая логика в повседневной жизни?
При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...
Математическая логика: тест, с которым справится ТОЛЬКО технарь
Точные науки требуют знания сложных формул и законов. Сегодня я подобрала семь вопросов для людей с отменной математической логикой. Пройдите его и определите свои способности к точным наукам. Приготовьте листочек и ручку, задачки потребуют расчётов...