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

Wikipedia дан
Jump to navigation Jump to search

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

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

Бул жерден да карап көрүңүздөр[оңдоо | булагын оңдоо]

Колдонулган адабияттар[оңдоо | булагын оңдоо]