Вот неудобная правда, которую никто не хочет озвучивать на днях открытых дверей престижных московских вузов. Выпускник какого-нибудь Томского политеха с горящими глазами и портфолио на GitHub часто обходит физтеха с красным дипломом на собеседовании в Яндекс или VK. И дело тут не в везении или связях папы. Российское IT-образование переживает странный кризис идентичности. С одной стороны, у нас есть МФТИ с проходным баллом под 300 и зарплатными ожиданиями выпускников в 330 тысяч рублей. С другой...

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