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

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

Наведено основні відомості з мови логічного програмування Prolog. Значну увагу приділено прикладам програм. Розкрито особливості програмування на мові Prolog. Зазначено, що програмування на цій мові складається з таких основних етапів: опис деяких фактів про об'єкти та відношення між ними, визначення окремих правил про об'єкти і відношення між ними, формулювання питань (запитів) про об'єкти і відношення між ними.