аксиоматический метод
51Постулат — (от лат. postulatum требование) предложение (условие, допущение, Правило), в силу каких либо соображений «принимаемое» без доказательства, но, как правило, с обоснованием, причём именно это обоснование и служит обычно доводом в пользу… …
52НЕЗАВИСИМОСТЬ — в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… …
53Методология — (Methodology) Структура методологии, методология исследования, типы методологии Научная методология, методология истории, методология анализа, методология управления, социальная методология, проблемы методологии Содержание Содержание Раздел 1.… …
54МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… …
55Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая …
56ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …
57ДЕДУКЦИЯ — (от лат. выведение) – метод познания, основанный на получении частных выводов из общих положений. Дедукция – это движение нашего мышления от общего к единичному, т.е. переход по правилам логики от посылок к их следствиям. Термин «дедукция»… …
58определение аксиоматическое — неявное определение понятия путем указания множества аксиом, в которые оно входит наряду с другими понятиями. Аксиома представляет собой утверждение, принимаемое без доказательства. Совокупность аксиом какой то теории является одновременно и… …
59ПРИКЛАДНАЯ ЛОГИКА — ПРИКЛАДНАЯ ЛОГИКА логический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность …
60Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …