Komputer adalah perangkat tujuan umum yang dapat diprogram untuk melakukan operasi aritmatika dan logika secara otomatis. Komputer modern didasarkan pada sirkuit terpadu dengan kapasitas yang jauh lebih besar daripada mesin awal dan ukurannya jauh lebih kecil. Teori komputabilitas mempelajari konsep dasar tentang fungsi yang dapat dihitung dan klasifikasi fungsi non-komputabel berdasarkan tingkat ketid

1. Perke mb an ga n Komputer
Sebuah komputer adalah perangkat tujuan umum yang dapat diprogram
untuk melaksanakan satu set aritmatika atau logis operasi otomatis.
Cari Kursus Komputer Murah Terbaik Di Jakarta? Hanya Di Computer
First! http://www.prestisewan.tk/2014/07/27-kursus-komputer-murah-
terbaik-di-jakarta-hanya-di-computer-first.html Karena urutan
operasi dapat segera diubah, komputer dapat memecahkan lebih dari
satu jenis masalah. Secara konvensional, komputer terdiri dari
setidaknya satu elemen pengolahan, biasanya central processing unit
(CPU), dan beberapa bentuk memori. Unsur pengolahan melakukan
operasi aritmatika dan logika, dan unit sequencing dan kontrol dapat
mengubah urutan operasi dalam menanggapi informasi yang tersimpan.
Perangkat periferal memungkinkan informasi yang akan diambil dari
sumber eksternal, dan hasil usaha disimpan dan diambil. Dalam Perang
Dunia II, komputer analog mekanik yang digunakan untuk aplikasi
militer khusus. Selama ini pertama komputer digital elektronik
dikembangkan. Awalnya mereka adalah ukuran ruangan besar,
mengkonsumsi sebagai kekuatan sebanyak beberapa ratus komputer
pribadi modern (PC). Modern komputer didasarkan pada sirkuit terpadu
dengan jutaan miliaran kali lebih mampu dari mesin awal, dan
menempati sebagian kecil dari ruang. Komputer sederhana cukup kecil
untuk masuk ke perangkat mobile, dan komputer mobile dapat didukung
oleh baterai kecil . Komputer pribadi dalam berbagai bentuk mereka
adalah ikon dari Era Informasi dan apa yang kebanyakan orang anggap
sebagai "komputer." Namun, komputer tertanam ditemukan di banyak
perangkat dari MP3 player untuk pesawat tempur dan dari mainan untuk
robot industri yang paling banyak.
Teori komputabilitas, juga disebut teori rekursi, merupakan cabang
dari logika matematika, ilmu komputer, dan dari teori komputasi yang
berasal dari tahun 1930-an dengan studi fungsi komputasi dan Turing
derajat. Pertanyaan-pertanyaan mendasar ditangani oleh teori rekursi
adalah "Apa artinya untuk fungsi pada bilangan asli untuk dihitung?"
dan "Bagaimana fungsi noncomputable diklasifikasikan ke dalam
hirarki berdasarkan tingkat mereka noncomputability?". Jawaban atas
pertanyaan-pertanyaan ini telah menyebabkan teori kaya yang masih
aktif diteliti. Bidang ini telah berkembang untuk mencakup studi
umum computability dan definability. Hebatnya, penemuan objek
kombinatorial utama teori rekursi, yaitu Universal Turing Machine,
mendahului dan predetermines penemuan komputer modern. Secara
historis, studi set algorithmically diputuskan dan fungsi dimotivasi
oleh berbagai masalah dalam matematika yang berubah menjadi
diputuskan; misalnya, masalah kata untuk kelompok dan sejenisnya.
Ada beberapa aplikasi dari teori ke cabang lain dari matematika yang
belum tentu berkonsentrasi pada undecidability. Aplikasi awal
termasuk embedding teorema dirayakan Higman yang menyediakan link
antara teori rekursi dan teori grup, hasil Michael O. Rabin dan
Anatoly Maltsev presentasi algoritmik dari aljabar, dan solusi
negatif untuk Masalah Kesepuluh Hilbert. Aplikasi yang lebih baru
mencakup keacakan algoritmik, hasil Soare et al. yang menerapkan
metode rekursi-teori untuk memecahkan masalah dalam geometri
aljabar, dan bekerja sangat baru-baru ini Slaman et al. pada angka
yang normal yang memecahkan masalah di nomor analisis teori.