INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS»
Keywords:
component, distance learning, information technologies, information technologies of learning, mathematical logic, methodical system, programmatic pedagogical means, software environment, teaching techniques
Abstract
In this article the basic principles of training technique of future teachers of mathematics to foundations of mathematical logic and theory of algorithms in the Kherson State University with the use of information technologies are examined. General description of functioning of the methodical system of learning of mathematical logic with the use of information technologies, in that variant, when information technologies are presented by the integrated specialized programmatic environment of the educational purpose «MatLog» is given.
Downloads
Download data is not yet available.
Metrics
Metrics Loading ...
References
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 с
1. Sin'ko Ju.I. Praktichni zanjattja z disciplini “Matematichna logika”: navch. posib. [dlja stud. special'nostej: “Informatika”, “Matematika”] / Ju.I.Sin'ko. – Xerson: Vidavnictvo XDU, 2008. – Ch.1. – 72 s.
2. Sin'ko Ju.I. Metodichni rekomendaciji vivchennja osnov matematichnoji logiki z vikoristannjam sistemi «MatLog»: [dlja stud. special'nostej: “Informatika”, “Matematika”] / Ju.I. Sin'ko. – Xerson: Vidavnictvo XDU, 2009. – 52 s.
3. Sin'ko Ju.I. Integrovane programne seredovishhe sistemi navchannja matematichnoji logiki «MatLog» [Elektronnij resurs] / Ju.I. Sin'ko // Informacijni texnologiji i zasobi navchannja. – 2007. – №3(4). – Rezhim dostupu do zhurn.: http://www.nbuv.gov.ua/ejournals/ITZN/ em3/emg.html.
4. Sin'ko Ju.I. Metodichni osoblivosti vivchennja dejakix tem rozdilu «Algebra vislovlen'» z vikoristannjam integrovanogo programnogo seredovishha «MatLog» / Ju.I .Sin'ko // Naukovij chasopis NPU imeni M.P. Dragomanova: [ zb. nauk. prac' / redrada: Andrushenko V.P. (golova) ta in.]. – K.: NPU im. M.P. Dragomanova, (Serija 2 “Komp‘juterno-orijentovani sistemi navchannja”). Vip. 6 (13). – 2008. – S. 158–165.
5. Sin'ko Ju.I. Sistema komp’juternoji pidtrimki praktichnix zanjat' z matematichnoji logiki «MatLog» / Ju.I. Sin'ko // Komp’juter u shkoli ta sim’ji. – 2008. – №3 (67). – S. 30–31.
6. Sin'ko Ju.I. Integrovane programne seredovishhe pidtrimki distancijnogo navchannja «MatLog»: koncepcija, arxitektura ta realizacija [Elektronnij resurs] / Ju.I. Sin'ko // Informacijni texnologiji i zasobi navchannja. – 2009. – №1(9). – Rezhim dostupu do zhurn.: http://www.nbuv.gov.ua/e-journals/ITZN/em9/emg.html.
7. Sin'ko Ju.I. Zagal'ni zasadi ta vimogi do pobudovi metodichnoji sistemi navchannja matematichnoji logiki iz vikoristannjam informacijnix texnologij / Ju.I. Sin'ko // Informacijni texnologiji v osviti: [zb. nauk. prac' / golov. red. Spivakovs'kij O.V. ta in.]. – Xerson: Vidavnictvo XDU, 2008. – Vip. 1. – S. 134–140.
8. Sin'ko Ju.I. Organizacijni formi metodichnoji sistemi navchannja matematichnoji logiki z vikoristannjam informacijnix texnologij / Ju.I.Sin'ko // Teorija ta metodika navchannja matematiki, fiziki, informatiki: [zb. nauk. prac': v 3 t. / redkol. Solovjov V.M. ta in.], Vip. VI. – Krivij Rig: Vidavnichij viddil NMetAU, 2008. – T. 1: Teorija ta metodika navchannja matematiki. – Rozd. 1: Komp‘juterno-orijentovani sistemi navchannja matematiki. – S. 45–56.
9. Sin'ko Ju.I. Metodichni rekomendaciji vivchennja temi «Normal'ni formi dlja formul algebri vislovlen'» z vikoristannjam integrovanogo programnogo seredovishha «MatLog» / Ju.I.Sin'ko // Informacijni texnologiji v osviti: [zb. nauk. prac' / golov. red. Spivakovs'kij O.V. ta in.]. – Xerson: Vidavnictvo XDU, 2008. – Vip. 2. – S.130–139.
10. Sin'ko Ju.I. Sistemi komp’juternoji matematiki ta jix rol' u matematichnij osviti / Ju.I. Sin'ko // Informacijni texnologiji v osviti: [zb. nauk. prac' / golov. red. Spivakovs'kij O.V. ta in.]. – Xerson: Vidavnictvo XDU, 2009. – Vip. 3. – S.274–278.
11. Igoshin V.I. Zadachnik-praktikum po matematicheskoj logike / V.I.Igoshin. - M.: Prosveshhenie, 1986. - 160 s.
12. Moshhenskij V. A. Lekcii po matematicheskoj logike / V.A.Moshhenskij. - Mn., Izd-vo BGU, 1973. - 160 s
