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