Turingizadigan matematika turi nimi?

Turingizadigan matematika turi «avtomatika» yoki «avtomatik matematika» deb nomlanadi.

Turing mashinasi, Alan Turing tomonidan ishlab chiqilgan matematik qurilma bo’lib, matematik masalalarni yechish uchun ishlatiladi. Turing mashinasi, matematik masalalarni yechishda «kristallashtirilgan xotiraga asoslangan avtomatik qurilma» hisoblanadi.

Bu qurilma, bitta odatda yordam orqali-maslahat orqali yoki qo’lda bajariladigan arifmetik amallarga asoslangan avtomatik qurilma turi hisoblanadi. Turing mashinasida odatda belgilarga, kishilarga, xotiradagi o’zgaruvchilarga va yangi belgilarni kiritish uchun qo’llaniladi.

Turing mashinasi, matematikni axborotlar sifati bilan birga o’rganishda, matematik formulalarini, axborotlarni hisoblashni va yechishni o’rganishga yordam beradi. Turing mashinasi masalalarga axborotlarni kiritish va o’zgarishlar bilan shakllantirish imkoniyatini beradi, shuningdek, odatda matematik masalalarida o’zgaruvchlarga ham imkoniyat beradi.

Turing mashinasi, xotirada kristallashtirilgan algoritmlarni bajarishi uchun tuzilgan bo’lib, bu algoritmlar matematiksi nafrat qilingan TURING zinnga o’xshab ketadi.

Avtomatik matematika turi (yoki Turing matematikasi), muhim matematik fizikadan iborat hisoblangan bo’lib, bu turlar odatda avtomatizatsiyalangan dasturlar hisoblanadi va matematikning turlarini, shuningdek, sonlarni, simmli matematikni, chiziqli algebra va bu turlarning ba’zilarini o’z ichiga oladi.

Umuman olganda, Turingizadigan matematika turi, matematikni kompyuterlar, avtomatik sistemalar va avtomatik qurilmalar yordamida o’rganishda ishlatiladi.