RUSSIAN

Математическая логика и модели вычислений

By Таланов В.А.

Book information

Language
russian
Format
DJVU
Filesize
3 MB (2739902 bytes)
Pages
\60
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Учебное пособие.- Нижний Новгород: изд. ННГУ, 1994. – 118 с.В учебном пособии содержатся начала логики предикатов и теории алгоритмов. Она предназначена для студентов, обучающихся по специальности прикладная математика и информатика в рамках университетского учебного плана, содержащего курс "Дискретная математика". Материал содержит примеры, иллюстрирующие основные понятия математической логики, и достаточно большое число упражнений.

Similar books