- совокупность формул
- мат. collection of formulas, set of formulas
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ХИНТИККА — (Hintikka) Яакко Юхани (р. 1929) финский логик и философ. Профессор университета Флориды (США), член Американской академии наук и искусств и Академии Финляндии (1970). Главные сочинения: «Знание и вера» (1962), «Модели модальностей. Избранные… … Новейший философский словарь
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия
МЕТАТЕОРИЯ — совокупность математич. средств и методов, предназначенных для описания и определения нек рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации одного из центральных… … Математическая энциклопедия
Речевой этикет — – совокупность принятых обществом правил речевого поведения в соответствующих сферах и ситуациях общения. Речевое поведение регулируется социальной иерархией, национальной культурой и этикетом, ритуалом, воспитанностью языковой личности,… … Стилистический энциклопедический словарь русского языка
Наборное производство — совокупность процессов по созданию печатной формы для получения с неё оттисков (отпечатков). Печатную форму (набор) можно получить ручным или машинным способом. Ручной способ, наиболее старый и малопроизводительный (до 2 тыс.… … Большая советская энциклопедия
ГНОСТИЦИЗМ — совокупность религиозно философских движений эпохи позднего эллинизма, выразившихся в ряде систематических учений, сформулированных во II в. и имевших следующие характерные черты: 1) дуализм, относящий творение материального мира и его историю к… … Православная энциклопедия
Научная литература — совокупность произведений письменности и печати, которые создаются в результате научных исследований или теоретических обобщений и распространяются в целях информирования специалистов о последних достижениях науки, ходе и результатах… … Большая советская энциклопедия
Трансмиссия (техн.)* — совокупность приспособлений, назначенных для приведения в действие рабочих машин и станков, получающих движение от общего двигателя или центрального источника силы. При непосредственном соединении рабочей машины с движущею (напр., насоса с… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона