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