Математическая логика и теория алгоритмов учебник и практикум
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материа...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
Юрайт
2023
|
| Edition: | 5-е изд. |
| Series: | Высшее образование
|
| Subjects: | |
| Online Access: | https://urait.ru/bcode/510826 https://urait.ru/book/cover/FF10F42B-4F39-477B-AF63-1F14C8DBEDCE |