Математична логіка та теорія алгоритмів. Робоча програма навчальної дисципліни (Силабус)
Ескіз недоступний
Дата
2022
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Опис
Ключові слова
математична логіка, алгоритм, автомат, формальна мова, предикат, мережа Петрі
Бібліографічний опис
Математична логіка та теорія алгоритмів. Робоча програма навчальної дисципліни (Силабус) [Електронний ресурс] / КПІ ім. Ігоря Сікорського ; уклад.: І. Я. Спекторський, О. В. Стусь. – Електронні текстові дані (1 файл: 86,41 Кбайт). – Київ : КПІ ім. Ігоря Сікорського, 2022. – 9 с. – Назва з екрана.