Ahli : Masuk |Pendaftaran |Naik pengetahuan
Carian
Teori komputabilitas [Pengubahsuaian ]
Teori komputabilitas, yang juga dikenali sebagai teori rekursi, adalah cabang logik matematik, sains komputer, dan teori perhitungan yang berasal dari tahun 1930-an dengan kajian fungsi komputasi dan darjah Turing. Bidang ini telah berkembang untuk memasukkan kajian tentang kebolehubahan dan definabiliti yang umum. Dalam bidang ini, teori rekursi bertindih dengan teori bukti dan teori set deskriptif yang berkesan.
Soalan-soalan asas yang ditangani oleh teori rekursi ialah: "Apa artinya fungsi pada nombor semula jadi boleh dihitung?", Dan "Bagaimana fungsi noncomputable diklasifikasikan ke dalam hirarki berdasarkan tahap ketidakkompabilian mereka?". Jawapan kepada soalan-soalan ini telah membawa kepada teori yang kaya yang masih sedang dikaji secara aktif.
Teori rekursi dalam logik matematik sering mempelajari teori perhitungan relatif, pengertian kebolehubahan dan struktur darjah yang diterangkan dalam artikel ini. Ini berbeza dengan teori hierarki subrecursive, kaedah formal dan bahasa formal yang lazim dalam kajian teori komputabilitas dalam sains komputer. Terdapat banyak pertindihan dalam pengetahuan dan kaedah antara kedua-dua komuniti penyelidikan ini, dan tidak ada garis tegas yang dapat ditarik di antara mereka.
[Kebolehkiraan][Teori perhitungan][Teori kerumitan komputasi][Kaedah rasmi]
1.Set boleh ubah dan tidak boleh dikompilasi
2.Turing computability
3.Bidang penyelidikan
3.1.Kebolehkomputeran relatif dan darjah Turing
3.2.Reducibilities lain
3.3.Teorema beras dan hierarki arithmetikal
3.4.Matematik terbalik
3.5.Pengecekan
3.6.Kaedah keutamaan
3.7.Kisi set rekaan secara rekursif
3.8.Masalah automorphism
3.9.Kerumitan Kolmogorov
3.10.Pengiraan kekerapan
3.11.Kesimpulan induktif
3.12.Pengumuman mengenai pengiraan Turing
3.13.Teori pengiraan yang berterusan
4.Hubungan antara definitif, bukti dan pengiraannya
5.Nama subjek
6.Organisasi profesional
[Memuat naik More Kandungan ]


Copyright @2018 Lxjkh