Математична логіка та теорія алгоритмів: Лекції
Вантажиться...
Дата
2017
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Опис
Ключові слова
дискретна математика, алгоритм, рекурсія, змістовна теорія, предикат, квантор
Бібліографічний опис
Стусь, О. В. Математична логіка та теорія алгоритмів: Лекції [Електронний ресурс] : навчальний посібник для студентів спеціальності 124 «Системний аналіз» / О. В. Стусь ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 0,8 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2017. – 150 с. – Назва з екрана.