Мазмунга өтүү

Актуалдуу чексиздиктин абстракциясы

Википедия дан

Актуалдуу чексиздиктин абстракциясы математикалык логиканын бир формасы катары чексиздиктин жыйындысын логиканын принциптерин колдонуп изилдейт.

Актуалдуу чексиздиктин абстракцисы – бүткөн жана бүтпөгөн чексиздиктин процесстеринде изилденип көп жактуулуктун элементтерин түзөт (Мисалы: конструкциялык белгилер, континуумдагы натуралдык сандар, кесиндилер, көп жактуу формулалар, логикалык изилдөөнүн чексиздиги).

Бул жерден да карап көрүңүздөр

[түзөтүү | булагын түзөтүү]

Колдонулган адабияттар

[түзөтүү | булагын түзөтүү]