Курс математической логики и теории вычислимости
- Добавил: Natali26
- Дата: 28-12-2024, 08:23
- Комментариев: 0
Название: Курс математической логики и теории вычислимостиАвтор: Герасимов Александр Сергеевич
Издательство: Лема
Год: 2011
Формат: pdf
Страниц: 284
Размер: 15,49 Мб
Язык: русский
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков.
Скачать с turbo
Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.