-
1 исчисление отношений
1) Engineering: relational calculus2) Mathematics: calculus of relations3) Information technology: relation calculusУниверсальный русско-английский словарь > исчисление отношений
-
2 исчисление отношений
Русско-английский научно-технический словарь Масловского > исчисление отношений
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
Исчисление кортежей — Исчисление кортежей направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения. Содержание 1… … Википедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
Исчисление сроков, с которыми трудовой кодекс Российской Федерации связывает возникновение и прекращение трудовых прав и обязанностей — течение сроков, с которыми ТК России связывает возникновение трудовых прав и обязанностей, начинается с календарной даты, которой определено начало возникновения указанных прав и обязанностей. Течение сроков, с которыми ТК России связывает… … Энциклопедический словарь-справочник руководителя предприятия
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Формальное исчисление — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
БЕСКОНЕЧНО МАЛЫХ ИСЧИСЛЕНИЕ — термин, ранее объединявший различные разделы математич. анализа, связанные с понятием бесконечно малой функции. Хотя метод бесконечно малых (в той или иной форме) с успехом применялся учеными Древней Греции и средневековой Европы для решения… … Математическая энциклопедия
Калькулирование — исчисление себестоимости конкретных видов продукции (работ, услуг), а также единицы продукции (работ, услуг) по видам расходов (или по экономическим элементам) Калькулирование ведется в целях: определения основы цен продукции и доходности ее… … Краткий словарь основных лесоводственно-экономических терминов