Големият енциклопедичен речник - значението на думата Предикатно смятане
клон на математическата логика, логическо смятане, чиято азбука на знаци освен символи на изчисления на твърдения включва и символи на вещи (индивиди), техните свойства и отношения, както и изрази „всички“ и „някои“ (квантори), които позволяват количествено да се характеризират връзките на вещи, свойства и отношения; служи като аксиоматизация на предикатната логика.
Стойност на часовника Изчисление на предикати в други речници
Смятане - смятане, срв. (Книга). 1. Действие върху глагола. изчисли-изчисли. загуби. 2. Името на катедрите по висша математика (мат.). Диференциално смятане. Интегрално смятане.
Обяснителен речник на Ушаков
Смятане ср. - 1. Процесът на действие по стойност. глагол: изчисли (1), изчисли; броене, изчисляване. 2. остарял. Процесът на действие по стойност глагол.: изчисли (2), изчисли; изброяване.
Обяснителен речник на Ефремова
Годишно изчисление - - привеждане на определени данни за период от 12 месеца.
Икономически речник
Изчисляване на плащането на ваканция - -
изчисляване на плащането
ваканция. Извършва се на база среднодневни доходи. Средно дневно
доходи за заплащане на отпуски и обезщетение за неизползвани.
Икономически речник
Изчисляване на средната печалба - -
изчисляване на средните доходи. Средно дневно
печалбата се определя чрез разделяне на действително изплатените суми в прогнозната
период (три календарни месеца.
Икономически речник
Изчисляване на срока на годност на стоките [при изпълнение на покупко-продажбата] - Срокът на годност на стоките се определя от периода от време, изчислен от датата на нейното производство, през който стоките са годни за употреба, или от датата преди.
Юридически речник
Изчисляване на условията на наказанието - регламентирано в чл. 72 от Наказателния кодекс на Руската федерация, според който: 1. Условия за лишаване от право да заемат определени длъжности или да участват в определени дейности, поправителен труд.
Юридически речник
Изчисляване на сроковете на наказанието и прихващане на наказанието - - за точното изчисляване на сроковете на наказание по чл. 72 от Наказателния кодекс предвижда специални правила. Санкциите, установени за определен период, се изчисляват в единици за време.
Юридически речник
Диференциално смятане -, вижте ИЗЧИСЛЕНИЕ.
Научно-технически енциклопедичен речник
Интегрално смятане -, вижте ИЗЧИСЛЕНИЕ.
Научно-технически енциклопедичен речник
Смятане -, областта на математиката, която включва методите на ДИФЕРЕНЦИАЦИЯ и ИНТЕГРАЦИЯ. Диференциалното смятане се занимава с диференциация, т.е. процес на намиране.
Научно-технически енциклопедичен речник
Асоциативно смятане - име, което е установено за смятане от определен точно характеризиран тип, добре адаптиран за определяне на крайни асоциативни системи.