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

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

book type
0 Відгук(ів) 
LF/295675/R
Російська
В наявності
157,50 грн
141,75 грн Збережіть 10%
  Моментальне завантаження 

після оплати (24/7)

  Широкий вибір форматів 

(для всіх пристроїв)

  Повна версія книги 

(в т.ч. для Apple та Android)

У курсі пропонується широкий огляд методів постановки і вирішення завдань в різних додатках, що використовують класичну логіку предикатів першого порядку. Завдання виконуються як доказ теорем по кроках, що дозволяє сформулювати інтуїтивне уявлення і довести існування рішення. Використання мови логіки дозволяє зрозуміти зміст необхідних процедур і перейти до алгоритмізації. Широко трактується інтерпретація логіки в різних областях.
LF/295675/R

Характеристики

ФІО Автора
Зыков А. Г.
Поляков В. И.
Скорубский В. И.
Мова
Російська
Дата виходу
2021
Том
1

Відгуки

Напишіть свій відгук

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

У курсі пропонується широкий огляд методів постановки і вирішення завдань в різних додатках, що використовують класичну логіку предикатів першого порядку. Завда...

Напишіть свій відгук

1 книга цього ж автора

Товари з цієї категорії: