Елементи комп’ютерної підтримки навчання математичної логіки

Скорочена інформація про документ
dc.contributor.authorКрасножон, Олексій Борисовичuk
dc.date.accessioned2023-08-08T16:07:27Z
dc.date.available2023-08-08T16:07:27Z
dc.date.issued2022
dc.description.abstractСтаття містить аналіз окремих етапів дослідження методичної проблеми розробки компонентів ефективної комп’ютерно-орієнтованої методичної системи навчання дисципліни «Математична логіка», яка передбачена освітньо-професійною програмою підготовки учителів математики в педагогічному закладі вищої освіти. Розглянуто методичні та процесуальні питання спрощення логічних виразів при проєктуванні контактних схем у математичному програмному середовищі Derive. Наведено приклади розв’язування окремих типових задач курсу математичної логіки з відповідними обчислювальними реалізаціями в математичному програмному середовищі Derive. Здійснено стислий огляд наукової, навчальної та методичної літератури, яка використовується під час викладання курсу математичної логіки, обґрунтовано доцільність використання математичних програмних засобів під час опрацювання змісту зазначеної дисципліни. Вказано на вкрай важливе значення розв’язання методичної та наукової проблеми розробки та апробації інноваційно-орієнтованих компонентів методичної системи навчання математичних дисциплін, що є вагомою передумовою фахової підготовки нової генерації сучасних висококваліфікованих вчителів математики. Сформульовано положення про доцільність розробки алгоритмічних складників формувального та підсумкового оцінювання освітньої діяльності здобувачів вищої педагогічної освіти, фахова підготовка яких передбачає засвоєння дисциплін математичного циклу. Звернуто увагу на доцільність методично підготовленого застосування математичних середовищ у процесі навчання математичної логіки, яке сприяє розв’язанню проблеми формування в студентів як фахових предметних, так і загальних компетентностей, включаючи інформаційно-цифрову. Методичні рекомендації, подані в статті, можуть бути корисними учням та студентам для організації та активізації самостійної навчальної діяльності, учителям середніх навчальних закладів, керівникам факультативної та гурткової роботи з учнями, викладачам курсу математичної логіки педагогічних закладів вищої освіти.uk
dc.identifier.citationКрасножон О. Елементи комп’ютерної підтримки навчання математичної логіки / Олексій Красножон // Наукові записки БДПУ. Сер.: Педагогічні науки. – 2022. – Вип. 3. – С.314–322.uk
dc.identifier.issn2412-9208
dc.identifier.urihttps://dspace.bdpu.org.ua/handle/123456789/496
dc.language.isouk
dc.publisherБердянський державний педагогічний університетuk
dc.relation.ispartofseriesПедагогічні науки; 3uk
dc.subjectВисловленняuk
dc.subjectалгебра висловленьuk
dc.subjectлогічні операції над висловленнямиuk
dc.subjectвідношення логічного слідування на базі алгебри висловленьuk
dc.subjectконтактна схемаuk
dc.subjectлогічні закони алгебри висловленьuk
dc.subjectтавтологіяuk
dc.subjectправила виведення на базі алгебри висловленьuk
dc.subjectлогічний аналіз міркувань та судженьuk
dc.titleЕлементи комп’ютерної підтримки навчання математичної логікиuk
dc.title.alternativeElements of computer support learning mathematical logicen
dc.typeArticleen
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Krasnozhon-Elements-of-computer-support-learning-mathematical-logic.pdf
Розмір:
752.04 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed to upon submission
Опис:
Завантажити
Зібрання
Випуск 3 (2022)