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

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

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

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

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

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

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

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

У курсі пропонується широкий огляд методів постановки і вирішення завдань в різних додатках, що використовують класичну логіку предикатів першого порядку. Завдання виконуються як доказ теорем по кроках, що дозволяє сформулювати інтуїтивне уявлення і довести існування рішення. Використання мови логіки дозволяє зрозуміти зміст необхідних процедур і перейти до алгоритмізації. Широко трактується інтерпретація логіки в різних областях. Пропоновані вправи і приклади ілюстровані доказами, по можливості вербальними, що дозволяє набути досвіду в роботі з різними завданнями і напрямками. Корисно знайомство з іншими інтерпретаціями, що склалися історично в рамках класичної логіки. Не завжди це сувора теорія і частіше потрібно визначення властивостей нових областей і пошук відповідних методів роботи з даними (фактами). Матеріал буде корисний для навчання бакалаврату, що має базові знання в дискретній математиці, алгоритмізації та програмуванні для розуміння необхідності використання логіки в будь-якого роду діяльності. Відповідає актуальним вимогам Федерального державного освітнього стандарту середньої професійної освіти та професійним вимогам . Для студентів широкого кола інженерних спеціальностей (проектування обчислювальних систем, програмування та ін.) ) і гуманітарних напрямків, де передбачається створення і використання експертних систем (економіка, медицина, менеджмент та ін) .
LF/293707609/R

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

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

Відгуки

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

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

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

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

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

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