-
101 formal equivalence
The New English-Russian Dictionary of Radio-electronics > formal equivalence
-
102 formal inconsistence
The New English-Russian Dictionary of Radio-electronics > formal inconsistence
-
103 formal logic
The New English-Russian Dictionary of Radio-electronics > formal logic
-
104 formal renormalization
The New English-Russian Dictionary of Radio-electronics > formal renormalization
-
105 formalism
формальная система, формы, формы представленияEnglish-Russian dictionary of mechanical engineering and automation > formalism
-
106 algoristic-type model
формальная модель: алгоритмическая модельEnglish-Russian dictionary of computer science and programming > algoristic-type model
-
107 formal axiomatics
English-Russian dictionary of computer science and programming > formal axiomatics
-
108 formal grammar
English-Russian dictionary of computer science and programming > formal grammar
-
109 formal implication
English-Russian dictionary of computer science and programming > formal implication
-
110 formal logic
English-Russian dictionary of computer science and programming > formal logic
-
111 formal model
English-Russian dictionary of computer science and programming > formal model
-
112 formal semantics
English-Russian dictionary of computer science and programming > formal semantics
-
113 formal theory of testing
English-Russian dictionary of computer science and programming > formal theory of testing
-
114 formal verification
English-Russian dictionary of computer science and programming > formal verification
-
115 formalism
формальная система; формализмEnglish-Russian dictionary of computer science and programming > formalism
-
116 pro forma amendment
В процедурной практике органов законодательной власти так называется поправка, предлагающая, к примеру, вычеркнуть последнее слово в законопроекте, что по процедурным правилам дает возможность члену законодательного собрания продолжить обсуждение этого законопроектаEnglish-Russian dictionary of regional studies > pro forma amendment
-
117 formal cause & effects
Англо-русский словарь нефтегазовой промышленности > formal cause & effects
-
118 form bibliography
Англо-русский словарь по полиграфии и издательскому делу > form bibliography
-
119 demometrics
формальная демография, демометрика -
120 formal demography
формальная демография, демометрика; теоретическая демографияАнгло-русский словарь по экономике и финансам > formal demography
См. также в других словарях:
Формальная теория доказательств — Формальная теория доказательств один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… … Википедия
Формальная сила доказательств — Формальная теория доказательств один из вариантов положения о применении доказательств в уголовном процессе. Сущность его состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Формальная школа — см. Методы домарксистского литературоведения Литературная энциклопедия. В 11 т.; М.: издательство Коммунистической академии, Советская энциклопедия, Художественная литература. Под редакцией В. М. Фриче, А. В. Луначарского. 1929 1939 … Литературная энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
Формальная определенность права — специфическая характеристика права, означающая, что принципы и предписания права характеризуются определенностью, т.е. всегда содержат определенное указание относительно границ правомерности поведения их адресатов и находят закрепление в том или… … Элементарные начала общей теории права
Формальная причина — Формальная причина ♦ Formelle, Cause Одна из четырех причин, сформулированных Аристотелем; причина, отвечающая на вопрос «Почему?» указанием формы. Например, почему стоит этот дом? Потому что есть кирпичи (материальная причина), потому что… … Философский словарь Спонвиля
ФОРМАЛЬНАЯ ШКОЛА В СОЦИОЛОГИИ — популярное в конце 19 начале 20 вв. в Германии и США социологическое направление, ориентированное на исследование формальных структур взаимодействия в различных по содержанию социальных процессах и сферах общественной жизни. Представители Ф.Ш.… … Новейший философский словарь
ФОРМАЛЬНАЯ ШКОЛА — «ФОРМАЛЬНАЯ ШКОЛА», см. «Формальный метод» (см. ФОРМАЛЬНЫЙ МЕТОД) в литературоведении, ОПОЯЗ … Энциклопедический словарь
Формальная релевантность — соответствие, определяемое алгоритмически путем сравнения поискового предписания и поискового образа документа на основании применяемого в информационно поисковой системе критерия выдачи. См. также: Релевантность Финансовый словарь Финам … Финансовый словарь