Математическая логика и теория алгоритмов

Цели и задачи дисциплины

Цель дисциплины "Математическая логика и теория алгоритмов" – формирование у студентов представления о математической логики как универсальном языке науки, средстве моделирования явлений и процессов, а также применении для разработки вычислительной техники. Для достижения поставленной цели необходимо решить следующие задачи: - формирование научного мировоззрения, понимания широты и универсальности методов математической логики, умения применять эти методы в решении прикладных задач; - развитие творческого мышления, математической грамотности, способности критически анализировать собственные рассуждения и самостоятельно их корректировать; - воспитание математической культуры, которая предполагает четкое осознание необходимости и важности математической подготовки для специалиста в области компьютерной безопасности; - ознакомление с основными объектами математической логики, а также их приложениями для решения различных задач, требующих применения вычислительных средств; -выработка навыков обращения с дискретными конструкциями и умения строить математические модели объектов и процессов, с которыми имеет дело специалист в ходе своей профессиональной деятельности.

Краткое содержание дисциплины

В процессе освоения дисциплины студенты изучают: синтез логических схем, другие логики, предикаты и операции над ними, свойства операций квантификации, предикатные формулы, равносильность, нормальные формы, тождественноистинные формулы, аксиоматический способ в исчислении предикатов, теоремы о непротиворечивости и полноте системы аксиом в исчислении предикатов, понятие алгоритма, свойства алгоритмов.

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ПК-1 Способен проводить анализ предметной области и формулировать требования к разработке программного обеспечения для решения задач профессиональной деятельности, применять современные методы и средства проектирования программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений