|
|
|
|
|
|
|
|
|
|
Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017 Формат: pdf Страниц: 418 Для сайта: Mirknig.su Размер: 5,5Mb Язык: русский Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов, в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта, излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки
Скачать с Turbobit
|
Автор: mihail1000 6-02-2019, 04:05 | Напечатать |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
|
|
|
|
|
br>
|