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

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