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