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

Теория алгоритмов – это раздел современной прикладной математики Умение выделять алгоритмическую суть явлений и строить алгоритмы – очень важно для человека любой профессии. Понятие алгоритма ценно не только практическим использованием, оно имеет также важное общеобразовательное и мировоззренческое значение. Навыки алгоритмического мышления способствуют формированию особого стиля культуры человека, составляющими которого являются: целеустремленность и сосредоточенность, объективность и точность,...