![Introductory course of mathematical logic: [Study manual]](https://lionbook.net/2031906-home_default/vvodnyj-kurs-matematicheskoj-logiki-ucheb-posobie-.jpg)
Introductory course of mathematical logic: [Study manual]
Instant download
after payment (24/7)
Wide range of formats
(for all gadgets)
Full book
(including for Apple and Android)
The textbook contains the material of the main course, read at the Faculty of Mechanics and Mathematics of Moscow State University . Elements of set theory, basic concepts related to the semantics of formalized first-order logical-mathematical languages, predicate calculus and its completeness theorem are presented, an introduction to the theory of algorithms and computable functions is given. For students of mathematical faculties of universities, pedagogical institutes, as well as other universities with in-depth study of computer science and cybernetics .
LF/36438034/R
Data sheet
- Name of the Author
- Верещагин Н.К.
Плиско В.Е.
Успенский В.А. - Language
- Russian
- ISBN
- 9785922102780
- Release date
- 2004
7 books by the same author:
Products from this category:
![Introductory course of mathematical logic: [Study manual]](https://lionbook.net/2031906-large_default/vvodnyj-kurs-matematicheskoj-logiki-ucheb-posobie-.jpg)
The textbook contains the material of the main course, read at the Faculty of Mechanics and Mathematics of Moscow State University . Elements of set theory, bas...