Обчислення предикатів
1апарат обчислення предикатів
2у термінах обчислення предикатів
3цілі, часто виражені в термінах обчислення предикатів
4мова обчислення предикатів
5мова обчислення предикатів
6обчислення предикатів
апарат обчислення предикатів - predicate calculus machinery
вузьке обчислення предикатів - restricted predicate calculus
квантифікація предикату - quantification of the predicate
застосовність предикату - predicate selectivity
предикат тотожності - sameness predicate
предикат із запереченням - negated predicate
7мова заснована на логіці предикатів
апарат обчислення предикатів - predicate calculus machinery
вузьке обчислення предикатів - restricted predicate calculus
квантифікація предикату - quantification of the predicate
застосовність предикату - predicate selectivity
предикат тотожності - sameness predicate
8обчислення предикатів
[lang name="Russian"]апарат обчислення предикатів - predicate calculus machinery
[lang name="Russian"]вузьке обчислення предикатів - restricted predicate calculus
[lang name="Українська"]квантифікація предикату — quantification of the predicate
[lang name="Russian"]застосовуваність предикату - predicate selectivity
[lang name="Russian"]предикат тотожності - sameness predicate
9логіка предикатів
[lang name="Russian"]апарат обчислення предикатів - predicate calculus machinery
[lang name="Russian"]вузьке обчислення предикатів - restricted predicate calculus
[lang name="Українська"]квантифікація предикату — quantification of the predicate
[langname="Russian"]застосовуваність предикату - predicate selectivity
[lang name="Russian"]предикат тотожності - sameness predicate
10логіка предикатів
предикат тотожності - sameness predicate
застосовність предикату - predicate selectivity
квантифікація предикату - quantification of the predicate
вузьке обчислення предикатів - restricted predicate calculus
апарат обчислення предикатів - predicate calculus machinery
11обчислення предикатів
предикат тотожності - sameness predicate
застосовність предикату - predicate selectivity
квантифікація предикату - quantification of the predicate
вузьке обчислення предикатів - restricted predicate calculus
апарат обчислення предикатів - predicate calculus machinery
12обчислення предикатів
предикат тотожності - sameness predicate
застосовність предикату - predicate selectivity
квантифікація предикату - quantification of the predicate
вузьке обчислення предикатів - restricted predicate calculus
апарат обчислення предикатів - predicate calculus machinery
13державний апарат
законодавчий апарат - legislative machine
літальний апарат; аероплан - flying machine
апарат для групового паяння - soldering machine
адміністративний апарат - administrative machine
апарат для термосклеювання - heat-sealing machine
електрофотографічний апарат - electrostatographic machine
апарат обчислення предикатів - predicate calculus machinery
апарат уповільненого відтворення - slow motion machine
осмолочний інжекційний апарат - pitch injection machine
централізаційний апарат - interlocking control machine
14диференціальне обчислення
обчислення предикатів - functional calculus
реляційне числення - relational calculus
ситуаційне числення - situation calculus
обчислення висловлювань - sentential calculus
операційне обчислення - operational calculus
апарат обчислення предикатів - predicate calculus machinery
вузьке обчислення предикатів - restricted predicate calculus
пропозиційне числення - propositional calculus
обчислення нескінченно малих - infinitesimal calculus
обчислення ймовірностей - calculus of probability
15індексне обчислення
апарат обчислення предикатів - predicate calculus machinery
вузьке обчислення предикатів - restricted predicate calculus
пропозиційне числення - propositional calculus
обчислення нескінченно малих - infinitesimal calculus
обчислення ймовірностей - calculus of probability
16застосовуваність предикату
предикат із запереченням - negated predicate
предикат тотожності - sameness predicate
квантифікація предикату - quantification of the predicate
вузьке обчислення предикатів - restricted predicate calculus
апарат обчислення предикатів - predicate calculus machinery
17функціональне обчислення
апарат обчислення предикатів - predicate calculus machinery
вузьке обчислення предикатів - restricted predicate calculus
пропозиційне числення - propositional calculus
обчислення нескінченно малих - infinitesimal calculus
обчислення ймовірностей - calculus of probability
18векторне обчислення
[lang name="Russian"]апарат обчислення предикатів - predicate calculus machinery
[lang name="Russian"]вузьке обчислення предикатів - restricted predicate calculus
[lang name="Russian"]пропозиційне обчислення - propositional calculus
[lang name="Russian"]обчислення нескінченно малих - infinitesimal calculus
[lang name="Russian"]обчислення ймовірностей - calculus of probability
19обчислення
[lang name="Russian"]апарат обчислення предикатів - predicate calculus machinery
[lang name="Russian"]вузьке обчислення предикатів - restricted predicate calculus
[lang name="Russian"]пропозиційне обчислення - propositional calculus
[lang name="Russian"]обчислення нескінченно малих - infinitesimal calculus
[lang name="Russian"]обчислення ймовірностей - calculus of probability
20макальний апарат
[lang name="Russian"]електрофотографічний апарат - electrostatographic machine
[lang name="Russian"]апарат обчислення предикатів - predicate calculus machinery
[lang name="Russian"]апарат уповільненого відтворення - slow motion machine
[lang name="Russian"]осмолочний інжекційний апарат - pitch injection machine
[lang name="Russian"]централізаційний апарат - interlocking control machine
також в інших словниках:
Обчислення предикатів - Логіка першого порядку (обчислення предикатів) формальне обчислення, що допускає висловлювання щодо змінних, фіксованих функцій, і предикатів. Розширює логіку висловлювань. У свою чергу є окремим випадком логіки вищого ... Вікіпедія
ПРЕДИКАТІВ ЗЛІЧЕННЯ - формальна аксіоматич. теорія; обчислення, призначене для опису логічнихзаконів, справедливих для будь-якої непустої області об'єктів з довільними заданими цих об'єктах предикатами (т. в. властивостями і відносинами). Для … Математична енциклопедія
ПРЕДИКАТІВ ЛІКУВАННЯ — загальна назва обчислень математичної логіки, що є формалізацією тих розділів суч. логіки, які вивчають суб'єктно предикатну структуру речень (висловлювань), що розуміється в ширшому, ніж у традиціях. логіці, сенсі: окрім теорії … Філософська енциклопедія
ЛОГІКА ПРЕДИКАТІВ — центральний розділ логіки, в якому вивчається суб'єктно-предикатна структура висловлювання та істинні взаємозв'язки між ними. Л.П. є змістовним розширенням логіки висловлювань. У рамках даного розділу будь-яке висловлювання… … Філософська енциклопедія
Логіка предикатів - розділ математичної логіки, що вивчає логічні закони, загальні для будь-якої області об'єктів дослідження (що містить хоч один об'єкт) із заданими на цих об'єктах предикатами (тобто властивостями і відносинами). В результаті ... Велика радянська енциклопедія
ЛОГІЧНІ ЗЛІЧЕННЯ - формалізації змістовних логіч. теорій; виведені об'єкти Л. п. інтерпретуються як судження, складені з найпростіших (що мають, взагалі кажучи, суб'єктно-предикатну структуру) за допомогою зв'язок і кванторів. Найчастіше… … Математична енциклопедія
ЛОГІКО-МАТЕМАТИЧНІ ЗЛІЧЕННЯ - прикладні обчислення, формалізації математич. теорій. Л. м. в. задається своєю мовою та переліком постулатів (ці елементи утворюють синтаксис).і в більшості випадків забезпечується семантикою. Істотними рисами, що відрізняють Л. м. в. від аксіоматич … Математична енциклопедія
логіка предикатів - ЛОГІКАПРЕДИКАТІВ розділ символічної логіки, вивчає міркування та інших. мовні контексти з урахуванням внутрішньої структури простих висловлювань, що входять до них; у своїй висловлювання мови трактуються функціонально, тобто. як знаки деяких ... Енциклопедія епістемології та філософії науки
ЛОГІКА ПРЕДИКАТІВ - розділ дедуктивної логіки, в якому провідну роль відіграє вплив внутрішньої структури суджень на логічний висновок. Оскільки тут повністю зберігається характер зв'язків логіки висловлювань (див. Логіка висловлювань ), то Л. п. можна розглядати...
Логічні обчислення - теорія формальних логічних обчислень. Ця теорія інакше називається ще математичною чи формальною логікою. Історично логічні обчислення були розроблені для теоретичної формалізації процесу доказу в різних теоріях.
обчислення предикатів — розділ математичної логіки, логічне обчислення, до алфавіту знаків якого, крім символів обчислення висловлювань, входять також символи речей (індивідів), їх властивостей і відносин, а також виразів «усі» і «деякі» ( квантори), що … Енциклопедичний словник