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