| 
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
 Кафедра комп'ютерних наук та інформаційних технологій >
 Кваліфікаційні роботи (проєкти) бакалаврів та магістрів (ННІДО КНІТ) >
 
        
            | Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.puet.edu.ua/handle/123456789/7556 |  
 
| Название: | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ТРЕНАЖЕР З ТЕМИ "ЛОГІКА ВИСЛОВЛЮВАНЬ" ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ "МАТЕМАТИЧНА ЛОГІКА" ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ |  | Авторы: | Сивокінь, Олександр Юрійович |  | Ключевые слова: | тренажер дистанційна освіта
 логіка висловлювань
 математична логіка
 дистанційний курс
 |  | Дата публикации: | 17-Янв-2020 |  | Аннотация: | Предмет розробки – програмування тренажера для вивчення логіки висловлювань. 
Мета роботи — створити тренажер, який буде використовуватись в навчанні студентів логіки висловлювань.
Методи, які були використані для розв’язування задачі – матеріали лекцій курсу «Математична логіка». Робоча програма розроблена в середовищі Android Studio.
Розроблено тренажер для навчання студентів логікі висловлювань, вивчення логічних операторів та розв’язуванню задач..
Здійснена програмна реалізація тренажера на високорівневій мові програмування JAVA. |  | URI: | http://dspace.puet.edu.ua/handle/123456789/7556 |  | Располагается в коллекциях: | Кваліфікаційні роботи (проєкти) бакалаврів та магістрів (ННІДО КНІТ) 
 |  
 
    
     
    
 Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.   |