Дисципліна формує математичне мислення та розуміння будови економіко-математичних, інформаційних курсів як системної складової підготовки майбутнього фахівця, який спеціалізується на проблематиці інформаційної економіки. Цю проблематику зручно описувати з використанням формальних математичних мов, які саме й є предметом вивчення у курсі «Основи математичної логіки». Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми предметної області під час її формалізованого опису та моделювання. Символіка та мова математичної логіки дають змогу стисло, точно та однозначно описувати різноманітні предметні області, проблемні ситуації, переводити вербальні постановки техніко-економічних та управлінських задач у чіткі, лаконічні формальні конструкції, дослідження яких можна проводити вже із застосуванням інструментарію відповідних наукових теорій та навчальних дисциплін.
Цей курс є базовим для студентів спеціальності 051 «Економіка», які навчаються за освітньою програмою «Інформаційна економіка», а метою курсу є надання студентам ґрунтовних теоретичних знань та розвиток у них прикладних практичних навичок із застосування методів теорії множин, теорії логічних висловлювань, числення предикатів і теорії графів до формування в них навичок точного, структурованого і системного мислення.
