|
Електронний архів Полтавського університету економіки і торгівлі >
Просмотр коллекции по группе - По тематике математична логіка
Отображение результатов 1 до 20 из 20
| Дата публикации | Название | Автор(ы) | | 22-Май-2019 | Алгоритмізація та програмування елементів тренажера «Метод резолюцій» дистанційного навчального курсу «Математична логіка» | Сосновський, Д. Р. |
| 2-Июн-2023 | Дискретна математика: навчальний посібник для самостійного вивчення навчальної дисципліни студентами денної форми навчання спеціальності 122 Комп’ютерні науки освітня програма «Комп’ютерні науки» ступеня бакалавра | Ємець, О. О.; Парфьонова, Т. О. |
| 22-Май-2019 | Елементи програмного забезпечення для тренажера з теми «Алгебра предикатів» дистанційного навчального курсу «Математична логіка» | Куркін, В. В. |
| 22-Май-2019 | Елементи програмного забезпечення для тренажера з теми «Правила виведення» дистанційного навчального курсу «Математична логіка» | Стовбун, Д. О. |
| 15-Фев-2024 | Кваліфікаційна робота на тему «Навчальний тренувальний інструмент та його програмування з теми «Квантори. Формули логіки предикатів» дистанційного курсу «Математична логіка» | Токар, Михайло Олександрович |
| 19-Июн-2024 | Комп'ютерні науки та інформаційні технології (КНІТ-2024): матеріали науково-практичного семінару. Випуск 3 | Ольховська, О. В. |
| 28-Дек-2019 | Комп’ютерні науки і прикладна математика (КНіПМ-2019). Випуск 4. | Ємець, О. О. |
| 20-Июл-2021 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО БАКАЛАВРСЬКОЇ РОБОТИ на тему СТВОРЕННЯ АЛГОРИТМУ ТА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТРЕНАЖЕРА ПОБУДОВИ ВИПЕРЕДЖЕНОЇ НОРМАЛЬНОЇ ФОРМИ ДИСТАНЦІЙНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» | Коровайкін, Є. Д. |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ТРЕНАЖЕР З ТЕМИ «ЧИСЛЕННЯ ВИСЛОВЛЮВАНЬ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ | Москаленко, Артем Олегович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему АЛГОРИТМІЗАЦІЯ ТА ПРОГРАМУВАННЯ ТРЕНАЖЕРА «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» | Сосновський, Дмитро Романович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДЛЯ КАЛЬКУЛЯТОРА З ТЕМИ «МІНІМІЗАЦІЯ ЛОГІЧНИХ ФУНКЦІЙ З ДОПОМОГОЮ КАРТ КАРНО» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» | Кравцов, Валентин Олександрович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «АЛГЕБРА ПРЕДИКАТІВ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» | Куркін, Володимир Владиславович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «МЕТОДИ ПЕРЕВІРКИ ТОТОЖНОЇ ІСТИННОСТІ ЛОГІЧНИХ ФОРМУЛ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» | Куценко, Віталій Володимирович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ТРЕНАЖЕРУ З ТЕМИ «ПРАВИЛА ВИВЕДЕННЯ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» | Стовбун, Дмитро Олегович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ТРЕНАЖЕР З ТЕМИ «АЛГЕБРА ВИСЛОВЛЮВАНЬ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ | Долгов, Владислав Олегович |
| 19-Янв-2022 | Пояснювальна записка до дипломної роботи на тему «Створення програмного забезпечення тренажеру «Метод резолюцій» дистанційного курсу «Математична логіка» | Алексов, Сергій Вікторович |
| 17-Янв-2020 | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ТРЕНАЖЕР З ТЕМИ "ЛОГІКА ВИСЛОВЛЮВАНЬ" ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ "МАТЕМАТИЧНА ЛОГІКА" ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ | Сивокінь, Олександр Юрійович |
| 27-Ноя-2019 | Програмне забезпечення для тренажера з теми «Алгебра предикатів» дистанційного навчального курсу «Математична логіка» | Куркін, В. В.; Черненко, О. О. |
| Мар-2015 | Розробка програмного забезпечення тренажера з теми «Застосування апарата алгебри логіки до логіко-математичної практики» дистанційного навчального курсу «Математична логіка та теорія алгоритмів» | Потерайло О. О. |
| 28-Мар-2019 | ТРЕНАЖЕР З ТЕМИ "ЛОГІКА ВИСЛОВЛЮВАНЬ" ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ "МАТЕМАТИЧНА ЛОГІКА" ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ | Сивокінь, О. Ю.; Черненко, О. О. |
Отображение результатов 1 до 20 из 20
|
