реализуемость
61КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …
62КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… …
63ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки …
64СЕМАНТИКА — в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание… …
65Морфологический анализ (изобретательство) — Куб Цвикки позволяет представить различные комбинации возможных реализаций параметров объекта, например цвета, формы и текстуры. У этого термина существуют и другие значения, см. Морфологический анализ. Морфологический анали …
66Open Systems Interconnection — В 1982 году Международная организация по стандартизации (ISO) в сотрудничестве с ITU T начала новый проект в области сетевых технологий, названный взаимодействием открытых систем, Open Systems Interconnection или OSI. До OSI сетевые технологии… …
67Декомпозиция — Декомпозиция  научный метод, использующий структуру задачи и позволяющий заменить решение одной большой задачи решением серии меньших задач, пусть и взаимосвязанных, но более простых. Декомпозиция, как процесс расчленения, позволяет… …
68DVB — Логотип DVB …
69Янков, Вадим Анатольевич — Вадим Анатольевич Янков Дата рождения: 1935 год(1935) Место рождения: Таганрог Страна …
70Космический лифт — Художественная фантазия: вид на космический лифт, поднимающий с Земли грузы на орбитальную станцию,  «космический порт» …
