Оставим за скобками споры о том, нужно ли программисту знать математику (по секрету - еще как нужно) и расскажем о том, что учить и главное где учить. Данная статья ориентирована, в первую очередь, на практикующих программистов, но совершенно точно не будет лишней и всем тем, кто только собирается изучать программирование. Почему математика программисту абсолютно необходима? Это ваш базис, на котором будет строиться цепь алгоритмов, которые являются основой любой программы, которую программист описывает...

Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...