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

• Шевельова Алла Євгенівна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"