|
|
|
|
|
|
|
|
|
Predicate logic
| Глоссарий по вычислительной технике |
- Логика предикатов
- An inferential logic that reasons from sentences that are composed of terms (e.g., nouns) and predicates (verbs). it is the modern descenpage 234 dent of classical aristotelian logic. a first-order predicate logic allows the things represented by the terms to be variable; a second-order predicate logic also allows the predicates to range over classes of predicates.
|
|
Logic, английский
- Логика, логическая схема
- Laser optical guidance integration concept
- Loveland geographic information/cartographic system
- N логика deontic ~ деонтическая логика first order ~ логика первого порядка (ант. second order ~) formal ~ формальная логика intensional ~ интенсиональная логика predicate ~ логика предикатов3 propositional ~ логика высказываний4 second order ~ логика второго порядка (ант. first order ~)
- Means or methods for reasoning from a "known" or given set of facts and assumptions to other facts and conclusions. there are multiple logic systems including inductive inference, nonmonotone logic, predicate logic, as well as multiple deductive logic.
Logic, английский
Logic analysis, английский
Логический анализ
Logic analyzer, английский
Логический анализатор
Logic apps, английский
A feature of app service that automates the access and use of data across clouds without writing code.
Logic array, английский
Logic automation development language;, русский
Logic bomb, английский
Логическая "бомба"; ловушка; программа намеренного искажения данных
Logic bug, английский
Логическая ошибка
Logic capability, английский
Logic card, английский
Плата с логическими схемами
Logic chain, английский
Logic chart, английский
Логическая схема; логическая блок-схема
Logic circuit, английский
Логическая схема
Logic clip, английский
Логический зажим
Logic comparator, английский
Логический компаратор; компаратор логических состояний
Logic compatibility, английский
Логическая совместимость logic connectionлогическая связь
Logic connector, английский
Логический соединитель
Logic console, английский
Logic corporation, английский
Фирма «лод- жик корпорейшн»
Logic databases, английский
Also known as declarative logic programming, these databases represent knowledge as logical relations and use deduction to solve problems. logic databases are simply declarative, with no procedural element as in
Inferential, английский
- Дедуктивный
- Выведенный логически; дедуктивный
Predicates, английский
Process words (like verbs, adverbs, and adjectives) describing a subject. predicates are used to identify which representational system a person is using to process information.
|
Feature logic, английский
Логика признаков
Inferential logic, английский
Логика выводов; логика получения заключений
|
|
|
|
|
|
|
