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

Даты проведения
Открытая дата
Город
Pоссия
Вид обучения

Видеокурс

Форма обучения
Online
Учебная нагрузка
19 часов
Тема
IT: Для программистов и IT-специалистов
Программирование
Обучающая компания
ИНТУИТ

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

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

Анонс
Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство. Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике.

                            
Программа
  1. Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга
  2. Машина Тьюринга. Вычислимость. Примеры. Способы задания
  3. Рекурсивные функции
  4. Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
  5. Свойства и варианты конечных автоматов
  6. Алгоритмические возможности конечных автоматов. Сети Петри
  7. Формальные системы. Свойства, интерпретация, моделирование
  8. Формальные грамматики
  9. Логика. Исчисления высказываний и исчисление предикатов
  10. Метатеория. Введение в исчисление предикатов
  11. Интерпретация и полнота исчисления предикатов
  12. Метод резолюций в исчислении высказываний и исчислении предикатов
  13. Экзамен

                        
Преподаватели
Олег Кузнецов

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

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

Обучающая компания
ИНТУИТ,
Москва, Электрический пер., д.8, стр.3


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

Национальный Открытый Университет «ИНТУИТ» - это образовательный проект, главными целями которого являются свободное распространение знаний во Всемирной Сети и предоставление услуг дистанционного обучения. «ИНТУИТ» объединяет проекты:
• НОУ «ИНТУИТ» – Негосударственное образовательное частное учреждение «Национальный Открытый Университет «ИНТУИТ»;
• ИДО «ИНТУИТ» – Негосударственное образовательное частное учреждение «Институт Дистанционного Обучения «ИНТУИТ»;
• ООО «ИНТУИТ» (Интернет-Университет Информационных Технологий).