Математическая логика
Read a fragment
Instant download
after payment (24/7)
Wide range of formats
(for all gadgets)
Full book
(including for Apple and Android)
The course offers a broad overview of the methods of setting and solving problems in various applications using the classical logic of first-order predicates. Tasks are performed as proof of theorems in steps, which allows you to formulate an intuitive representation and prove the existence of a solution. Using the language of logic allows you to understand the content of the required procedures and go to algorithmization The interpretation of logic in various fields is widely interpreted.
LF/295675/R
Data sheet
- Name of the Author
- Зыков А. Г.
Поляков В. И.
Скорубский В. И. - Language
- Russian
- Release date
- 2021
- Volume
- 1
1 book by the same author:
Products from this category:
The course offers a broad overview of the methods of setting and solving problems in various applications using the classical logic of first-order predicates. T...