BOOKS - NATURAL SCIENCES - Математическая логика и модели вычислений...
US $5.56
536173
536173
Математическая логика и модели вычислений
Author: Таланов В.А.
Year: 1994
Format: PDF
File size: 13,8 MB
Language: RU
Year: 1994
Format: PDF
File size: 13,8 MB
Language: RU
The tutorial contains the beginnings of predicate logic and algorithm theory. The material contains examples illustrating the basic concepts of mathematical logic, and a fairly large number of exercises.