Клубук Х. та Соколюк А. та Полюхович Н.В. (2025) АНАЛІЗ ОНЛАЙН ЗАСОБІВ ДЛЯ ДОВЕДЕННЯ ІСТИННОСТІ ЛОГІЧНИХ МІРКУВАНЬ. Підготовка педагогів до професійної діяльності в умовах змішаного навчання. с. 58-60.
![[img]](http://repository.rshu.edu.ua/style/images/fileicons/text.png) |
Текст
Klybyk_H._Analiz.pdf Завантажити (401kB) |
Анотація
Проаналізовано можливості використання онлайн-інструментів для перевірки істинності логічних міркувань у контексті вивчення дискретної математики та математичної логіки. Основну увагу приділено таким засобам, як генератори таблиць істинності, калькулятори булевої алгебри та системи для оцінювання логічної еквівалентності. Визначено їхні переваги та недоліки.
| Тип елементу: | Стаття |
|---|---|
| Додаткова інформація (бібліографічний опис): | Клубук Х. Аналіз онлайн засобів для доведення істинності логічних міркувань / Х. Клубук, А. Соколюк, Н. В. Полюхович // Підготовка педагогів до професійної діяльності в умовах змішаного навчання : матер. ІV Всеукр. наук.- практ. конф. - Рівне : РВВ РДГУ, 2025. - С. 58-60. |
| Ключові слова: | Доведення істинності, логічні міркування, онлайн засоби |
| Тематика (за УДК): | 3 Суспільні науки > 37 Освіта. Виховання. Навчання. Дозвілля > 378 Вища освіта. Університети. Підготовка наукових кадрів 5 Математика. Природничі науки > 51 Математика |
| Підрозділи: | Факультет математики та інформатики > Кафедра цифрових технологій та методики навчання інформатики |
| Користувач, що депонує: | С. І. Оніщук |
| Дата внесення: | 24 Черв 2025 07:18 |
| Останні зміни: | 24 Черв 2025 07:18 |
| URI: | http://repository.rshu.edu.ua/id/eprint/18372 |
Необхідні дії (обов’язкова авторизація)
 |
Перегляд елементу |
