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