Шевельова А. Є. Основи математичної логіки : навч. посіб. / А. Є. Шевельова; Дніпровський національний університет імені Олеся Гончара. - Дніпро : Ліра, 2023. - 105 c. - Бібліогр.: с. 105 - укp.Представлено розділи, які традиційно вивчаються в курсі математичної логіки: алгебра логіки та числення висловлювань, логіка та її числення предикатів. Розглянуто питання змістовного та формального визначення логіки висловлювань та логіки предикатів. Наведено велику кількість прикладів і розвязаних задач, які допомагають засвоїти та закріпити матеріал, що викладається. Розглянуто прикладні числення предикатів, зокрема формальна арифметика, та модальні логіки. Визначено логіку висловлювань: висловлювання та логічні операції над ними; формули логіки висловлювань; класифікація формул алгебри висловлювань; логічна рівносильність формул; нормальні форми формул логіки висловлювань; логічне слідування формул; застосування алгебри висловлювань до аналізу та синтезу контактних (перемикальних) схем. Розглянуто числення висловлювань; аксіоми числення висловлювань; правила виведення числення висловлювань; формальне доведення; теорема дедукці; наслідки з теореми дедукції; повнота числення висловлювань; Ннсуперечливість, розв'язність ЧВ; незалежність аксіом формалізованого ЧВ; метод резолюцій у логіці висловлювань; метод резолюцій для хорновських диз'юнктів. Визначено логіку предикатів: поняття предиката; класифікація предикатів та логічні операції над предикатами; кванторні операції над предикатами; мови першого порядку; пренексна (випереджена) нормальна та сколемівська стандартна форми формули; сколемівська стандартна форма формули; визначення та властивості виконуваності формули на послідовност. Індекс рубрикатора НБУВ: В121 я 73
Рубрики:
Шифр НБУВ: ВА864950 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|