Учебная программа по дисциплине Математическая логика и теория алгоритмов

Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с. Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса: - заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических теориях и вопросах обоснования математики; - научить применению логики предикатов для записи математических предложений и их преобразования; - получить знания об основах логики высказываний, логики предикатов, нечеткой логики и теории алгоритмов; - употреблять специальную математическую символику для выражения количественных и качественных отношений между объектами; - знать основные методы и алгоритмы математической логики, связанные с моделированием и оптимизацией систем различной природы.