О ПРОЕКТЕ
ВСЕ ПРОЕКТЫ HH
Регистрация компании
Заявка на грант Повысить зарплату Поможем выбрать курс Регистрация карьериста
дистанционно, онлайн
Детали курса

Даты проведения
12 декабря 2015 — 12 марта 2016
Город
Pоссия
Вид обучения

Курсы

Форма обучения
Дистанционная
Учебная нагрузка
78 часов
Тема
IT: Для программистов и IT-специалистов
Информатика и вычислительная техника

Науки: Физико-математические
Математика
Обучающая компания
Национальная платформа открытого образования

Базовая цена
Бесплатно!
Показать похожие курсы Найти новый курс
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Связаться

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

                            

                            
Программа
  1. Булевы функции
  2. Нормальные формы представления булевых
  3. Теорема Поста
  4. Применение булевых функций
  5. Бинарные решающие диаграммы
  6. Конечные автоматы и их применение
  7. Основные понятия логики высказываний
  8. Логический вывод в логике высказываний
  9. Основные понятия логики
  10. Логический вывод в логике предикатов
  11. Аксиоматические теории
  12. Проверка корректности программ
  13. Темпоральные логики
  14. Результаты обучения

В результате изучения дисциплины студент должен:

знать:

  • принципы, основы, теории, законы, правила, используемые в курсе для изучения объектов курса;
  • методы, средства, приемы, алгоритмы, способы решения задач курса.

уметь:

  • выделять объекты курса из окружающей среды;
  • формулировать, выдвигать гипотезы о причинах возникновения той или иной ситуации; вычислять, оценивать величины;
  • изменять, дополнять, адаптировать, развивать методы, алгоритмы, приемы, методики для решения ...
Подробнее о программе

                        
Преподаватели
Карпов Юрий Глебович - Доктор технических наук, Профессор СПбПУ.

                            
Мне интересно

Сохранить в избранном
Заказать звонок
Отправить вопрос
Связаться

Нажмите ссылку, чтобы увидеть телефон
(812) Показать телефон
Обучающая компания
Национальная платформа открытого образования,
Москва, Большой Чудов переулок, дом 8, корпус 1


Схема проезда

Ассоциация «Национальная платформа открытого образования» учреждена ведущими вузами России. Основная цель деятельности Ассоциации - объединить усилия вузов и предоставить возможность каждому получить качественное высшее образование онлайн.

Любой пользователь может совершенно бесплатно и в любое время проходить курсы от ведущих университетов России, а затем перезачесть результаты обучения в своей образовательной программе.

«Открытое образование» - современная образовательная платформа, предлагающая онлайн-курсы по базовым дисциплинам, изучаемым в российских университетах.