|
Електронний архів Полтавського університету економіки і торгівлі >
Просмотр коллекции по группе - По тематике математична логіка
Отображение результатов 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
|
