Поєднання логіки та програмування на засіданні математичного гуртка
Викладач Наталія Жвава провела засідання математичного гуртка на тему: «Застосування основ програмування до дискретної математики (виконання операцій над висловленнями)».
Метою заняття було поглибити знання студентів з дискретної математики шляхом використання елементів програмування для виконання логічних операцій над висловленнями.
Під час засідання учасники:
•повторили основні поняття логіки висловлень;
•розглянули логічні операції (кон’юнкція, диз’юнкція, заперечення, імплікація, еквівалентність);
•навчилися складати таблиці істинності;
•реалізували виконання логічних операцій засобами програмування (з використанням умовних операторів та логічних змінних);
•розв’язували практичні задачі з використанням програмного підходу.
Студенти активно працювали, виконували індивідуальні завдання, аналізували результати обчислень та робили висновки щодо доцільності застосування програмування при вивченні дискретної математики.
Засідання сприяло розвитку логічного мислення, алгоритмічної культури та практичних навичок програмування.


