|
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Наукові роботи студентів (ННІДО КНІТ) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.puet.edu.ua/handle/123456789/7003
|
| Название: | ТРЕНАЖЕР З ТЕМИ "ЛОГІКА ВИСЛОВЛЮВАНЬ" ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ "МАТЕМАТИЧНА ЛОГІКА" ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ |
| Авторы: | Сивокінь, О. Ю.
Черненко, О. О. |
| Ключевые слова: | тренажер
логіка висловлювань
математична логіка
LOGIC OF EXPRESSIONS
MATHEMATICAL LOGIC
TRAINER |
| Дата публикации: | 28-Мар-2019 |
| Аннотация: | Запропоновано алгоритм і написаний по ньому тренажер на
тему «Логіка висловлювань» дистанційного навчального курсу «Математична логіка».
Syvokin O. Y., Chernenko O.O. The simulator on the topic "Logic of Expressions" of the distance learning course "Mathematical Logic" and the development of its educational support. The algorithm of the simulator of the topic "Logic of Expressions" of the distance learning course "Mathematical Logic" created. The program-trainer written for this algorithm. |
| URI: | http://dspace.puet.edu.ua/handle/123456789/7003 |
| Располагается в коллекциях: | Наукові роботи студентів (ННІДО КНІТ)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
