Математична логіка та теорія алгоритмів: Лекції

Скорочена інформація про документ
dc.contributor.authorСтусь, Олександр Вікторович
dc.date.accessioned2018-01-17T12:26:52Z
dc.date.available2018-01-17T12:26:52Z
dc.date.issued2017
dc.description.abstractukПосібник містить теоретичні відомості із традиційних розділів дисципліни «Математична логіка та теорія алгоритмів» – алгоритмічні машини, рекурсивні функції, формальні логічні теорії, алгебра предикатів, автоматичне доведення теорем, формальна арифметика. Для студентів математичних і технічних спеціальностей університетів. яким знайомі базові поняття дискретної математики та математичного аналізу.uk
dc.format.page150 с.uk
dc.identifier.citationСтусь, О. В. Математична логіка та теорія алгоритмів: Лекції [Електронний ресурс] : навчальний посібник для студентів спеціальності 124 «Системний аналіз» / О. В. Стусь ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 0,8 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2017. – 150 с. – Назва з екрана.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/21581
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectдискретна математикаuk
dc.subjectалгоритмuk
dc.subjectрекурсіяuk
dc.subjectзмістовна теоріяuk
dc.subjectпредикатuk
dc.subjectкванторuk
dc.titleМатематична логіка та теорія алгоритмів: Лекціїuk
dc.typeMethodical Matherialuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Мат_логіка_Т_алг_лекції_ІПСА.pdf
Розмір:
838.56 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.74 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Навчально-методичні матеріали (ММСА)