ІНФОРМАЦІЙНО-МЕТОДИЧНЕ ЗАБЕЗПЕЧЕННЯ КУРСУ «МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ»
Ключові слова:
математична логіка, методична система, інформаційні технології, інформаційні технології навчання, дистанційне навчання, програмно-педагогічні засоби, засоби навчання, компонента, програмне середовище
Анотація
У даній статті розглядаються основні положення методики навчання майбутніх учителів математики основам математичної логіки та теорії алгоритмів у Херсонському державному університеті з використанням інформаційних технологій. Подано загальну характеристику функціонування методичної системи навчання математичної логіки з використанням інформаційних технологій, у тому варіанті, коли інформаційні технології представлено інтегрованим спеціалізованим програмним середовищем навчального призначення «МатЛог».
Завантаження
Дані завантаження ще не доступні.
##plugins.generic.paperbuzz.metrics##
##plugins.generic.paperbuzz.loading##
Посилання
1. Сінько Ю.І. Практичні заняття з дисципліни “Математична логіка”: навч. посіб. [для студ. спеціальностей: “Інформатика”, “Математика”] / Ю.І.Сінько. – Херсон: Видавництво ХДУ, 2008. – Ч.1. – 72 с.
2. Сінько Ю.І. Методичні рекомендації вивчення основ математичної логіки з використанням системи «МатЛог»: [для студ. спеціальностей: “Інформатика”, “Математика”] / Ю.І. Сінько. – Херсон: Видавництво ХДУ, 2009. – 52 с.
3. Сінько Ю.І. Інтегроване програмне середовище системи навчання математичної логіки «МатЛог» [Електронний ресурс] / Ю.І. Сінько // Інформаційні технології і засоби навчання. – 2007. – №3(4). – Режим доступу до журн.: http://www.nbuv.gov.ua/ejournals/ITZN/ em3/emg.html.
4. Сінько Ю.І. Методичні особливості вивчення деяких тем розділу «Алгебра висловлень» з використанням інтегрованого програмного середовища «МатЛог» / Ю.І .Сінько // Науковий часопис НПУ імені М.П. Драгоманова: [ зб. наук. праць / редрада: Андрушенко В.П. (голова) та ін.]. – К.: НПУ ім. М.П. Драгоманова, (Серія 2 “Комп‘ютерно-орієнтовані системи навчання”). Вип. 6 (13). – 2008. – С. 158–165.
5. Сінько Ю.І. Система комп’ютерної підтримки практичних занять з математичної логіки «МатЛог» / Ю.І. Сінько // Комп’ютер у школі та сім’ї. – 2008. – №3 (67). – С. 30–31.
6. Сінько Ю.І. Інтегроване програмне середовище підтримки дистанційного навчання «МатЛог»: концепція, архітектура та реалізація [Електронний ресурс] / Ю.І. Сінько // Інформаційні технології і засоби навчання. – 2009. – №1(9). – Режим доступу до журн.: http://www.nbuv.gov.ua/e-journals/ITZN/em9/emg.html.
7. Сінько Ю.І. Загальні засади та вимоги до побудови методичної системи навчання математичної логіки із використанням інформаційних технологій / Ю.І. Сінько // Інформаційні технології в освіті: [зб. наук. праць / голов. ред. Співаковський О.В. та ін.]. – Херсон: Видавництво ХДУ, 2008. – Вип. 1. – С. 134–140.
8. Сінько Ю.І. Організаційні форми методичної системи навчання математичної логіки з використанням інформаційних технологій / Ю.І.Сінько // Теорія та методика навчання математики, фізики, інформатики: [зб. наук. праць: в 3 т. / редкол. Соловйов В.М. та ін.], Вип. VI. – Кривий Ріг: Видавничий відділ НМетАУ, 2008. – Т. 1: Теорія та методика навчання математики. – Розд. 1: Комп‘ютерно-орієнтовані системи навчання математики. – С. 45–56.
9. Сінько Ю.І. Методичні рекомендації вивчення теми «Нормальні форми для формул алгебри висловлень» з використанням інтегрованого програмного середовища «МатЛог» / Ю.І.Сінько // Інформаційні технології в освіті: [зб. наук. праць / голов. ред. Співаковський О.В. та ін.]. – Херсон: Видавництво ХДУ, 2008. – Вип. 2. – С.130–139.
10. Сінько Ю.І. Системи комп’ютерної математики та їх роль у математичній освіті / Ю.І. Сінько // Інформаційні технології в освіті: [зб. наук. праць / голов. ред. Співаковський О.В. та ін.]. – Херсон: Видавництво ХДУ, 2009. – Вип. 3. – С.274–278.
11. Игошин В.И. Задачник-практикум по математической логике / В.И.Игошин. - М.: Просвещение, 1986. - 160 с.
12. Мощенский В. А. Лекции по математической логике / В.А.Мощенский. - Мн., Изд-во БГУ, 1973. - 160 с
