Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”
DOI:
https://doi.org/10.14308/ite000047Анотація
У даній статті мова йде про впровадження нових інформаційних технологій в процесі вивчення математичної логіки у Херсонському державному університеті. Розглядаються питання методики навчання основам математичної логіки з використанням інтегрованого програмного середовища “МатЛог”.
Завантаження
Дані завантаження ще не доступні.
Показники метрики:
##plugins.generic.paperbuzz.loading##
Посилання
<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>
##submission.downloads##
Опубліковано
2008-05-07
Як цитувати
Сінько, Ю. (2008). Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. Збірник наукових праць "Information Technologies in Education" (ITE), (2), 130–139. https://doi.org/10.14308/ite000047
Номер
Розділ
Articles
Ліцензія
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
