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

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

Изучить курс
Поделиться:

1352 просмотров

Технологии в информатике меняются очень быстро. Инженер-программист должен осваивать новые информационные технологии каждые 2-5 лет. Однако при этом концептуальные, базисные теоретические основы информационных технологий остаются неизменными. Математическая логика относится к теоретическому фундаменту, на котором основаны все существующие и будущие информационные технологии. С помощью логики выражаются семантика языков программирования, спецификация программ (что программа делать), выполняется верификация программ (проверяется, делает ли программа в точности то, что от нее ожидают). Курс состоит из трех частей. Первая часть посвящена базе математической логики – теории двоичных функций. Вторая часть излагает базовые разделы математической логики, наиболее часто применяемые в практике информационных технологий: методы формализации умозаключений, алгоритмы формального логического вывода, аксиоматические теории. Заключительная часть посвящена методам верификации распределенных алгоритмов и систем.
img

Дисциплина: Математика

img

Целевая аудитория: Студенты вузов

img

Год разработки: -

img

Итоговый докумен: Не предоставляется

img

Условия доступа к ресурсу: Ресурс бесплатный и доступен только после регистрации

img

Разработчики ресурса: Карпов Юрий Глебович, Шошмина Ирина Владимировна

Рекомендованные ресурсы

Комментарии