Расширенный поиск
Главная страница
 
Просмотреть
Разделы
и коллекции
По дате
По автору
По заглавию
По тематике
 
Зарегистрированным:
Обновления на e-mail
Мой архив
ресурсов
Редактировать профиль
 
О DSpace

Електронний архів Полтавського університету економіки і торгівлі >

Просмотр коллекции по группе - По тематике математична логіка

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я І Ї Є
или введите несколько первых букв:   
Сортировка: Упорядочнить: Вывести на страницу: Авторы:
Отображение результатов 1 до 5 из 5
Дата публикацииНазваниеАвтор(ы)
2-Июн-2023Дискретна математика: навчальний посібник для самостійного вивчення навчальної дисципліни студентами денної форми навчання спеціальності 122 Комп’ютерні науки освітня програма «Комп’ютерні науки» ступеня бакалавраЄмець, О. О.; Парфьонова, Т. О.
15-Фев-2024Кваліфікаційна робота на тему «Навчальний тренувальний інструмент та його програмування з теми «Квантори. Формули логіки предикатів» дистанційного курсу «Математична логіка»Токар, Михайло Олександрович
28-Дек-2019КОМП’ЮТЕРНІ НАУКИ І ПРИКЛАДНА МАТЕМАТИКА (КНіПМ-2019). Випуск 4.Ємець, О. О.
19-Янв-2022ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему «СТВОРЕННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТРЕНАЖЕРУ «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»Алексов, Сергій Вікторович
Мар-2015Розробка програмного забезпечення тренажера з теми «Застосування апарата алгебри логіки до логіко-математичної практики» дистанційного навчального курсу «Математична логіка та теорія алгоритмів»Потерайло О. О.
Отображение результатов 1 до 5 из 5

 
Valid XHTML 1.0! DSpace Software Copyright © 2002-2005 MIT and Hewlett-Packard - Обратная связь