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