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

Платформа

Описание

Целью освоения учебной дисциплины «Математическая логика» является формирование представлений о классической логике и ее применении в информатике.

Технологии в информатике меняются очень быстро. Инженер-программист должен осваивать новые информационные технологии каждые 2-5 лет. Однако при этом концептуальные, базисные теоретические основы информационных технологий остаются неизменными.

Математическая логика относится к теоретическому фундаменту, на котором основаны все существующие и будущие информационные технологии. С помощью логики выражаются семантика языков программирования, спецификация программ (что программа делать), выполняется верификация программ (проверяется, делает ли программа в точности то, что от нее ожидают).

Требования

Достаточно знания математики в объеме средней школы. В первом разделе излагается материал из курса «Дискретная математика», в объеме необходимом для уверенного использования его в «Математической логике». Студенты, знакомые с дискретной математикой, могут пропустить этот раздел, сдав контрольные работы.