Розглянуто засаду математичної логіки - алгебру висловлювань (АВ). Розкрито суть поняття висловлювання. Запропоновано критерій рівносильності формул, описано основні властивості логічних операцій, а також класи формул АВ. Проаналізовано особливості з'ясування логічної правильності міркувань за допомогою методу резолюцій. Визначено основні можливості програми Master of Logіc.

Рассмотрена основа математической логики - алгебра высказываний (АВ). Раскрыта сущность понятия высказывания. Предложен критерий равносильности формул, описаны основные свойства логических операций, а также классы формул АВ. Проанализированы особенности согласования логической правильности размышлений с помощью метода резолюций. Определены основные возможности программы Master of Logic.

Вперше розроблено комп'ютерно-орієнтовану методичну систему навчання математичної логіки у ВНЗ для дистанційного навчання з підтримкою практичної математичної діяльності. Розкрито можливості використання даної системи або її компонентів за умов денного або заочного навчання. Удосконалено комп'ютерно-орієнтовані педагогічні технології підвищення ефективності навчання математичних дисциплін у процесі фахової підготовки майбутніх учителів математики. Обгрунтовано компонентно-орієнтований підхід щодо організації навчально-виховного процесу та концепцію комп'ютерно-орієнтованих систем підтримки навчальної практичної діяльності.

У процесі аналізу досвіду викладання логіки в профільних класах гімназії (5 - 7 класи) виявлено деякі методичні прийоми та педагогічні технології її викладання. Розглянуто окремі сторони сприяння інтелектуальному розвиткові учнів шляхом вивчення прийомів правильного (логічного) мислення.

Проаналізовано взаємозв'язок в системі підготовки вчителів математики в педагогічному ВНЗ курсу математичної логіки з іншими математичними курсами - геометрії, алгебри і теорії чисел, математичного аналізу, а також з курсами методики викладання математики, історії математики. Наявність зв'язків між елементами системи та їх якість є важливою характеристикою педагогічної системи.

Висвітлено теоретичні та практичні аспекти підготовки фахівців у галузі інформаційних технологій за сучасних умов. Розглянуто інтеграційні підходи до вивчення математичної логіки, програмування та споріднених до них дисциплін, які викладаються на кафедрі теорії та технології програмування Київського національного університету імені Тараса Шевченка.