-
1 формальная верификация
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > формальная верификация
-
2 формальная модель политики безопасности
eng.formal security policy modelrus.формальная модель политики безопасностиukr.формальна модель політики безпекиМатематическое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение (безопасного) состояния системы. Примером является модель Белла-Лападула.English-Russian dictionary of information security > формальная модель политики безопасности
-
3 формальная аксиоматика
Большой англо-русский и русско-английский словарь > формальная аксиоматика
-
4 формальная аппроксимация
Большой англо-русский и русско-английский словарь > формальная аппроксимация
-
5 формальная верификация
Большой англо-русский и русско-английский словарь > формальная верификация
-
6 формальная ветвь
Большой англо-русский и русско-английский словарь > формальная ветвь
-
7 формальная выводимость
Большой англо-русский и русско-английский словарь > формальная выводимость
-
8 формальная гладкость
Большой англо-русский и русско-английский словарь > формальная гладкость
-
9 формальная грамматика
Большой англо-русский и русско-английский словарь > формальная грамматика
-
10 формальная группа
Большой англо-русский и русско-английский словарь > формальная группа
-
11 формальная демография
сущ. demometricsБольшой англо-русский и русско-английский словарь > формальная демография
-
12 формальная импликация
Большой англо-русский и русско-английский словарь > формальная импликация
-
13 формальная логика
Большой англо-русский и русско-английский словарь > формальная логика
-
14 формальная математика
Большой англо-русский и русско-английский словарь > формальная математика
-
15 формальная модель
Большой англо-русский и русско-английский словарь > формальная модель
-
16 формальная невозможность
Большой англо-русский и русско-английский словарь > формальная невозможность
-
17 формальная непротиворечивость
Большой англо-русский и русско-английский словарь > формальная непротиворечивость
-
18 формальная обоснованность
Большой англо-русский и русско-английский словарь > формальная обоснованность
-
19 формальная операция
Большой англо-русский и русско-английский словарь > формальная операция
-
20 формальная организация
Большой англо-русский и русско-английский словарь > формальная организация
См. также в других словарях:
Формальная теория доказательств — Формальная теория доказательств один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… … Википедия
Формальная сила доказательств — Формальная теория доказательств один из вариантов положения о применении доказательств в уголовном процессе. Сущность его состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Формальная школа — см. Методы домарксистского литературоведения Литературная энциклопедия. В 11 т.; М.: издательство Коммунистической академии, Советская энциклопедия, Художественная литература. Под редакцией В. М. Фриче, А. В. Луначарского. 1929 1939 … Литературная энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
Формальная определенность права — специфическая характеристика права, означающая, что принципы и предписания права характеризуются определенностью, т.е. всегда содержат определенное указание относительно границ правомерности поведения их адресатов и находят закрепление в том или… … Элементарные начала общей теории права
Формальная причина — Формальная причина ♦ Formelle, Cause Одна из четырех причин, сформулированных Аристотелем; причина, отвечающая на вопрос «Почему?» указанием формы. Например, почему стоит этот дом? Потому что есть кирпичи (материальная причина), потому что… … Философский словарь Спонвиля
ФОРМАЛЬНАЯ ШКОЛА В СОЦИОЛОГИИ — популярное в конце 19 начале 20 вв. в Германии и США социологическое направление, ориентированное на исследование формальных структур взаимодействия в различных по содержанию социальных процессах и сферах общественной жизни. Представители Ф.Ш.… … Новейший философский словарь
ФОРМАЛЬНАЯ ШКОЛА — «ФОРМАЛЬНАЯ ШКОЛА», см. «Формальный метод» (см. ФОРМАЛЬНЫЙ МЕТОД) в литературоведении, ОПОЯЗ … Энциклопедический словарь
Формальная релевантность — соответствие, определяемое алгоритмически путем сравнения поискового предписания и поискового образа документа на основании применяемого в информационно поисковой системе критерия выдачи. См. также: Релевантность Финансовый словарь Финам … Финансовый словарь