Висновки

Навчання в університеті дозволяє впевнетися, що одним з ефективних методів педагогічного контролю є тестування, сутність якого полягає в застосуванні тестів у процесі контролю знань студентів.

В сучасній системі навчання перевірка та оцінювання знань, умінь і навичок студентів – невід’ємна складова частина навчального процесу у ВНЗ. Широке впровадження тестового контролю навчальних досягнень сприяють підвищенню ефективності навчального процесу, формуванню знань, умінь та навичок, професійної компетентності майбутніх фахівців освітньої галузі.

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

Результати проведеного дослідження дозволяють зробити наступні висновки:

1. Систематизовано та узагальнено теоретичний матеріал модуля логіки предикатів курсу математичної логіки та теорії алгоритмів;

2. з’ясовано особливості методики викладання модуля логіки предикатів;

3. Підібрано систему завдань, що ілюструють основні теоретичні поняття даного модуля;

4. створено систему тестових завдань з модуля логіка предикатів;

5. експериментально перевірено ефективність розробленої системи тестування .

Дана магістерська робота може бути корисною для студентів та викладачів математичних спеціальностей ВНЗ.

Список використаних джерел

1. Игошин В.И. Математическая логика и теорія алгоритмов. – Саратов : Изд-во Сарат.ун-та, 1991. – 287 с.

2. Лісова Т. В. Математична логіка та теорія алгоритмів. [практикум] – Ніжин: Вид-ць ПП Лисенко М.М., 2011 – 116 с.

3. Бородін О.І., Теорія чисел. “Радянська школа”, К., 1965. – 244с.

   1. Буренніков Ю.А., Дерібо О.В. Тестовий контроль знань студентів, як засіб підвищення ефективності навчального процесу // Вісник ВПІ. – 1994. – №2. – С.81-84.

4. Бухштаб А.А., Теория чисел. Учпедгизд., М., 1960. – 375с.

5. Дубів О.В., Нелюбов В.О. Методичні рекомендації по розробці тестових завдань для автоматизованого контролю знань студентів. – Ужгород: ЗакДУ, 2007. – 28 с.

6. Дуженков В.Д., Панасик Т.І. Деякі аспекти методики складання тестових завдань // Організація навчально-виховного процесу. – 2006. - № 8. – с.104-109.

7. Завало С. Т, Костарчук В.М., Хацет Б. І, Алгебра і теорія чисел.ч.2,-К.:Вища школа, 1976. – 408с.

8. Завало С. Т., Левіщенко С.С., Пилаєв В.В., Рокицький І.О. Алгебра і теорія чисел. Практикум. Ч.1. – К.: Вища школа, 1983. – 232с.

9. Кліменко В.М., Дупляк В.Д., Шиліна О.П. Об’єктивний контроль знань студентів // Вісник ВПІ. – 1994. – №2. – С.87-88.

10. Коломієць М.П., Молодова Л.В. Словник іншомовних слів. – К.: Освіта, 1998. – 190 с.

11. Куликов Л. Я. Алгебра и теория чисел, М.: Высшая школа, 1979. – 559с.

12. Лосєва Н.М. Тестування в умовах багатоступеневої підготовки фахівців у вищій школі // Освіта і управління. – 2002. - № 4. – с. 150 – 156.

13. Лузіна М.О., Голуб Г.Г., Возна А.М. Система комплексної діагностики знань студентів. Навчальний посібник. – Львів: Львівський банківський інститут НБУ, 2002. – 38с.

14. Малихін А. Тестовий контроль і підвищення якості освіти у вищій педагогічній школі // Рідна школа. – 2006. – Червень. – С. 9-11.

15. Методика навчання і наукових досліджень у вищій школі. Навч.посіб / За ред. С.У.Гончаренко, П.М.Олійника. – К.: Вища школа, 2003. – 323 с.

16. Окунев Л.Я., Краткий курс теории чисел, Учебное пособие для пединститутов, М., 1956. – 240с.

17. Практикум педагогічної майстерності: Навчальний посібник /Кол. автор.: Сергеєва Л.М., Молчанова А.О., Пащенко О.В. та ін./ За ред. В.В.Олійника – К.: ТОВ «Етіс Плюс», 2008. – 184 с.

18. Проскуряков И.B. Сборник задач по линейной алгебре. – М.: Наука,1974. – 384с.

19. Сметанський М.І. Контроль за навчально-пізнавальною діяльністю студентів: проблеми, шляхи розв’язання // Вища школа. – 2004. - № 4. – С.63 – 68.

20. Студентські наукові записки (Збірник наукових статей студентів фізико-математичного факультету). – Кіровоград: РВВ КДПУ ім. В. Винниченка, 2011. – Випуск 4. – 80 с.

21. Сушкевич А.К., Теорія чисел. Видавництво Харківського Державного Університета Імені А.М.Горького, Х.,1954.

22. Фадеев Д.К., Сочинський И.С. Сборник задач по высшей алгебре. – М.: Наука, 1977. – 288с.

23. Челышкова М.Б. Теория и практика конструирования педагогических тестов: Учебное пособие. – М.: Логос, 2002. – 432с.

24. Шторм Р. Теория вероятностей и математическая статистика. Статистический контроль качества.М.:Мир, 1970. – 471с.

25. Євладенко В.М., Халецька З.П., Нарадовий В.В. Математична логіка та теорія алгоритмів. –К.:Код, 2009.-116с.

26. Головко Н.М. Приклади застосування методу резолюцій // Наукові записки. – Випуск 6. – Кіровоград: РВВ КДПУ ім. В. Винниченка, 2013. – с.12-15.

27. http://www.google.com.ua/url?sa=t&rct=j&q=vfntvfnbxyf%20kjusrf&source=web&cd=3&cad=rja&ved=0CEEQFjAC&url=http%3A%2F%2Fwww.klgtu.ru%2Fstudents%2Fliterature%2Fmatlog_met.pdf&ei=6iXEUaKVNoKu4QTvs4CwCQ&usg=AFQjCNFiPKwH5h0t_MGrGBcQhA2zN4kBGQ&bvm=bv.48293060,d.bGE

28. http://dic.academic.ru/dic.nsf/enc_philosophy/684/МАТЕМАТИЧЕСКАЯ

29. http://www.studfiles.ru/dir/cat14/subj1219/file10624/view102792.html

30. http://ipc.susu.ac.ru/lp14.html?PHPSESSID=p1fl8vqgsbjspmbebubfom3q10

31. http://uareferat.com/Принцип_резолюції_в_обчисленні_висловлювань_та_логіки_предикатів_і_його_модифікації