KONSTRUKTIV MATEMATIKA

KONSTRUKTIV MATEMATIKA — mat. ning konstruktiv obyektlar va konstruktiv jarayonlarni oʻrganuvchi boʻlimi. Mat. da qurilish usuli maʼlum boʻlgan obyektlar konstruktiv obyektlar, bu obyektlarni qurish jarayoni konstruktiv jarayon deyiladi. Mas, 100100 konstruktiv obyekt, 1 dan 100100 gacha sanash konstruktiv jarayondir. Klassik (yaʼni anʼanaviy) mat. da konstruktivmas obyektlar ham oʻrganiladi. Mas, [a, ] kesmada uzluksiz (fx) funksiyaning chegarasi, yaʼni f(x)cheksizlik abstraksiyasi (maʼlum xossaga ega boʻlgan narsalar bir obyekt — toʻplam tashqil qilishidan iborat prinsip), tanlash aksiomasiga asoslanib isbotlanadi.

Ensiklopediya.uz
KONSTRUKTIV MATEMATIKA