Математична логіка та теорія алгоритмів: Навчальний посібник. - 2-ге видання.

Математична логіка та теорія алгоритмів: Навчальний посібник. - 2-ге видання.

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

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

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

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

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

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

Навчальний посібник відповідає державному освітньому стандарту дисципліни ''Математична логіка та теорія алгоритмів'' напряму підготовки дипломованих фахівців 654600 - ''Інформатика та обчислювальна техніка'' (Спеціальність 220100 -''Обчислювальні машини, комплекси, системи та мережі'') та напрями підготовки бакалаврів 552800 - ''Інформатика та обчислювальна техніка''. У посібнику викладаються розділи математичної логіки та теорії алгоритмів, необхідні для освоєння загальнопрофесійних і спеціальних дисциплін спеціальності 220100. Досить докладно викладені основи логіки висловлювань і логіки предикатів, включаючи додаток логіки предикатів до доведення правильності алгоритмів. Посібник містить вступний матеріал з логічного програмування та клаузальної логіки, а також основні поняття нечіткої та модальної логіки. Наведено основи теорії алгоритмів і алгоритмічної роздільності, доказ еквівалентності моделей алгоритмів Тюрінга і рекурсивних схем Кліні. Посібник містить також
LF/991149070/R

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

ФІО Автора
Анкудинов Г.И.
Анкудинов И.Г.
Петухов О.А.
Мова
Російська
Дата виходу
2003

Відгуки

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

Математична логіка та теорія алгоритмів: Навчальний посібник. - 2-ге видання.

Навчальний посібник відповідає державному освітньому стандарту дисципліни ''Математична логіка та теорія алгоритмів'' напряму підготовки дипломованих фахівців 6...

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

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

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