-
41 definability
-
42 definability
English-Russian dictionary of computer science and programming > definability
-
43 definability
-
44 analytical definability
Большой англо-русский и русско-английский словарь > analytical definability
-
45 arithmetical definability
Большой англо-русский и русско-английский словарь > arithmetical definability
-
46 combinatorial definability
комбинаторная определимостьБольшой англо-русский и русско-английский словарь > combinatorial definability
-
47 combinatory definability
комбинаторная определимостьБольшой англо-русский и русско-английский словарь > combinatory definability
-
48 compatible definability
Большой англо-русский и русско-английский словарь > compatible definability
-
49 conditional definability
Большой англо-русский и русско-английский словарь > conditional definability
-
50 constructive definability
Большой англо-русский и русско-английский словарь > constructive definability
-
51 equational definability
Большой англо-русский и русско-английский словарь > equational definability
-
52 existential definability
Большой англо-русский и русско-английский словарь > existential definability
-
53 explicit definability
Большой англо-русский и русско-английский словарь > explicit definability
-
54 finite definability
Большой англо-русский и русско-английский словарь > finite definability
-
55 local definability
Большой англо-русский и русско-английский словарь > local definability
-
56 normal definability
Большой англо-русский и русско-английский словарь > normal definability
-
57 parametric definability
Большой англо-русский и русско-английский словарь > parametric definability
-
58 partial definability
Большой англо-русский и русско-английский словарь > partial definability
-
59 piecewise definability
Большой англо-русский и русско-английский словарь > piecewise definability
-
60 provable definability
Большой англо-русский и русско-английский словарь > provable definability
См. также в других словарях:
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — ОПРЕДЕЛИМОСТЬ, определимости, мн. нет, жен. (книжн.). отвлеч. сущ. к определимый. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 … Толковый словарь Ушакова
определимость — ОПРЕДЕЛИМЫЙ, ая, ое; им (книжн.). Поддающийся определению. Определимое понятие. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
определимость — сущ., кол во синонимов: 1 • устанавливаемость (7) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Определимость — ж. отвлеч. сущ. по прил. определимый Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
определимость — определимость, определимости, определимости, определимостей, определимости, определимостям, определимость, определимости, определимостью, определимостями, определимости, определимостях (Источник: «Полная акцентуированная парадигма по А. А.… … Формы слов
определимость — определ имость, и … Русский орфографический словарь
определимость — см. определимый; и; ж … Словарь многих выражений
лямбда-определимость — лямбда определимость, лямбда определимости … Орфографический словарь-справочник
Статическая определимость — … Википедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия