Компьютерные науки

Практикум по методам построения алгоритмов

Программа о решении формальных задач математической логики, направленная на освоение аппарата исчисления высказываний и теории предикатов.
Студентов 499 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Темы:
Программирование, Алгоритмы и сложность
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебная программа посвящена математической логике, формирующей фундамент для понимания принципов работы компьютеров. В ней изучаются способы построения формальных доказательств, вопросы полноты и непротиворечивости логических систем, а также интерпретации логики первого порядка. Обучение построено как переход от простых операций к сложным формальным исчислениям с упором на самостоятельную работу с формулами и доказательство теорем. Программа направлена на глубокое понимание формальных языков, искусственного интеллекта и методов верификации программного обеспечения.
Цели
  • Освоить методы формализации рассуждений на языке математики.
  • Изучить свойства исчислений высказываний и предикатов.
  • Показать связь между синтаксисом и семантикой логических систем.
Чему я научусь?
  • Строить формальные выводы и доказательства в логических исчислениях.
  • Проверять формулы на общезначимость и выполнимость.
  • Работать с моделями и интерпретациями в логике предикатов.

Авторы

Шень Александр Ханиевич
Шень Александр Ханиевич
Кандидат физико-математических наук, старший научный сотрудник Института проблем передачи информации РАН.
Чему я научусь?
  • Строить формальные выводы и доказательства в логических исчислениях.
  • Проверять формулы на общезначимость и выполнимость.
  • Работать с моделями и интерпретациями в логике предикатов.

Учебный план

№ Занятия
1 Несколько замечаний вместо предисловия
2 Переменные, выражения, присваивания
3 Порождение комбинаторных объектов
4 Обход дерева. Перебор с возвратами
5 Сортировка
6 Конечные автоматы и обработка текстов
7 Типы данных
8 Рекурсия
9 Как обойтись без рекурсии
10 Разные алгоритмы на графах
11 Сопоставление с образцом
12 Анализ игр
13 Оптимальное кодирование
14 Представление множеств. Хеширование
15 Представление множеств. Деревья. Сбалансированные деревья.
16 Контекстно-свободные грамматики
17 Синтаксический разбор слева направо (LR)
18 Курсовая работа Цель работы: Необходимо составить по три тестовых задания к каждой лекции.

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^