Клубук Х. and Соколюк А. and Полюхович Н.В. (2025) АНАЛІЗ ОНЛАЙН ЗАСОБІВ ДЛЯ ДОВЕДЕННЯ ІСТИННОСТІ ЛОГІЧНИХ МІРКУВАНЬ. Підготовка педагогів до професійної діяльності в умовах змішаного навчання. pp. 58-60.
|
Text
Klybyk_H._Analiz.pdf Download (401kB) | Preview |
Abstract
Проаналізовано можливості використання онлайн-інструментів для перевірки істинності логічних міркувань у контексті вивчення дискретної математики та математичної логіки. Основну увагу приділено таким засобам, як генератори таблиць істинності, калькулятори булевої алгебри та системи для оцінювання логічної еквівалентності. Визначено їхні переваги та недоліки.
| Item Type: | Article |
|---|---|
| Additional Information: | Клубук Х. Аналіз онлайн засобів для доведення істинності логічних міркувань / Х. Клубук, А. Соколюк, Н. В. Полюхович // Підготовка педагогів до професійної діяльності в умовах змішаного навчання : матер. ІV Всеукр. наук.- практ. конф. - Рівне : РВВ РДГУ, 2025. - С. 58-60. |
| Uncontrolled Keywords: | Доведення істинності, логічні міркування, онлайн засоби |
| Subjects: | 3 Суспільні науки > 37 Освіта. Виховання. Навчання. Дозвілля > 378 Вища освіта. Університети. Підготовка наукових кадрів 5 Математика. Природничі науки > 51 Математика |
| Divisions: | Факультет математики та інформатики > Кафедра цифрових технологій та методики навчання інформатики |
| Depositing User: | С. І. Оніщук |
| Date Deposited: | 24 Jun 2025 07:18 |
| Last Modified: | 24 Jun 2025 07:18 |
| URI: | http://repository.rshu.edu.ua/id/eprint/18372 |
Actions (login required)
 |
View Item |
