Деякі аспекти навчання математичної логіки студентів інформатичних спеціальностей

Abstract

У статті вказується на важливість змістового оновлення дисципліни «Математична логіка» шляхом включення таких тем, як багатозначні логіки, нечіткі логіки, мінімізація бульових функцій; описано методичні особливості навчання вказаних тем.В статье рассматриваются проблемы обновления содержания дисциплины «Математическая логика» путем включения таких тем, как многозначные логики, нечеткие логики, минимизация булевых функций; описаны методические особенности изучения указаных тем.The article describes the importance of content updating of the course "Mathematical Logic" by including topics such as multi-valued logic, fuzzy logic, minimization of Boolean functions; describes the methodological features of teaching these topics.