Каталог МООК

Страница: () 1 ... 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 ... 601 ()


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

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

Курс состоит из трех частей. Первая часть посвящена базе математической логики – теории двоичных функций. Вторая часть излагает базовые разделы математической логики, наиболее часто применяемые в практике информационных технологий: методы формализации умозаключений, алгоритмы формального логического вывода, аксиоматические теории. Заключительная часть посвящена методам верификации распределенных алгоритмов и систем.
 
Отзыв, рецензия
 
Бесплатный
Математические и естественные науки
Санкт-Петербургский политехнический университет Петра Великого
НПОО
Русский
13 недель, 6 часов в неделю, 3 зачётных единицы
Курс включает в себя лекции и контрольные работы.
Ссылка на курс
   

 

   
Карпов Юрий Глебович, Шошмина Ирина Владимировна
   
     
   

   
     
     
     
  Для добавления рецензии и отзыва авторизуйтесь и нажмите знак    
 

Вы так же можете добавить рецензию в каталоге рецензий

   
    Вставить рецензию    Одобрено
Страница: () 1 ... 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 ... 601 ()