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

Автор(и)

  • Ю.І. Сінько Херсонський державний університет, м. Херсон

DOI:

https://doi.org/10.14308/ite000047

Анотація

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

Завантажити

Дані для завантаження поки недоступні.

Завантаження

Опубліковано

2008-05-07

Номер

№ 2 (2008): Збірник наукових праць "Інформаційні технології в освіті" (ІТО)

Розділ

Articles

Ліцензія

Ліцензія Creative Commons


This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

Як цитувати

Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. (2008). Збірник наукових праць "Information Technologies in Education" (ITE), 2, 130-139. https://doi.org/10.14308/ite000047

Статті цього автора (цих авторів), які найбільше читають