The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment “MatLog”
DOI:
https://doi.org/10.14308/ite000047Abstract
In the article the speech goes about implementation of new information technologies in process of mathematical logic learning at the Kherson State University. The questions of a technique of training to bases of mathematical logic with use of integrated program environment “MatLog” are considered.
Downloads
Download data is not yet available.
Metrics
Metrics Loading ...
References
<uk>
1. Сінько Ю.І. Інтегроване програмне середовище системи навчання математичної логіки “МатЛог” // Інформаційні технології і засоби навчання. – Жовтень 2007. – №3. – [WWW document]. URL http://www.nbuv.gov.ua/e-journals/ITZN/em3/emg.html (19 листопада 2007 р.)
2. Сінько Ю.І. Методичні особливості вивчення деяких тем розділу “Алгебра висловлень” з використанням інтегрованого програмного середовища “МатЛог”. Комп‘ютерно – орієнтовані системи навчання: Зб. Наук. праць. Вип. 6 (13) / Редкол. – К.: НПУ ім. М.П.Драгоманова, 2008. – 177с. (С.158-165).
3. Сінько Ю.І. Організаційні форми методичної системи навчання математичної логіки з використанням інформаційних технологій. Теорія та методика навчання математики, фізики, інформатики: Збірник наукових праць. Випуск VII: В 3-х томах. – Кривий Ріг: Видавничий відділ НМетАУ, 2008. – Т. 1: Теорія та методика навчання математики. – 448 с. (С. 45-56).
4. Игошин В.И. Математическая логика в системе подготовки учителей математики. – Саратов: Изд-во “Слово”, 2002. – 240 с.
5. Хромой Я.В. Математична логіка. – К.: Вища школа, 1983. – 208 с.
</uk>
<en>
1. Sin'ko Ju.I. Integrovane programne seredovyshhe systemy navchannja matematychnoi' logiky “MatLog” // Informacijni tehnologii' i zasoby navchannja. – Zhovten' 2007. – №3. – [WWW document]. URL http://www.nbuv.gov.ua/e-journals/ITZN/em3/emg.html (19 lystopada 2007 r.)
2. Sin'ko Ju.I. Metodychni osoblyvosti vyvchennja dejakyh tem rozdilu “Algebra vyslovlen'” z vykorystannjam integrovanogo programnogo seredovyshha “MatLog”. Komp‘juterno – orijentovani systemy navchannja: Zb. Nauk. prac'. Vyp. 6 (13) / Redkol. – K.: NPU im. M.P.Dragomanova, 2008. – 177s. (S.158-165).
3. Sin'ko Ju.I. Organizacijni formy metodychnoi' systemy navchannja matematychnoi' logiky z vykorystannjam informacijnyh tehnologij. Teorija ta metodyka navchannja matematyky, fizyky, informatyky: Zbirnyk naukovyh prac'. Vypusk VII: V 3-h tomah. – Kryvyj Rig: Vydavnychyj viddil NMetAU, 2008. – T. 1: Teorija ta metodyka navchannja matematyky. – 448 s. (S. 45-56).
4. Igoshyn V.I. Matematicheskaja logika v sisteme podgotovki uchitelej matematiki. – Saratov: Izd-vo “Slovo”, 2002. – 240 s.
5. Hromoj Ja.V. Matematychna logika. – K.: Vyshha shkola, 1983. – 208 s.
</en>
1. Сінько Ю.І. Інтегроване програмне середовище системи навчання математичної логіки “МатЛог” // Інформаційні технології і засоби навчання. – Жовтень 2007. – №3. – [WWW document]. URL http://www.nbuv.gov.ua/e-journals/ITZN/em3/emg.html (19 листопада 2007 р.)
2. Сінько Ю.І. Методичні особливості вивчення деяких тем розділу “Алгебра висловлень” з використанням інтегрованого програмного середовища “МатЛог”. Комп‘ютерно – орієнтовані системи навчання: Зб. Наук. праць. Вип. 6 (13) / Редкол. – К.: НПУ ім. М.П.Драгоманова, 2008. – 177с. (С.158-165).
3. Сінько Ю.І. Організаційні форми методичної системи навчання математичної логіки з використанням інформаційних технологій. Теорія та методика навчання математики, фізики, інформатики: Збірник наукових праць. Випуск VII: В 3-х томах. – Кривий Ріг: Видавничий відділ НМетАУ, 2008. – Т. 1: Теорія та методика навчання математики. – 448 с. (С. 45-56).
4. Игошин В.И. Математическая логика в системе подготовки учителей математики. – Саратов: Изд-во “Слово”, 2002. – 240 с.
5. Хромой Я.В. Математична логіка. – К.: Вища школа, 1983. – 208 с.
</uk>
<en>
1. Sin'ko Ju.I. Integrovane programne seredovyshhe systemy navchannja matematychnoi' logiky “MatLog” // Informacijni tehnologii' i zasoby navchannja. – Zhovten' 2007. – №3. – [WWW document]. URL http://www.nbuv.gov.ua/e-journals/ITZN/em3/emg.html (19 lystopada 2007 r.)
2. Sin'ko Ju.I. Metodychni osoblyvosti vyvchennja dejakyh tem rozdilu “Algebra vyslovlen'” z vykorystannjam integrovanogo programnogo seredovyshha “MatLog”. Komp‘juterno – orijentovani systemy navchannja: Zb. Nauk. prac'. Vyp. 6 (13) / Redkol. – K.: NPU im. M.P.Dragomanova, 2008. – 177s. (S.158-165).
3. Sin'ko Ju.I. Organizacijni formy metodychnoi' systemy navchannja matematychnoi' logiky z vykorystannjam informacijnyh tehnologij. Teorija ta metodyka navchannja matematyky, fizyky, informatyky: Zbirnyk naukovyh prac'. Vypusk VII: V 3-h tomah. – Kryvyj Rig: Vydavnychyj viddil NMetAU, 2008. – T. 1: Teorija ta metodyka navchannja matematyky. – 448 s. (S. 45-56).
4. Igoshyn V.I. Matematicheskaja logika v sisteme podgotovki uchitelej matematiki. – Saratov: Izd-vo “Slovo”, 2002. – 240 s.
5. Hromoj Ja.V. Matematychna logika. – K.: Vyshha shkola, 1983. – 208 s.
</en>
Downloads
Published
07.05.2008
How to Cite
Sinko Ю. (2008). The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment “MatLog”. Journal of Information Technologies in Education (ITE), (2), 130–139. https://doi.org/10.14308/ite000047
Issue
Section
Articles
License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.