Current issue

User login

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



Year of Publication2008
AuthorsSinko Y. I.
Language articleUkrainian
Keywords-
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.

Pagination130-139
Full Text

PDF


DOI: 
10.14308/ite000047
Attachment
[file] 130-139.pdf


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

REFERENCES (TRANSLATED AND TRANSLITERATED)

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.



0
Your rating: None
Bibliography:
Сінько Ю.І. Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. / Ю.І.Сінько // Інформаційні технології в освіті. - 2008. - № 2. - С. 130-139.