При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...

Делая генератор заданий по математике, столкнулся с забавным фактом - в школьной программе есть «упрощение выражений». Есть задачи на это упрощение. Есть даже какой-то невнятный текст о том, что такое упрощение выражений. Но вот измерения «сложности» выражения или другого формального способа определить, что «вот эта вот форма выражения проще вот этой формы» – в учебниках нет. Итак, давайте разбираться. Да, есть очевидные варианты, когда из двух форм выражения можно однозначно указать более простую...