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

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