Значения слова Определимый. Что такое Определимый?

Слово состоит из 11 букв: первая о, вторая п, третья р, четвёртая е, пятая д, шестая е, седьмая л, восьмая и, девятая м, десятая ы, последняя й,

Слово определимый английскими буквами (транслитом) - opredelimyi

Правильное написание и ударение в слове ОПРЕДЕЛИМЫЙ

Определи́мый.
Орфографический словарь. — 2004

Разбор слова ОПРЕДЕЛИМЫЙ по составу (морфемный разбор)

Определ/и́м/ый.
Морфемно-орфографический словарь. — 2002

Алгоритм

АЛГОРИТМ, алгорифм (от лат. algorithmi, algorismus, n имени арабского ученого 9 в. ал-Хорезми)—точное предписание, задающее потенциально осуществимый (см. Абстракция потенциальной осуществимости) вычислительный процесс (процесс исполнения алгоритма)…Он неопределим в арифметике и определим лишь в анализе. Лит.: Кличи С. К. Введение в метаматематику. М-, 1957; БарендрегтХ. λ-θсчисление.
Философская энциклопедия

АЛГОРИТМ (алгорифм; от лат. формы имени ученого 9 в. аль-Хорезми — Algorithmi) — точное предписание о порядке выполнения некоторой системы операций над исходными данными для получения желаемого результата, которое исполняется вычислителем…...многочисленные формальные аналоги понятия А. и вычислимой функции: машина Поста; машина Тьюринга; нормальный алгорифм Маркова; частично рекурсивная функция; А.-определимая функция и.
Прохоров Б.Б. Экология человека. - 2005

Логическая операция

ЛОГИЧЕСКИЕ СВЯЗКИ — символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка.Конъюнкция и дизъюнкция определимы друг через друга за счет эквивалентностей (А&В) = -i(-i/4v-i.ß) и (A v В) a -,(-Α&-ιΒ), именуемых законами де Моргана, а также: (A^B)s(-iA^ В), (А&В) s...
Философская энциклопедия

ЛОГИЧЕСКИЕ СВЯЗКИ —символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка.Конъюнкция и дизъюнкция определимы друг через друга за счет эквивалентностей (А&В) = -i(-i/4v-i.) и (A v В) a -,(-&-), именуемых законами де Моргана, а также: (A^B)s(-iA^ В), (А&В) s -,(А...
Новая философская энциклопедия. - 2003

Определимость

ОПРЕДЕЛИМОСТЬ — понятие методологии дедуктивных наук, связанное с выразимостью в рамках некоторой формальной системы одних понятий через другие. Говоря об определимости, имеют в виду те условия, при которых можно считать…А. Падоа доказал метатеорему, согласно которой если предикат Р(Х[,…, Хп) явно семантически определим в теории, то он и неявно семантически определим в ней. Э. Бет доказал обратную теорему.
Философская энциклопедия

ОПРЕДЕЛИМОСТЬ, — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий.Различают О. синтаксическую и семантическую (см. Синтаксис и Семантика). Понятие синтаксически определимо в данной теорий, если на её языке можно записать явное (номинальное) определение...
Советский философский словарь. - 1974

ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями формализации. Различают обычно-синтаксическое (см. Синтаксис в логике) и семантическое (см. Семантика в логике) понятия О.Напр., говорят, что-n-местное отношение R определимо в данной формальной теории Т, если на языке Τ можно записать такой n-местный предикат φ(x1 …, xn) со свободными переменными x1, …, xn...
Философская энциклопедия

Платон

Платон - знаменитый философ, родился в Афинах между 430 и 427 гг. до Р. Хр. По некоторым, впрочем, сомнительным, свидетельствам его настоящее имя было Аристокл, а Платон - только прозвание....каждому из них намеренное место в развили одного заранее задуманного плана, ни видеть в них последовательные проявления известных или определимых перемен во взглядах их автора.
Соловьев В. Толковый словарь по философии

Статически определимая система

Статическая система называется статически определимой, если число опорных реакций соответствует числу степеней свободы, и величины опорных реакций по принципу механического равновесия можно определить из величин внешних нагрузок.
ru.wikipedia.org

Статически определимая система в строительной механике, система конструкций, в которой реакции всех связей (усилия в опорных закреплениях, стержнях и т.п.) при любой нагрузке могут быть определены с помощью уравнений статики…
Большая советская энциклопедия (БСЭ). — 1969—1978

СТАТИЧЕСКИ ОПРЕДЕЛИМАЯ СИСТЕМА (в строительной механике) - геометрически неизменяемая система, в которой для определения всех реакций связей (усилий в опорных закреплениях, стержнях и т. п.) достаточно уравнений статики.
Большой энциклопедический словарь

Буква о встречается 1 раз. Слова с 1 буквой о
Буква п встречается 1 раз. Слова с 1 буквой п
Буква р встречается 1 раз. Слова с 1 буквой р
Буква е встречается 2 раза. Слова с 2 буквами е
Буква д встречается 1 раз. Слова с 1 буквой д
Буква л встречается 1 раз. Слова с 1 буквой л
Буква и встречается 1 раз. Слова с 1 буквой и
Буква м встречается 1 раз. Слова с 1 буквой м
Буква ы встречается 1 раз. Слова с 1 буквой ы
Буква й встречается 1 раз. Слова с 1 буквой й

Похожие запросы: