Арифметика предикатів – це
Арифметика - Ганс Себальд Бехам. Арифметика. XVI століття Арифметика (ін. грец. ἀ … Вікіпедія
АРИФМЕТИКА ФОРМАЛЬНА - арифметичне обчислення, логіко математич. обчислення, що формалізує елементарну теорію чисел. Мова найбільш уживаного варіанта А. ф. містить константу 0, числові змінні, символ рівності, функціональні символи (додаток 1) і… …
Логіка предикатів - розділ математичної логіки, що вивчає логічні закони, загальні для будь-якої області об'єктів дослідження (що містить хоч один об'єкт) із заданими на цих об'єктах предикатами (тобто властивостями і відносинами). В результаті ... Велика радянська енциклопедія
Формальна арифметика - Формулювання арифметики у вигляді формальної (аксіоматичної) системи (див. Аксіоматичний метод). Мова Ф. а. містить константу 0, числові змінні, символ рівності, функціональні символи +, •, (додаток 1) та логічні зв'язки (див. … Велика радянська енциклопедія
ГЕЙТИНГА ФОРМАЛЬНА СИСТЕМА - Гейтипга обчислення, назва трьох формальних систем конструктивної логіки, запропонованих А. Рейтинг [1]. Перша з них гейтингівська, або інтуїціоністська, обчислення висловлювань; формалізація принципів конструктивної логіки висловлювань;
КОНСТРУКТИВНА ЛОГІКА — розділ математичної логіки, що вивчає міркування про конструктивні об'єкти та конструкції. При такому розумінні К. л. ширше, ніж логіка конструктивної математики. Найпомітніша відмінність від традиційної (класичної) логіки полягає у відсутності… … Математична енциклопедія
ЗЛІЧЕННЯ — (формальна система) система символів, основними компонентами якої є: 1) алфавіт (сукупність)елементарні символи літери. цифр, дужок тощо), 2) правила побудови формул із символів алфавіту, 3) аксіоми (вихідні формули, що доводяться) … Філософська енциклопедія
ЛОГІКО-МАТЕМАТИЧНІ ЗЛІЧЕННЯ - прикладні обчислення, формалізації математич. теорій. Л. м. в. задається своєю мовою та переліком постулатів (ці елементи утворюють синтаксис).і в більшості випадків забезпечується семантикою. Істотними рисами, що відрізняють Л. м. в. від аксіоматич … Математична енциклопедія
Дедуктивна теорія — Синонім теорія фокусу Зміст 1 Визначення та різновиди 2 Різновиди дедуктивних теорій … Вікіпедія