-
1 предикатный
предикатныйпрэдыкатныРусско-белорусский словарь математических, физических и технических терминов > предикатный
-
2 предикатный
Русско-английский словарь по информационным технологиям > предикатный
-
3 предикатный
-
4 предикатный
-
5 предикатный
Большой англо-русский и русско-английский словарь > предикатный
-
6 предикатный
adj. predicate, predicativeРусско-английский словарь математических терминов > предикатный
-
7 предикатный
1) predicate
2) predicative -
8 предикатный
Mathematics: predicate, predicative -
9 предикатный
матем.предика́тний -
10 предикатный
матем.предика́тний -
11 предикатный
predicate, predicative -
12 предикатный
-
13 предикатный
-
14 предикатный
-
15 предикатный
predicate логикаРусско-английский научно-технический словарь Масловского > предикатный
-
16 предикатный
adj.predicate, predicative -
17 предикатный вывод
Большой англо-русский и русско-английский словарь > предикатный вывод
-
18 предикатный символ
Большой англо-русский и русско-английский словарь > предикатный символ
-
19 предикатный вывод
Mathematics: predicate inference -
20 предикатный символ
Mechanics: predicate symbolУниверсальный русско-английский словарь > предикатный символ
См. также в других словарях:
предикатный — предикативный Словарь русских синонимов. предикатный прил., кол во синонимов: 1 • предикативный (1) Словарь синонимов ASIS. В.Н … Словарь синонимов
предикатный — ПРЕДИКАТ, а, м. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
предикатный — предик атный … Русский орфографический словарь
предикатный — см. Предикат … Энциклопедический словарь
предикатный — см. предикат; ая, ое … Словарь многих выражений
ПРЕДИКАТНЫЙ СИМВОЛ — предикатная буква, обозначение какого либо конкретного предиката. Напр., символом часто обозначают отношение порядка на действительных числах, являющееся двуместным предикатом. При формальном построении языка символы, отнесенные к категории… … Математическая энциклопедия
субъектно-предикатный — субъектно предикатный … Орфографический словарь-справочник
субъектно-предикатный — … Орфографический словарь русского языка
субъектно-предикатный — субъе/ктно предика/тный … Слитно. Раздельно. Через дефис.
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия