Ilmu komputer teoretis: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Add 1 book for Wikipedia:Pemastian (20240109)) #IABot (v2.0.9.5) (GreenC bot |
Tidak ada ringkasan suntingan |
||
Baris 2:
'''Ilmu komputer <span lang="Krystal" dir="ltr">teoretis</span>''' ([[Bahasa Inggris|en]]: ''Theoretical computer science,'' TCS) merupakan irisan dari [[ilmu komputer]] umum dan [[Matematika|ilmu matematika]] yang fokus pada teori matematis dari [[ilmu komputer]] yang mencakup [[teori komputasi]], [[Bahasa formal|teori bahasa formal]], [[Kalkulus Lambda|kalkulus lambda]], dan [[Ketik teori|teori tipe]] .
Kompleksitas dari istilah "teori/teoretis" membuat penentuan definisi ilmu komputer teoretis sulit. [[SIGAK ACM|Kelompok Minat Khusus Algoritma dan Teori Komputasi]] (''Special Interest Group on Algorithms and Computation Theory,'' SIGACT) dari [[Association for Computing Machinery|ACM]] menjelaskan bahwa ilmu komputer teoretik mencakup ragam topik seperti [[algoritma]], [[struktur data]], kompleksitas komputasi, [[komputasi paralel]] dan [[Komputasi terdistribusi|terdistribusi]], komputasi probabilistik, [[komputasi kuantum]], teori automata, [[teori informasi]], [[kriptografi]], semantik dan verifikasi pemrograman, [[pembelajaran mesin]], [[biologi komputasi]], ekonomi komputasi, [[geometri komputasi]], dan teori bilangan komputasi dan teori aljabar komputasi. Ilmu komputer teoretik dicirikan dengan penggunaan teknik matematika dan kekakuan/ketepatan pembuktian matematis (''mathematical rigour'') {{efn|''TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, algorithmic game theory, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.''<ref>{{Cite web|title=SIGACT|url=https://www.sigact.org/|access-date=2017-01-19}}</ref>}}
== Sejarah ==
Baris 98 ⟶ 97:
Topik-topik yang dibahas dalam kajian teori bilangan komputas contohnya adalah [[faktorisasi prima]],<ref name=":03" /><ref name=":12" /> [[Kongruen|bilangan kongruen]],<ref name=":03" /> uji primalitas bilangan.<ref name=":12" /> Karena berhubungan dengan bilangan prima, kajian ini memiliki aplikasi, salah satunya, dalam bidang [[kriptografi]] dan [[Analisis kriptografi|kriptoanalisis]].<ref>{{Cite book|last=Das|first=Abhijit|date=2013|title=Computational number theory|location=Boca Raton, Fla.|publisher=CRC Press, Taylor & Francis|isbn=978-1-4398-6615-3|series=Discrete mathematics and its applications}}</ref>
== Catatan ==
{{Notelist}}
== Referensi ==
| |||