Название: Математическая логика и модели вычислений Автор: Таланов В.А. Издательство: Нижний Новгород: ННГУ Год: 1994 ISBN: 5-230-04359-8 Формат: pdf Страниц: 119 Размер: 13,8 Мб Язык: Русский
В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.
Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.