Математична логіка та теорія алгоритмів: Лекції
DSpace at NTB NTUU KPI
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Математична логіка та теорія алгоритмів: Лекції
|
|
| Creator |
Стусь, Олександр Вікторович
|
|
| Subject |
дискретна математика
алгоритм рекурсія змістовна теорія предикат квантор |
|
| Description |
Посібник містить теоретичні відомості із традиційних розділів дисципліни «Математична логіка та теорія алгоритмів» – алгоритмічні машини, рекурсивні функції, формальні логічні теорії, алгебра предикатів, автоматичне доведення теорем, формальна арифметика. Для студентів математичних і технічних спеціальностей університетів. яким знайомі базові поняття дискретної математики та математичного аналізу. |
|
| Date |
2018-01-17T12:26:52Z
2018-01-17T12:26:52Z 2017 |
|
| Type |
Methodical Matherial
|
|
| Identifier |
Стусь, О. В. Математична логіка та теорія алгоритмів: Лекції [Електронний ресурс] : навчальний посібник для студентів спеціальності 124 «Системний аналіз» / О. В. Стусь ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 0,8 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2017. – 150 с. – Назва з екрана.
http://ela.kpi.ua/handle/123456789/21581 |
|
| Language |
uk
|
|
| Format |
150 с.
application/pdf |
|
| Publisher |
КПІ ім. Ігоря Сікорського
Київ |
|