Математична логіка та теорія алгоритмів: Лекції
Loading...
Date
2017
Authors
Advisor
Journal Title
Journal ISSN
Volume Title
Publisher
КПІ ім. Ігоря Сікорського
Abstract
Description
Keywords
дискретна математика, алгоритм, рекурсія, змістовна теорія, предикат, квантор
Citation
Стусь, О. В. Математична логіка та теорія алгоритмів: Лекції [Електронний ресурс] : навчальний посібник для студентів спеціальності 124 «Системний аналіз» / О. В. Стусь ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 0,8 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2017. – 150 с. – Назва з екрана.