Сінько Ю. І. Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій

Об'єкт дослідження - процес фахової підготовки майбутніх учителів математики у вищому навчальному закладі. Мета дослідження - розробити, обґрунтувати й експериментально перевірити методичну систему навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій. У дисертації обґрунтовано можливість навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій. Описано методи і форми навчання математичної логіки з використанням розроблених комп'ютерно-орієнтованих засобів навчання теоретичним питанням, засобів розв'язування задач і засобів контролю засвоєння знань із метою засвоєння певного класу математичних понять, сформованості відповідних навичок. У дисертаційній роботі вперше розроблено і обґрунтовано комп'ютерно-орієнтовану методичну систему навчання математичної логіки у вищих навчальних закладах для дистанційного навчання з підтримкою практичної математичної діяльності, що не виключає використання системи або її компонентів в умовах денного чи заочного навчання. Дістали подальшого розвитку комп'ютерно-орієнтовані педагогічні технології підвищення ефективності процесу навчання математичних дисциплін у процесі фахової підготовки майбутніх учителів математики, компонентно-орієнтований підхід до організації навчально-виховного процесу, концепція комп'ютерно-орієнтованих систем підтримки навчальної практичної діяльності. Ключові слова: методична система, математична логіка, інформаційні технології, інформаційні технології навчання, дистанційне навчання, програмно-педагогічні засоби, засоби навчання, компонента, програмне середовище.