13 hubungan: Alan Turing, Algoritma, Bahasa formal, Claude Shannon, Ilmu komputer, Ingatan, John von Neumann, Kurt Gödel, Logika, Logika matematika, Matematika, Mesin Turing, Ramon Llull.
Alan Turing
Alan Mathison Turing di Maide Vale, London, Inggris, ia adalah seorang peneliti matematika dan komputer, dan pahlawan perang Inggris.
Baru!!: Teori komputasi dan Alan Turing · Lihat lebih »
Algoritma
Diagram alur dari sebuah algoritme (Algoritme Euclid) untuk menghitung faktor persekutuan terbesar (f.p.b.) dari dua angka ''a'' dan ''b'' dalam lokasi bernama A dan B. Algoritme dijalankan dengan pengurangan berturut-turut dalam dua pengulangan: JIKA pengujian B >.
Baru!!: Teori komputasi dan Algoritma · Lihat lebih »
Bahasa formal
Pada matematika, ilmu komputer dan linguistik, suatu bahasa formal terdiri dari kata-kata yang mana simbol diambil dari alfabet dan bentukan-selaras berdasarkan seperangkat kaidah tertentu.
Baru!!: Teori komputasi dan Bahasa formal · Lihat lebih »
Claude Shannon
Claude Elwood Shannon adalah seorang ilmuwan matematika, teknik elektro, dan kriptografi asal Petoskey, Michigan, Amerika Serikat.
Baru!!: Teori komputasi dan Claude Shannon · Lihat lebih »
Ilmu komputer
Ilmu komputer (Computer Science), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang komputasi, perangkat keras (hardware) maupun perangkat lunak (software).
Baru!!: Teori komputasi dan Ilmu komputer · Lihat lebih »
Ingatan
Ingatan adalah sebuah fungsi dari kognisi yang melibatkan otak dalam pengambilan informasi.
Baru!!: Teori komputasi dan Ingatan · Lihat lebih »
John von Neumann
John von Neumann pada tahun 1940-an. John von Neumann (bahasa Hungaria: Neumann János Lajos) adalah seorang matematikawan, fisikawan, ahli ilmu komputer, insinyur, dan polimatik dari Hungaria-Jerman.
Baru!!: Teori komputasi dan John von Neumann · Lihat lebih »
Kurt Gödel
Kurt Friedrich Gödel adalah seorang ahli matematika, logika dan filsuf asal Austria, yang kemudian beralih menjadi warganegara Amerika Serikat.
Baru!!: Teori komputasi dan Kurt Gödel · Lihat lebih »
Logika
''Le Penseur'', atau "Sang Pemikir", oleh Auguste Rodin, 1902. Logika (logica) adalah ilmu yang bertujuan untuk meraih penalaran yang tepat dan sah.
Baru!!: Teori komputasi dan Logika · Lihat lebih »
Logika matematika
Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika.
Baru!!: Teori komputasi dan Logika matematika · Lihat lebih »
Matematika
Tidak ada perupaan atau penjelasan tentang wujud fisik Euklides yang dibuat selama masa hidupnya yang masih bertahan dari zaman kuno. Oleh karena itu, penggambaran Euklides di dalam karya seni bergantung pada daya khayal seniman (''lihat Euklides''). Matematika, adalah bidang ilmu, yang mencakup studi tentang topik-topik seperti bilangan (aritmetika dan teori bilangan), rumus dan struktur terkait (aljabar), bangun dan ruang tempat mereka berada (geometri), dan besaran serta perubahannya (kalkulus dan analisis).
Baru!!: Teori komputasi dan Matematika · Lihat lebih »
Mesin Turing
Lukisan Mesin Turing. Mesin Turing adalah model komputasi teoretis yang ditemukan oleh Alan Turing, berfungsi sebagai model ideal untuk melakukan perhitungan matematis.
Baru!!: Teori komputasi dan Mesin Turing · Lihat lebih »
Ramon Llull
Ramon Llull (s. 1232 – s. 1315; Anglikanisasi Raymond Lully, Raymond Lull; dalam Latin Raimundus, atau Raymundus Lullus, atau Raimundo Lulio, atau Lullius) adalah seorang matematikawan, filsuf, dan penulis asal Kerajaan Majorca.
Baru!!: Teori komputasi dan Ramon Llull · Lihat lebih »