Навчальні видання. Факультет математики і інформатики

Постійне посилання колекціїhttps://ekhnuir.karazin.ua/handle/123456789/246

Переглянути

Зараз показуємо 1 - 7 з 7

Введение в издательскую систему LATEX
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.
Рекурсивные функции (2015)
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.
Вычислимость: машины Тьюринга и рекурсивные функции
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.
Теорема Гёделя
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.
Логика первого порядка. Формальное доказательство
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.
Ассерторические, деонтические и эротетические логики (2015)
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.
Аксиоматика натуральных чисел (2015)
(2015-06-05) Власенко, Д.И.; Куринной, Г.Ч.; Невмержицкая, Е.Н.; Шугайло, Е.А.