Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовКонспект лекцийКонспект лекций
2018-01-092018-01-09СтудИзба
Лекции: Конспект лекций
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Просмотров
871
Размер
8,15 Mb
Список файлов
Конспект лекций
3 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переименования и подстановки. Семантика логико-математического языка. Логические.pdf
10 - Нормальные алгорифмы Маркова. Основные понятия. Сочетания машин Тьюринга. Эквивалентность машин Тьюринга и нормальных алгорифмов. Обобщения машин Тьюр.pdf
12 - Неразрешимые алгоритмические проблемы. Сложность алгоритмов. Массовые алгоритмические проблемы. Проблема распознавания самоприменимости.pdf
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
09 января 2018 в 10:57
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
