-
1 аксиоматизируемость
Большой англо-русский и русско-английский словарь > аксиоматизируемость
-
2 вычислительная аксиоматизируемость
Большой англо-русский и русско-английский словарь > вычислительная аксиоматизируемость
-
3 универсальная аксиоматизируемость
Большой англо-русский и русско-английский словарь > универсальная аксиоматизируемость
-
4 axiomatizability
Англо-русский словарь по исследованиям и ноу-хау > axiomatizability
-
5 axiomatizabilitly
The English-Russian dictionary general scientific > axiomatizabilitly
-
6 axiomatizability
аксиоматизируемость, аксиоматизуемость - calculable axiomatizability - finite axiomatizability - universal axiomatizabilityБольшой англо-русский и русско-английский словарь > axiomatizability
-
7 axiomatizability
аксиоматизируемость, аксиоматизуемость -
8 axiomatizability
-
9 axiomatization
аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatizationАксиоматизацияБольшой англо-русский и русско-английский словарь > axiomatization
-
10 calculable axiomatizability
Большой англо-русский и русско-английский словарь > calculable axiomatizability
-
11 finite axiomatizability
Большой англо-русский и русско-английский словарь > finite axiomatizability
-
12 universal axiomatizability
Большой англо-русский и русско-английский словарь > universal axiomatizability
-
13 axiomatizability
1) аксиоматизируемость
2) аксиоматизуемость -
14 axiomatization
1) аксиоматизация
2) аксиоматизируемость -
15 axiomatizability
Математика: аксиоматизируемость, аксиоматизуемость -
16 axiomatization
Математика: аксиоматизация, аксиоматизируемость, аксиоматизуемость -
17 calculable axiomatizability
Математика: вычислительная аксиоматизируемостьУниверсальный англо-русский словарь > calculable axiomatizability
-
18 finite axiomatizability
Математика: конечная аксиоматизируемостьУниверсальный англо-русский словарь > finite axiomatizability
-
19 finitizability
Математика: конечная аксиоматизируемость -
20 universal axiomatizability
Математика: универсальная аксиоматизируемостьУниверсальный англо-русский словарь > universal axiomatizability
- 1
- 2
См. также в других словарях:
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия
МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… … Философская энциклопедия
МЕТОДОЛОГИЯ ДЕДУКТИВНЫХ НАУК — методология наук, в которых используется по преимуществу или даже единственно дедуктивная аргументация. Отличительной особенностью дедуктивных теорий является возможность логического вывода большей части их содержания из небольшого числа исходных … Философская энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ КЛАСС — класс однотипных алгебраических систем. Все системы любого данного типа предполагаются записанными в определенной сигнатуре и наз. системами. Класс систем наз. абстрактным, если он содержит вместе с каждой своей системой и все изоморфные ей… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия
Гёдель, Курт — Курт Гёдель нем. Kurt Friedrich Gödel … Википедия
Клини, Стивен Коул — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kle … Википедия