BOOKS - NATURAL SCIENCES - Математическая логика и модели вычислений...
Математическая логика и модели вычислений - Таланов В.А. 1994 PDF Нижний Новгород ННГУ BOOKS NATURAL SCIENCES
US $5.56

Views
536173
Математическая логика и модели вычислений
Author: Таланов В.А.
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.

You may also be interested in: