У курсі пропонується широкий огляд методів постановки і вирішення завдань в різних додатках, що використовують класичну логіку предикатів першого порядку. Завдання виконуються як доказ теорем по кроках, що дозволяє сформулювати інтуїтивне уявлення і довести існування рішення. Використання мови логіки дозволяє зрозуміти зміст необхідних процедур і перейти до алгоритмізації. Широко трактується інтерпретація логіки в різних областях. Пропоновані вправи і приклади ілюстровані доказами, по можливості вербальними, що дозволяє набути досвіду в роботі з різними завданнями і напрямками. Корисно знайомство з іншими інтерпретаціями, що склалися історично в рамках класичної логіки. Не завжди це сувора теорія і частіше потрібно визначення властивостей нових областей і пошук відповідних методів роботи з даними (фактами). Матеріал буде корисний для навчання бакалаврату, що має базові знання в дискретній математиці, алгоритмізації та програмуванні для розуміння необхідності використання логіки в будь-якого роду діяльності. Відповідає актуальним вимогам Федерального державного освітнього стандарту середньої професійної освіти та професійним вимогам . Для студентів широкого кола інженерних спеціальностей (проектування обчислювальних систем, програмування та ін.) ) і гуманітарних напрямків, де передбачається створення і використання експертних систем (економіка, медицина, менеджмент та ін) .