Logo
Unionpedia
Komunikasi
Temukan di Google Play
Baru! Ambil Unionpedia pada perangkat Android™ Anda!
Bebas
Akses lebih cepat ketimbang browser!
 

Ilmu komputer teoretis

Indeks Ilmu komputer teoretis

Representasi artistik dari mesin Turing. Mesin Turing digunakan untuk memodelkan perangkat komputasi umum. Ilmu komputer teoretis (en: Theoretical computer science, TCS) merupakan irisan dari ilmu komputer umum dan ilmu matematika yang fokus pada teori matematis dari ilmu komputer yang mencakup teori komputasi, teori bahasa formal, kalkulus lambda, dan teori tipe.

85 hubungan: Algoritma, Analisis kriptografi, Anatomi, Animasi, Association for Computing Machinery, Automaton, Bahasa formal, Bahasa Inggris, Bahasa Yunani, Bandul, Biofisika, Bioinformatika, Biokimia, Biologi, Biologi komputasi, Biologi molekuler, Bita, CAD, CAE, Claude Shannon, Determinisme, Donald O. Hebb, Ekologi, Evolusi, Faktorisasi prima, Fungsi (matematika), Gaya (fisika), Genetika, Genomika, Geometri komputasi, Gerbang logika, Grafika komputer, Ilmu komputer, Ilmu saraf, Keterkaitan kuantum, Kimia, Kompleksitas waktu, Kompresi data, Komputasi, Komputasi kuantum, Komputasi paralel, Komputasi terdistribusi, Komputer, Koneksionisme, Kongruen, Kriptografi, Kriptografi kunci publik, Kurt Gödel, Logika matematika, Manufaktur tertunjang komputer, ..., Matematika, Matematika diskrit, Matematika terapan, Mekanika klasik, Mekanika kuantum, Mesin Turing, Pemelajaran mesin, Pemelajaran terarah, Penghitungan, Pengolahan data, Polihedron, Qubit, Rekayasa hayati, Richard Feynman, Robotika, RSA, Sirkuit terpadu, Sistem informasi geografis, Statistika, Stephen Cook, Struktur data, Superposisi kuantum, Teknik komputer, Teknik listrik, Teorema ketaklengkapan Gödel, Teori bilangan, Teori graf, Teori informasi, Teori kategori, Teori kode, Teori komputasi, Teori otomata, Transmisi data, Unit Pemroses Sentral, Visi komputer. Memperluas indeks (35 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!!: Ilmu komputer teoretis dan Algoritma · Lihat lebih »

Analisis kriptografi

Foto dekat rotor-rotor pada mesin sandi Fialka Analisis kriptografi adalah disiplin ilmu mengenai metode membaca pesan terenkripsi (tersandi) tanpa mengetahui informasi rahasia atau kunci yang seharusnya digunakan untuk membaca pesan tersebut.

Baru!!: Ilmu komputer teoretis dan Analisis kriptografi · Lihat lebih »

Anatomi

Ilustrasi anatomi manusia yang dibuat oleh Leonardo da Vinci Anatomi atau ilmu tasrih adalah ilmu yang mempelajari struktur dan fungsi bagian makhluk hidup.

Baru!!: Ilmu komputer teoretis dan Anatomi · Lihat lebih »

Animasi

Animasi adalah film yang merupakan karya tangan (gambar) yang bergerak.

Baru!!: Ilmu komputer teoretis dan Animasi · Lihat lebih »

Association for Computing Machinery

ACM, singkatan dari Association for Computing Machinery (Asosiasi untuk Permesinan Komputer), adalah sebuah serikat ilmiah dan pendidikan komputer pertama di dunia yang didirikan pada tahun 1947.

Baru!!: Ilmu komputer teoretis dan Association for Computing Machinery · Lihat lebih »

Automaton

''Karakuri ningyo'', boneka penyeduh teh dari Jepang, merupakan contoh automaton. Automaton atau otomat adalah sebuah mesin yang dapat bergerak sendiri.

Baru!!: Ilmu komputer teoretis dan Automaton · 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!!: Ilmu komputer teoretis dan Bahasa formal · Lihat lebih »

Bahasa Inggris

Bahasa Inggris adalah bahasa Jermanik yang pertama kali dituturkan di Inggris pada Abad Pertengahan Awal dan saat ini merupakan bahasa yang paling umum digunakan di seluruh dunia.

Baru!!: Ilmu komputer teoretis dan Bahasa Inggris · Lihat lebih »

Bahasa Yunani

Bahasa Yunani (bahasa Yunani Modern: Ελληνικά Elliniká; Hellēnikḗ) adalah suatu bahasa Indo-Eropa yang dituturkan di Yunani, Siprus, Albania bagian selatan, dan sebagian daerah-daerah di pesisir Laut Hitam, Anatolia, dan Semenanjung Italia bagian selatan.

Baru!!: Ilmu komputer teoretis dan Bahasa Yunani · Lihat lebih »

Bandul

Bandul yang mengalami osilasi ayunan. Bandul yang mempunyai arah vektor kecepatan ('''v''') dan percepatan ('''a''') Bandul adalah benda yang terikat pada sebuah tali dan dapat berayun secara bebas dan periodik yang menjadi dasar kerja dari sebuah jam dinding kuno yang mempunyai ayunan.

Baru!!: Ilmu komputer teoretis dan Bandul · Lihat lebih »

Biofisika

Biofisika adalah salah satu cabang ilmu fisika yang menerapkan prinsip, pendekatan, atau metode fisika dalam mengkaji atau memahami suatu masalah biologi.

Baru!!: Ilmu komputer teoretis dan Biofisika · Lihat lebih »

Bioinformatika

Sekuens yang dianalisis dalam contoh ini adalah asam amino dari empat protein hemoglobin. Bioinformatika (bahasa Inggris: bioinformatics) adalah ilmu yang mempelajari penerapan teknik komputasional untuk mengelola dan menganalisis informasi biologis.

Baru!!: Ilmu komputer teoretis dan Bioinformatika · Lihat lebih »

Biokimia

Biokimia atau kimia biologis, adalah ilmu yang mempelajari proses-proses kimia yang ada di dalam tubuh dan yang berhubungan dengan organisme hidup.

Baru!!: Ilmu komputer teoretis dan Biokimia · Lihat lebih »

Biologi

Biologi (serapan dari biologie) atau ilmu hayat (serapan dari علمالحياة) adalah kajian tentang kehidupan, dan organisme hidup, termasuk struktur, fungsi, pertumbuhan, evolusi, persebaran, dan taksonominya.

Baru!!: Ilmu komputer teoretis dan Biologi · Lihat lebih »

Biologi komputasi

Biologi komputasi meliputi pengembangan dan aplikasi dari data-analitis dan teoretis metode, pemodelan matematika dan simulasi komputasi teknik untuk mempelajari biologi, perilaku, dan sistem sosial..

Baru!!: Ilmu komputer teoretis dan Biologi komputasi · Lihat lebih »

Biologi molekuler

Biologi molekuler atau biologi molekul merupakan salah satu cabang biologi yang merujuk kepada pengkajian mengenai kehidupan pada skala molekul.

Baru!!: Ilmu komputer teoretis dan Biologi molekuler · Lihat lebih »

Bita

Bita (Bahasa Inggris: byte) adalah istilah yang biasa digunakan sebagai satuan dari penyimpanan data dalam komputer.

Baru!!: Ilmu komputer teoretis dan Bita · Lihat lebih »

CAD

Penampakan dari crankshaft piston 4 silinder. Perancangan atau desain dibantu komputer (Computer Aided Design, disingkat CAD) adalah suatu program komputer untuk menggambar suatu produk atau bagian dari suatu produk.

Baru!!: Ilmu komputer teoretis dan CAD · Lihat lebih »

CAE

CAE (singkatan dari Computer Aided Engineering) adalah penggunaan perangkat lunak komputer untuk membantu tugas analisis teknik.

Baru!!: Ilmu komputer teoretis dan CAE · Lihat lebih »

Claude Shannon

Claude Elwood Shannon adalah seorang ilmuwan matematika, teknik elektro, dan kriptografi asal Petoskey, Michigan, Amerika Serikat.

Baru!!: Ilmu komputer teoretis dan Claude Shannon · Lihat lebih »

Determinisme

Determinisme adalah keyakinan filosofis bahwa semua peristiwa terjadi sebagai akibat dari adanya beberapa keharusan dan karenanya tak terelakkan.

Baru!!: Ilmu komputer teoretis dan Determinisme · Lihat lebih »

Donald O. Hebb

Donald Olding Hebb FRS (22 Juli 1904 – 20 Agustus 1985) merupakan seorang psikolog yang memiliki spesialisasi di bidang neuropsikologi.

Baru!!: Ilmu komputer teoretis dan Donald O. Hebb · Lihat lebih »

Ekologi

Ekologi adalah cabang ilmu biologi yang mempelajari interaksi antara makhluk hidup dengan makhluk hidup lain dan juga dengan lingkungan sekitarnya.

Baru!!: Ilmu komputer teoretis dan Ekologi · Lihat lebih »

Evolusi

Evolusi (dalam kajian biologi) berarti perubahan pada sifat-sifat terwariskan suatu populasi organisme dari satu generasi ke generasi berikutnya.

Baru!!: Ilmu komputer teoretis dan Evolusi · Lihat lebih »

Faktorisasi prima

Gambar di atas menunjukkan proses faktorisasi angka 864. Faktorisasi prima adalah pecahan bilangan komposit yang terdiri dari bilangan-bilangan pembagi yang lebih kecil, dan hasil perkalian dari bilangan-bilangan tersebut sama dengan bilangan komposit yang disebutkan.

Baru!!: Ilmu komputer teoretis dan Faktorisasi prima · Lihat lebih »

Fungsi (matematika)

Grafik contoh sebuah fungsi, \beginalign&\scriptstyle \\ &\textstyle f(x).

Baru!!: Ilmu komputer teoretis dan Fungsi (matematika) · Lihat lebih »

Gaya (fisika)

Gaya dalam ilmu fisika adalah interaksi apa pun yang dapat menyebabkan sebuah benda bermassa mengalami perubahan gerak, baik dalam bentuk arah, maupun konstruksi geometris.

Baru!!: Ilmu komputer teoretis dan Gaya (fisika) · Lihat lebih »

Genetika

DNA sebagai basis molekuler dari ilmu pewarisan. Genetika (serapan dari genetica) adalah cabang biologi yang mempelajari pewarisan sifat gen pada organisme maupun suborganisme.

Baru!!: Ilmu komputer teoretis dan Genetika · Lihat lebih »

Genomika

Genomika adalah cabang biologi yang mempelajari genom dari suatu organisme atau virus.

Baru!!: Ilmu komputer teoretis dan Genomika · Lihat lebih »

Geometri komputasi

Geometri komputasi merupakan salah satu cabang ilmu komputer yang mempelajari algoritma yang dapat dinyatakan dalam istilah geometri.

Baru!!: Ilmu komputer teoretis dan Geometri komputasi · Lihat lebih »

Gerbang logika

Gerbang logika atau gerbang logik adalah suatu entitas dalam elektronika dan matematika Boolean yang mengubah satu atau beberapa masukan logik menjadi sebuah sinyal keluaran logik.

Baru!!: Ilmu komputer teoretis dan Gerbang logika · Lihat lebih »

Grafika komputer

Pot teh Utah Grafika komputer (computer graphics.) adalah bagian dari ilmu komputer yang berkaitan dengan pembuatan dan manipulasi gambar (visual) secara digital.

Baru!!: Ilmu komputer teoretis dan Grafika komputer · 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!!: Ilmu komputer teoretis dan Ilmu komputer · Lihat lebih »

Ilmu saraf

Ilmu saraf adalah bidang ilmu yang mempelajari sistem saraf atau sistem neuron.

Baru!!: Ilmu komputer teoretis dan Ilmu saraf · Lihat lebih »

Keterkaitan kuantum

Keterikatan kuantum adalah fenomena yang terjadi ketika sekelompok partikel dihasilkan, berinteraksi, atau berbagi kedekatan spasial sedemikian rupa sehingga keadaan kuantum dari setiap partikel kelompok tidak dapat dijelaskan secara independen dari keadaan yang lain, termasuk ketika partikel dipisahkan oleh jarak yang jauh.

Baru!!: Ilmu komputer teoretis dan Keterkaitan kuantum · Lihat lebih »

Kimia

Larutan zat dalam botol pereaksi, termasuk amonium hidroksida serta asam nitrat, bercahaya dalam warna yang berbeda. Kimia (serapan dari كيمياء) adalah cabang dari ilmu fisik yang mempelajari tentang susunan, struktur, sifat, dan perubahan materi.

Baru!!: Ilmu komputer teoretis dan Kimia · Lihat lebih »

Kompleksitas waktu

Dalam ilmu komputer, kompleksitas waktu adalah kompleksitas komputasi yang mengggambarkan sejumlah waktu komputer yang dibutuhkan untuk menjalankan suatu algoritme.

Baru!!: Ilmu komputer teoretis dan Kompleksitas waktu · Lihat lebih »

Kompresi data

Kompresi data atau pemampatan data (data compression) adalah sebuah cara dalam ilmu komputer untuk memadatkan data sehingga hanya memerlukan ruangan penyimpanan lebih kecil sehingga lebih efisien dalam menyimpannya atau mempersingkat waktu pertukaran data tersebut.

Baru!!: Ilmu komputer teoretis dan Kompresi data · Lihat lebih »

Komputasi

Komputasi sebetulnya bisa diartikan sebagai cara untuk menemukan pemecahan masalah dari data input dengan menggunakan suatu algoritme.

Baru!!: Ilmu komputer teoretis dan Komputasi · Lihat lebih »

Komputasi kuantum

IBM Q System One (2019), komputer kuantum komersial berbasis sirkuit pertama. Komputasi kuantum adalah jenis komputasi yang operasinya dapat memanfaatkan fenomena mekanika kuantum, seperti superposisi, interferensi, dan keterikatan.

Baru!!: Ilmu komputer teoretis dan Komputasi kuantum · Lihat lebih »

Komputasi paralel

Komputasi paralel atau komputasi sejajar adalah salah satu teknik melakukan komputasi secara bersamaan dengan memanfaatkan beberapa komputer independen secara bersamaan.

Baru!!: Ilmu komputer teoretis dan Komputasi paralel · Lihat lebih »

Komputasi terdistribusi

Dalam ilmu komputer, komputasi terdistribusi atau komputasi teragih mempelajari penggunaan terkoordinasi dari komputer yang secara fisik terpisah atau terdistribusi.

Baru!!: Ilmu komputer teoretis dan Komputasi terdistribusi · Lihat lebih »

Komputer

Komputer (computer) adalah perangkat elektronik yang menerima, menyimpan dan memproses data menjadi informasi secara matematis atau logis sesuai dengan serangkaian instruksi yang diprogram.

Baru!!: Ilmu komputer teoretis dan Komputer · Lihat lebih »

Koneksionisme

Edward Lee Thorndike, tokoh psikologi pendidikan yang mengembangkan teori koneksionisme. Koneksionisme atau teori coba-coba adalah sebuah teori belajar yang dikemukakan oleh Edward Lee Thorndike.

Baru!!: Ilmu komputer teoretis dan Koneksionisme · Lihat lebih »

Kongruen

Dalam geometri, dua bangun datar atau objek lainnya disebut (saling) kongruen jika keduanya memiliki bentuk dan ukuran yang sama, atau salah satunya memiliki bentuk dan ukuran yang sama dari cerminan dari yang lain.

Baru!!: Ilmu komputer teoretis dan Kongruen · Lihat lebih »

Kriptografi

Alat kriptografi Lorenz yang dipakai di Jerman saat perang dunia II Kriptografi (atau kriptologi; dari bahasa Yunani κρυπτός kryptós, "tersembunyi, rahasia"; dan γράφειν graphein, "menulis", atau -λογία logi, "ilmu") merupakan keahlian dan ilmu dari cara-cara untuk komunikasi aman pada kehadirannya di pihak ketiga.

Baru!!: Ilmu komputer teoretis dan Kriptografi · Lihat lebih »

Kriptografi kunci publik

Kriptografi kunci publik (disebut juga kriptografi asimetris) adalah sistem kriptografi yang menggunakan sepasang kunci, yaitu (1) kunci publik yang bisa disebarkan dan (2) kunci pribadi yang hanya diketahui oleh pemilik.

Baru!!: Ilmu komputer teoretis dan Kriptografi kunci publik · 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!!: Ilmu komputer teoretis dan Kurt Gödel · 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!!: Ilmu komputer teoretis dan Logika matematika · Lihat lebih »

Manufaktur tertunjang komputer

Manufaktur tertunjang komputer (Computer-aided manufacturing, CAM), atau permodelan tertunjang komputer atau permesinan tertunjang komputer adalah penggunaan perangkat lunak untuk mengendalikan mesin perkakas dalam proses manufaktur.

Baru!!: Ilmu komputer teoretis dan Manufaktur tertunjang komputer · 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!!: Ilmu komputer teoretis dan Matematika · Lihat lebih »

Matematika diskrit

Matematika diskrit atau diskret adalah cabang matematika yang membahas segala sesuatu yang bersifat diskrit.

Baru!!: Ilmu komputer teoretis dan Matematika diskrit · Lihat lebih »

Matematika terapan

Salah satu penerapan matematika terapan dalam mencari solusi efisien untuk masalah perutean kendaraan yang memerlukan alat dari optimasi kombinatorial dan pemrograman integer. Matematika terapan merupakan cabang matematika yang terkait dengan teknik matematika yang digunakan dalam aplikasi ilmu matematika untuk disiplin ilmiah.

Baru!!: Ilmu komputer teoretis dan Matematika terapan · Lihat lebih »

Mekanika klasik

Mekanika klasik adalah bagian dari ilmu fisika yang membahas mengenai gaya yang bekerja pada benda.

Baru!!: Ilmu komputer teoretis dan Mekanika klasik · Lihat lebih »

Mekanika kuantum

Penyelesaian Persamaan Schrödinger untuk atom hidrogen pada tingkat energi yang berbeda. Semakin terang areanya, semakin tinggi probabilitas menemukan elektron. Mekanika kuantum adalah cabang dasar fisika yang digunakan untuk menjelaskan sistem atom dan subatom.

Baru!!: Ilmu komputer teoretis dan Mekanika kuantum · 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!!: Ilmu komputer teoretis dan Mesin Turing · Lihat lebih »

Pemelajaran mesin

Pemelajaran mesin, cabang dari kecerdasan buatan adalah suatu bidang kajian yang berfokus pada pengembangan dan studi mengenai algoritma statistik yang dapat secara efektif melakukan generalisasi dan sebagai hasilnya, dapat mengerjakan tugas-tugas yang diberikan tanpa instruksi secara eksplisit.

Baru!!: Ilmu komputer teoretis dan Pemelajaran mesin · Lihat lebih »

Pemelajaran terarah

Pembelajaran terarah (bahasa Inggris: supervised learning) adalah sebuah paradigma dalam pembelajaran mesin yang mana objek masukan (seperti vektor dari variabel prediktor) dan nilai keluaran yang diinginkan (disebut juga sebagai sinyal pengarah yang dilabeli manusia atau human-labeled supervisory signal) digunakan untuk melatih suatu model.

Baru!!: Ilmu komputer teoretis dan Pemelajaran terarah · Lihat lebih »

Penghitungan

adalah proses yang disengaja untuk mengubah satu masukan atau lebih ke dalam hasil tertentu, dengan sejumlah peubah.

Baru!!: Ilmu komputer teoretis dan Penghitungan · Lihat lebih »

Pengolahan data

Pengolahan data adalah rangkaian pengolahan untuk menghasilkan informasi atau menghasilkan pengetahuan dari data mentah.

Baru!!: Ilmu komputer teoretis dan Pengolahan data · Lihat lebih »

Polihedron

Dalam geometri, polihedron adalah suatu bangun ruang berdimensi tiga yang memiliki muka berupa poligon datar, garis-garis lurus yang disebut rusuk, dan ujung yang tajam yang disebut titik sudut.

Baru!!: Ilmu komputer teoretis dan Polihedron · Lihat lebih »

Qubit

Dalam komputasi kuantum, qubit (/ ː k juː b ɪ t /) atau bit kuantum (kadang-kadang qbit) adalah unit dasar informasi kuantum — versi kuantum dari bit biner klasik yang secara fisik diwujudkan dengan perangkat dua-keadaan.

Baru!!: Ilmu komputer teoretis dan Qubit · Lihat lebih »

Rekayasa hayati

Rekayasa hayati (bahasa Inggris:bioengineering) adalah aplikasi dari konsep dan metode biologi, fisika, kimia, dan ilmu komputer untuk memecahkan masalah terkait makhluk hidup dengan menggunakan aplikasi dan analisis teknik.

Baru!!: Ilmu komputer teoretis dan Rekayasa hayati · Lihat lebih »

Richard Feynman

Richard Phillips Feynman (11 Mei 1918–15 Februari 1988) (nama keluarga dilafalkan "FAIN-man") adalah salah seorang fisikawan Amerika yang paling berpengaruh pada abad kedua puluh.

Baru!!: Ilmu komputer teoretis dan Richard Feynman · Lihat lebih »

Robotika

Robot di pabrik Sistem tangan robot Robotika adalah satu cabang teknologi yang berhubungan dengan desain, konstruksi, operasi, disposisi struktural, pembuatan, dan aplikasi dari robot.

Baru!!: Ilmu komputer teoretis dan Robotika · Lihat lebih »

RSA

RSA di bidang kriptografi adalah sebuah algoritme pada enkripsi public key.

Baru!!: Ilmu komputer teoretis dan RSA · Lihat lebih »

Sirkuit terpadu

Rangkaian terpadu Atmel Diopsis 740 ''System on Chip'' yang menunjukkan blok memori, logika dan ''pad'' masukan/keluaran di sekitar periferal Sirkuit terpadu atau rangkaian terpadu (chip, integrated circuit, IC) adalah komponen dasar yang terdiri dari resistor, transistor dan lain-lain.

Baru!!: Ilmu komputer teoretis dan Sirkuit terpadu · Lihat lebih »

Sistem informasi geografis

Sistem informasi merupakan metode untuk mengorganisasikan data dalam tujuan tertentu.

Baru!!: Ilmu komputer teoretis dan Sistem informasi geografis · Lihat lebih »

Statistika

Statistika adalah sebuah ilmu yang mempelajari bagaimana cara merencanakan, mengumpulkan, menganalisis, lalu menginterpretasikan, dan akhirnya mempresentasikan data.

Baru!!: Ilmu komputer teoretis dan Statistika · Lihat lebih »

Stephen Cook

Stephen Arthur Cook (14 Desember 1939 - sekarang) merupakan seorang ilmuan komputer dan matematikawan Amerika - Kanada yang telah memberikan kontribusi besar pada bidang teori kompleksitas dan kompleksitas bukti.

Baru!!: Ilmu komputer teoretis dan Stephen Cook · Lihat lebih »

Struktur data

Dalam istilah ilmu komputer, struktur data adalah cara menyimpan dan mengatur data secara terstruktur pada sistem komputer atau pangkalan data (database) sehingga lebih mudah diakses.

Baru!!: Ilmu komputer teoretis dan Struktur data · Lihat lebih »

Superposisi kuantum

Superposisi dalam mekanika kuantum adalah fenomena dimana suatu partikel bisa berada dalam dua keadaan sekaligus atau dikenal dengan keadaan superposisi.

Baru!!: Ilmu komputer teoretis dan Superposisi kuantum · Lihat lebih »

Teknik komputer

Pemrograman komputer Teknik komputer (disebut juga teknik sistem komputer) atau rekayasa komputer (bahasa Inggris: computer engineering) adalah suatu disiplin khusus yang mengkombinasikan teknik elektro dan ilmu komputer.

Baru!!: Ilmu komputer teoretis dan Teknik komputer · Lihat lebih »

Teknik listrik

Teknik listrik atau teknik elektro (electrical engineering) adalah salah satu bidang ilmu teknik mengenai aplikasi listrik untuk memenuhi kebutuhan masyarakat.

Baru!!: Ilmu komputer teoretis dan Teknik listrik · Lihat lebih »

Teorema ketaklengkapan Gödel

Teorema ketaklengkapan Gödel (Gödel's incompleteness theorems) adalah dua teorema logika matematika yang menetapkan batasan (limitation) inheren dari semua kecuali sistem aksiomatik yang paling trivial yang mampu mengerjakan aritmetika.

Baru!!: Ilmu komputer teoretis dan Teorema ketaklengkapan Gödel · Lihat lebih »

Teori bilangan

independensi antara menjadi prima dan menjadi nilai polinomial kuadrat tertentu. Teori bilangan (atau aritmetika tinggi dalam penggunaan yang lama) adalah cabang dari matematika murni yang ditujukan terutama untuk mempelajari bilangan bulat dan fungsi bernilai bilangan bulat.

Baru!!: Ilmu komputer teoretis dan Teori bilangan · Lihat lebih »

Teori graf

Sebuah graf yang dimodelkan dari Tujuh Jembatan Königsberg. Teori graf adalah cabang matematika dan ilmu komputer yang mempelajari graf, yaitu struktur yang menggambarkan himpunan simpul (vertex) yang beberapa di antaranya dihubungkan dengan sisi-sisi (edge), beserta propertinya.

Baru!!: Ilmu komputer teoretis dan Teori graf · Lihat lebih »

Teori informasi

Fungsi entropi biner BernoulliTeori informasi (Inggris: information theory) adalah disiplin ilmu dalam bidang matematika terapan yang berkaitan dengan kuantisasi data sehingga data atau informasi itu dapat disimpan dan dikirimkan tanpa kesalahan (error) melalui suatu kanal komunikasi.

Baru!!: Ilmu komputer teoretis dan Teori informasi · Lihat lebih »

Teori kategori

Teori kategori. Sebuah kategori dengan objek ''X'', ''Y'', ''Z'', dan morfisme ''f'', ''g'', ''g'' ∘ ''f'', dan tiga morfisma identitas (tidak ditunjukkan) 1''X'', 1''Y'', dan 1''Z''. Teori kategori berhubungan dengan struktur matematika dan hubungan antar struktur tersebut secara abstrak.

Baru!!: Ilmu komputer teoretis dan Teori kategori · Lihat lebih »

Teori kode

Visualisasi dua dimensi dari jarak Hamming, ukuran dalam teori pengkodean. Teori kode atau Teori pengkodean adalah studi tentang sifat kode dan kesesuaian untuk aplikasi tertentu.

Baru!!: Ilmu komputer teoretis dan Teori kode · Lihat lebih »

Teori komputasi

Representasi artistik dari mesin Turing. Mesin Turing biasanya digunakan sebagai model teoritis untuk komputasi. Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritma.

Baru!!: Ilmu komputer teoretis dan Teori komputasi · Lihat lebih »

Teori otomata

Teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.

Baru!!: Ilmu komputer teoretis dan Teori otomata · Lihat lebih »

Transmisi data

Transmisi data, komunikasi digital atau pemancaran data adalah transfer data (bitstream digital atau sinyal analog digital)A.

Baru!!: Ilmu komputer teoretis dan Transmisi data · Lihat lebih »

Unit Pemroses Sentral

Unit Pemroses Sentral atau Unit Pengolahan Pusat (Central Processing Unit/Processor (CPU)) adalah sirkuit elektronik di dalam komputer yang menjalankan perintah untuk membentuk program komputer.

Baru!!: Ilmu komputer teoretis dan Unit Pemroses Sentral · Lihat lebih »

Visi komputer

Visi komputer atau penglihatan komputer adalah bidang ilmiah antardisiplin yang membahas bagaimana komputer dapat memperoleh pemahaman tingkat tinggi dari gambar atau video digital.

Baru!!: Ilmu komputer teoretis dan Visi komputer · Lihat lebih »

Beralih ke halaman ini:

Ilmu komputer teoretik.

KeluarMasuk
Hei! Kami di Facebook sekarang! »