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”
Abstract
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
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 с.
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.
Published
2008-05-07
How to Cite
SinkoY. (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
Section
Articles
