Конспект по курсу Математическая Логика и Теория Алгоритмов.

Дисклеймер.

Данный конспект не претендует на полноту и корректность. Это всего лишь авторские заметки, которые он пожелал выразить в форме tex файла. Каждый решивший использовать данный конспект для подготовки или изучения делает это на свой страх и риск. Автор рекомендует читать книги и слушать лекции. В случае обнаружения опечаток, помарок или ошибкок, буду рад PR или письму на [email protected]

Шаблон выбран специально, чтобы оставались места для рукописных пометок в распечатанной версии. Содержание рукописных пометок автора публиковаться не будет.

Использованная литература

1. Лекции Гордеева Э. Н., МГТУ им. Н. Э. Баумана, 2021 год.
2. Гордеев Э.Н. Введение в теорию сложности алгоритмов. Электронное учебное издание. - М.: МГТУ имени Н.Э. Баумана, 2012. 84 с.
3. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971.

Лицензия.

Все файлы данного репозитория распространяются по лицензтии LaTeX Project Public License v1.3c. Подробная информация в файле MANIFEST.md

LaTeX шаблон kaobook:
Copyright 2020, Federico Marotta

Конспект:
Copyright 2021, Ruslan Kulagin