метод трансфинитной индукции
1МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — метод доказательства математич. утверждений, основанный на принципе математической индукции: утверждение (х), зависящее от натурального параметра х, считается доказанным, если доказано А(1) и для любого натурального пиз предположения, что верно… …
2МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… …
3Трансфинитная индукция — Трансфинитная индукция  метод доказательства, обобщающий математическую индукцию на случай несчётного числа значений параметра. Трансфинитная индукция основана на следующем утверждении: Пусть   вполне упорядоченное множество, при   …
4Математическая индукция — Математическая индукция  один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров …
5МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …
6ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …
7ИЕРАРХИЯ — классификация тех или иных математич. объектов в соответствии с их сложностью. Первые И. были построены в дескриптивной теории множеств (см. [3]). В этих И. переход к более сложному классу множеств осуществляется путем применения теоретико… …
8СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… …
9семантические категории — СЕМАНТИЧЕСКИЕ КАТЕГОРИИ типы значений выражений языка. Учение о С. к. восходит к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польск. школе логики. К учению о С. к. очень… …
10СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… …
- 1
- 2
