first-order logic
first-order logic · first-order logics
Prädikatenlogik erster Stufe
A formal deductive system extended from propositional logic with the possibility to…A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Значение
значений: 1(исчисляемое, неисчисляемое)A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Prädikatenlogik erster Stufe
Переводы
языков: 3Deutsch
По значениям 1
formal deductive system expanded from propositional logic:
Формы
мн. число: first-order logics| Ед. число | first-order logic |
|---|---|
| Мн. число | first-order logics |
правильный
Синонимы
синонимов: 1FOL
Уроки к слову
уроков: 1- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым