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. 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
