Математична логіка

після оплати (24/7)
(для всіх пристроїв)
(в т.ч. для Apple та Android)
У курсі пропонується широкий огляд методів постановки і вирішення завдань в різних додатках, що використовують класичну логіку предикатів першого порядку. Завдання виконуються як доказ теорем по кроках, що дозволяє сформулювати інтуїтивне уявлення і довести існування рішення. Використання мови логіки дозволяє зрозуміти зміст необхідних процедур і перейти до алгоритмізації. Широко трактується інтерпретація логіки в різних областях.
LF/295675/R
Характеристики
- ФІО Автора
- Зыков А. Г.
Поляков В. И.
Скорубский В. И. - Мова
- Російська
- Дата виходу
- 2021
- Том
- 1