1-ma’ruza. Kompyuterli matematika tizimlari tarixi, rivojlanishi va uning imkoniyatlari

Hisob-kitoblarning to'g'riligi va olingan sonli natijalarning chekliligi masalasini hal qilish ma'lum darajada kompyuter algebra tizimlarining rivojlanishi bilan ta'minlanadi. Analitik hisoblarni amalga oshiradigan kompyuter algebra tizimlari ratsional sonlar to'plamidan keng foydalanadi.

Ratsional sonlar ustidagi kompyuter operatsiyalari ratsional sonlar sohasidagi tegishli amallar bilan mos keladi. Bundan tashqari, raqamning ruxsat etilgan o'lchamidagi cheklovlar (uning yozuvidagi belgilar soni) deyarli har qanday ratsional raqamlardan foydalanishga imkon beradi, ular bo'yicha operatsiyalar maqbul vaqt ichida amalga oshiriladi.