Поточний випуск

Locations of visitors to this page

Вхід

Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”.


Рік публікації2008
АвториСінько Ю. І.
Мова статтіУкраїнська
Ключові слова-
Аннотація

У даній статті мова йде про впровадження нових інформаційних технологій в процесі вивчення математичної логіки у Херсонському державному університеті. Розглядаються питання методики навчання основам математичної логіки з використанням інтегрованого програмного середовища “МатЛог”.

Нумерація сторінок130-139
ПОВНИЙ ТЕКСТ СТАТТІ

PDF


DOI: 
10.14308/ite000047
Додаток
[file] 130-139.pdf

Altmetric: 

Література: 

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: Немає
Бібліографічне оформлення статті:
Сінько Ю.І. Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. / Ю.І.Сінько // Інформаційні технології в освіті. - 2008. - № 2. - С. 130-139.