Алгоритмы и теория вычислений

	Организатор	Регион	Стоимость


ИНТУИТ (29.44)		Pоссия	бесплатно руб. 0.00 за 19 ак. часов

Даты проведения

C открытой датой

Форма обучения: Online

Вид мероприятия: Видеокурс

Преподаватель

Олег Кузнецов

Анонс программы

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

Описание программы

Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга
Машина Тьюринга. Вычислимость. Примеры. Способы задания
Рекурсивные функции
Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
Свойства и варианты конечных автоматов
Алгоритмические возможности конечных автоматов. Сети Петри
Формальные системы. Свойства, интерпретация, моделирование
Формальные грамматики
Логика. Исчисления высказываний и исчисление предикатов
Метатеория. Введение в исчисление предикатов
Интерпретация и полнота исчисления предикатов
Метод резолюций в исчислении высказываний и исчислении предикатов
Экзамен

	Сохранить в избранном

	Заказать звонок

	Отправить вопрос или заявку


Курс в архиве


	Телефон организатора Нажмите на ссылку, чтобы увидеть телефон Показать телефон

	Пожалуйста, скажите организатору, что нашли мероприятие на EduMarket.ru

Похожие мероприятия

Web-программирование c CMS Wordpress Очная/дневная, Вечерняя

Барнаул

9 600 руб.

Основы программирования Очная/дневная, Вечерняя

Барнаул

9 600 руб.

Программирование + 3D-моделирование Очно-заочная

Барнаул

9 600 руб.

Быстрый переход к спискам мероприятий:
Все курсы программирования
Курсы программирования в России

←Вернуться