stanford-oval/wikipedia huggingface dataset:
Abdullah bin Ubay
Melindungi Bani Qaynuqa

Konflik Muslimin dengan Bani Qaynuqa terjadi saat terjadi pelecehan oleh pedagang Yahudi dari Bani Qaynuqa terhadap seorang pembeli perempuan, yang membuat pakaiannya tersingkap. Peristiwa tersebut berujung aksi saling bunuh.
Pemukiman Bani Qaynuqa akhirnya dikepung oleh Pasukan Muslim selama 15 hari. Abdulla bin Ubay yang berhutang budi dengan Bani Qaynuqa akhirnya memintakan maaf kepada Muhammad. Permohonan ini ditolak, dalam 3 hari mereka diminta meninggalkan kota dan hartanya dirampas, tetapi Abdulla bin Ubay tetap dianggap telah menyelamatkan nasib Bani Qaynuqa, karena diperkirakan awalnya mereka akan dihukum mati.
Kejadian ini membuat Abdulla bin Ubay dianggap lebih mementingkan kepentingan pribadi dan kelompoknya, ketimbang membela agamanya sendiri.
Menghasut Bani Nadir

Ia juga terlibat dalam konflik Muhammad dengan suku Yahudi lainnya, Bani Nadir. Muhammad awalnya memerintahkan mereka meninggalkan Madinah dalam sepuluh hari. Seseorang berpengaruh di Madinah tidak mempercayai perintah ini dan meminta mereka untuk bertahan, yang diperkirakan adalah Abdullah bin Ubay. Waqidi menganggap Abdullah bin Ubay mengupayakan rekonsiliasi. Sementara Muhammad bin Jarir Al Tabari menyatakan ia menuduh Muhammad adalah seorang pengkhianat dan meminta Bani Nadir bertahan di Madinah dengan janji akan memberi bantuan. Namun akhirnya bantuan ini urung diberikan, sehingga Bani Nadir menyerah. Mereka akhirnya tetap diusir dari Madinah.
Kejadian ini dianggap dimulainya sikap terang-terangan Abdullah bin Ubay menentang Muhammad, bukan lagi sekedar mengkritiknya. Sikap ini diperkirakan terus berlanjut hingga dua tahun setelahnya.
Pengkhianatan pada Perang Uhud

Ia sebenarnya mendukung pihak Muhammad dalam Perang Uhud, namun lebih setuju jika pasukan muslim berfokus mempertahankan kota dari dalam. Namun saran pejuang muda muslim lebih dipilih nabi, agar menggunakan taktik yang lebih agresif. Mengetahui hal ini, Abdulla bin Ubay menunjukkan kemarahannya. Ia kemudian membelot dengan 300 pasukannya saat Perang Uhud dimulai, dengan kembali ke Madinah.
Muhammad kemudian memintanya mengawal orang-orang Yahudi agar masuk ke kota, namun dengan memanggil mereka, "Para Penyembah Berhala." Tindakannya ini menjadi salah satu penyebab kekalahan Pasukan Muslim, tetapi sekaligus membuat pasukan Makkah berpikir ulang untuk menyerang langsung Madinah untuk menangkap Muhammad, karena akan menyebabkan perlawanan Madinah bertambah kuat.
Peran dalam Konflik dengan Bani Mustaliq

Tahun 627, ia ikut dalam penyerangan Bani Mustaliq. Konflik baru terjadi antara Muhajirin dan Anshor saat kepulangan, karena pembantu Umar mendorong sekutu Suku Kahzraj. mendengar ini, Abdulla bin Ubay kemudian mengajukan protesnya.
Inilah yang mendatangkan kerugian bagi kita, dengan mengundang orang asing jadi bagian dari kita. Sepulangnya kita ke Madinah nanti, orang asing ini harus diusir!
Kalimat ini dianggap sebagai upaya Abdulla bin Ubay untuk menggerogoti pengaruh Muhammad sebagai seorang pendatang di Madinah. Muhammad kemudian menghindari konflik berlanjut dengan meneruskan perjalanan pulang. Walaupun ia memaafkan, tetapi kecaman terhadap orang-orang munafik, yang direpresentasikan oleh Abdullah bin Ubay, tercatat dalam Surat Munafiqun ayat 8. Muhammad mengabaikan saran Umar, bahkan anak Abdullah bin Ubay sendiri, untuk menghukum mati dirinya.
Fitnah Aisyah

Saat Aisyah difitnah dengan isu perselingkuhan, Abdullah bin Ubay salah satu yang terlibat secara aktif menyebarkan. Saat nama baik Aisyah telah dibersihkan di dalam Alquran, pemimpin Suku Aws menuntut supaya mereka yang menyebarkan isu ini dihukum, tetapi ditentang oleh Suku Khazraj. Tiga orang kemudian dihukum cambuk sebanyak 80 kali, tetapi Abdullah bin Ubay tidak dikenai hukuman ini. Ia juga tidak mau mengakui kesalahannya sudah ikut berperan merusak nama istri nabi.
Kematian

Setelah tahun 627, Abdullah bin Ubay tidak lagi secara terang-terangan berusaha melawan pengaruh Nabi Muhammad SAW. Ia ikut terlibat dalam Pertempuran Hudaibiyah.
Tahun 630 saat Nabi Muhammad SAW berusaha meluncurkan perang melawan Kekaisaran Romawi Timur, kekeringan diikuti banjir besar menghalangi ekspedisi ini. Pasukan Abdullah bin Ubay kembali ke Madinah, sementara pasukan Nabi Muhammad SAW meneruskan perjalanan. Namun ini diketahui atas izin Nabi Muhammad SAW dengan pertimbangan kesehatan Abdullah bin Ubay yang memburuk.
Dua bulan setelah kegagalan kampanye ini, ia meninggal. Nabi Muhammad SAW tidak memperlihatkan sikap permusuhan, tetap menghadiri dan mendoakan dalam pemakamannya. Namun Alquran sendiri dalam surat At Taubah 80 menyiratkan sikap tetap mengecam sikap Abdullah bin Ubay sebagai representasi orang-orang munafik, sekalipun telah dimaafkan oleh Nabi Muhammad SAW.
Sekalipun engkau memohonkan ampunan bagi mereka atau tidak memohonkan ampunan bagi mereka. Walaupun engkau memohonkan ampunan bagi mereka tujuh puluh kali, Allah tidak akan memberi ampunan kepada mereka. Demikian itu karena mereka kufur kepada Allah dan Rasul-Nya. Allah tidak akan memberi petunjuk kepada kaum yang fasik..
Meninggalnya Abdullah bin Ubay dianggap sebagai titik memudarnya pengaruh orang-orang munafik dalam sejarah kenabian.
Abdullah bin Ubay menikah tiga kali, dengan sembilan anak, semuanya penganut muslim yang taat.
Fitnah

Fitnah, pencemaran nama baik, dergama, atau defamasi merupakan komunikasi kepada satu orang atau lebih yang bertujuan untuk memberikan stigma negatif atas suatu peristiwa yang dilakukan oleh pihak lain berdasarkan atas fakta palsu yang dapat memengaruhi penghormatan, wibawa, atau reputasi seseorang. Kata "fitnah" diserap dari bahasa Arab, dan pengertian aslinya adalah "cobaan" atau "ujian". Fitnah dapat diartikan juga sebagai pencemaran nama baik.
Hal terkait fitnah adalah mengumumkan fakta yang bersifat pribadi kepada publik, yang muncul ketika seseorang mengungkapkan informasi yang bukan masalah umum, dan hal tersebut bersifat menyerang pribadi yang bersangkutan.
Hukum penjelasan palsu "terutama ditujukan untuk melindungi kesejahteraan mental atau emosional penuntut". Jika publikasi informasi itu palsu, terjadilah kesalahan berupa fitnah. Jika komunikasi itu tidak salah secara teknis namun menyesatkan, kesalahan berupa penjelasan palsu bisa terjadi.
Di beberapa yurisdiksi, pencemaran nama baik juga diperlakukan sebagai kejahatan. Komite Hak Asasi Manusia Perserikatan Bangsa-Bangsa memutuskan pada tahun 2012 bahwa undang-undang pencemaran nama baik di satu negara, Filipina, tidak konsisten dengan Pasal 19 Kovenan Internasional tentang Hak Sipil dan Politik serta mendesak bahwa "Negara pihak [dalam Kovenan] harus mempertimbangkan dekriminalisasi pencemaran nama baik".
Latar belakang

Di Afrika, setidaknya empat negara anggota mendekriminalisasi pencemaran nama baik antara tahun 2012 dan 2017. Putusan oleh Pengadilan Hak Asasi Manusia dan Rakyat Afrika di Lohé Issa Konaté v. Republik Burkina Faso menetapkan preseden di wilayah tersebut terhadap hukuman penjara sebagai hukuman yang sah untuk pencemaran nama baik, mencirikannya sebagai pelanggaran terhadap Piagam Afrika tentang Hak Asasi Manusia dan Rakyat (ACHPR), Kovenan Internasional tentang Hak Sipil dan Politik (ICCPR) dan perjanjian Masyarakat Ekonomi Negara-Negara Afrika Barat (ECOWAS).
Negara-negara di setiap kawasan telah bergerak untuk memajukan kriminalisasi pencemaran nama baik dengan memperluas undang-undang ke konten daring. Undang-undang kejahatan dunia maya dan anti-terorisme yang disahkan di seluruh dunia telah muncul di hadapan pengadilan, dengan beberapa hukuman penjara. Perserikatan Bangsa-Bangsa, OSCE, Organisasi Negara-Negara Amerika (OAS) dan Komisi Afrika untuk Hak Asasi Manusia dan Pelapor Khusus Hak-Hak Rakyat untuk Kebebasan Berekspresi menyatakan dalam deklarasi bersama pada Maret 2017 bahwa "larangan umum atas penyebaran informasi berdasarkan ketidakjelasan dan ambiguitas ide-ide, termasuk 'berita palsu' atau 'informasi non-objektif', tidak sesuai dengan standar internasional untuk pembatasan kebebasan berekspresi dan harus dihapuskan."
Kejahatan

Banyak negara memiliki hukuman pidana untuk pencemaran nama baik dalam beberapa situasi, dan kondisi yang berbeda untuk menentukan apakah suatu pelanggaran telah terjadi. Pasal 19, sebuah kelompok advokasi kebebasan berekspresi Inggris, telah menerbitkan peta global yang memetakan keberadaan undang-undang pidana pencemaran nama baik di seluruh dunia, serta menunjukkan negara-negara yang memiliki perlindungan khusus bagi para pemimpin politik atau pejabat negara.
Organization for Security and Co-operation in Europe (OSCE) juga telah menerbitkan database rinci tentang ketentuan pencemaran nama baik pidana dan perdata di 57 negara, termasuk semua negara Eropa, semua negara anggota Persemakmuran Negara-Negara Merdeka, Amerika Serikat dan Kanada.
Dalam putusan tahun 2012 atas pengaduan yang diajukan oleh seorang penyiar yang telah dipenjara karena melanggar hukum pencemaran nama baik Filipina, Komisi Hak Asasi Manusia Perserikatan Bangsa-Bangsa menyatakan bahwa kriminalisasi pencemaran nama baik tanpa ketentuan doktrin tokoh masyarakat – seperti dalam hukum pidana Filipina – melanggar kebebasan berekspresi dan tidak sesuai dengan Pasal 19 Kovenan Internasional tentang Hak Sipil dan Politik.
Perlindungan dan pembelaan

Di Amerika Serikat, aturan khusus berlaku dalam hal pernyataan yang dibuat di pers mengenai tokoh masyarakat, yang dapat digunakan sebagai pembelaan. Serangkaian keputusan pengadilan yang dipimpin oleh New York Times Co. v. Sullivan, 376 US 254 (1964) menetapkan bahwa agar pejabat publik (atau tokoh publik lain yang sah) memenangkan kasus pencemaran nama baik di Amerika Serikat, pernyataan tersebut harus diterbitkan mengetahui itu salah atau dengan ceroboh mengabaikan kebenarannya (juga dikenal sebagai kejahatan yang sebenarnya).
Di bawah hukum Amerika Serikat, pencemaran nama baik umumnya memerlukan lima elemen kunci: penggugat harus membuktikan bahwa informasi tersebut dipublikasikan, penggugat diidentifikasi secara langsung atau tidak langsung, pernyataan tersebut memfitnah reputasi penggugat, informasi yang dipublikasikan adalah palsu, dan bahwa tergugat bersalah.
The Associated Press memperkirakan bahwa 95% kasus pencemaran nama baik tidak muncul di berita profil tinggi, tetapi muncul di cerita lokal "run of the mill" seperti liputan berita investigasi atau pengadilan kriminal lokal, atau profil bisnis. Kewajiban media adalah untuk menutupi potensi kerugian akibat tuntutan hukum pencemaran nama baik.
Dalam kasus lain, di bawah hukum umum Inggris, membuktikan kebenaran tuduhan pada awalnya merupakan pembelaan yang sah hanya dalam kasus pencemaran nama baik sipil. Pidana pencemaran nama baik ditafsirkan sebagai pelanggaran terhadap masyarakat luas berdasarkan kecenderungan fitnah untuk memprovokasi pelanggaran perdamaian, bukan kejahatan berdasarkan pencemaran nama baik itu sendiri; kebenarannya karena itu dianggap tidak relevan. Bagian 6 dari Undang-undang pencemaran nama baik 1843 memungkinkan kebenaran terbukti dari tuduhan untuk digunakan sebagai pembelaan yang sah dalam kasus pencemaran nama baik pidana, tetapi hanya jika terdakwa juga menunjukkan bahwa publikasi adalah untuk kepentingan umum.
Namun, dalam beberapa sistem, khususnya Filipina, kebenaran saja bukanlah pembelaan. Hal ini juga diperlukan dalam kasus ini untuk menunjukkan bahwa ada kepentingan publik yang beralasan dalam informasi spesifik yang diketahui secara luas, dan ini mungkin terjadi bahkan untuk tokoh masyarakat. Kepentingan publik umumnya bukan "apa yang diminati publik", melainkan "apa yang menjadi kepentingan publik".
Dalam putusan tahun 2012 yang melibatkan hukum pencemaran nama baik Filipina, Komisi Hak Asasi Manusia Perserikatan Bangsa-Bangsa berkomentar, "Hukum pencemaran nama baik pidana harus mencakup pembelaan kebenaran."
Lihat pula

Hujatan
Fitnah kejahatan
| Pengawasan otoritas  |
| --- | --- |
Umum:  Integrated Authority File (Jerman) 
Perpustakaan nasional:  Prancis (data)  Amerika Serikat  Jepang  Republik Ceko
Bungaejaya, Pallangga, Gowa

Bungaejaya adalah sebuah desa di wilayah Kecamatan Pallangga, Kabupaten Gowa, Provinsi Sulawesi Selatan, Indonesia.
Pranala luar

(Indonesia) Keputusan Menteri Dalam Negeri Nomor 050-145 Tahun 2022 tentang Pemberian dan Pemutakhiran Kode, Data Wilayah Administrasi Pemerintahan, dan Pulau tahun 2021
(Indonesia) Peraturan Menteri Dalam Negeri Nomor 72 Tahun 2019 tentang Perubahan atas Peraturan Menteri Dalam Negeri Nomor 137 Tahun 2017 tentang Kode dan Data Wilayah Administrasi Pemerintahan
(Indonesia) Peraturan Menteri Dalam Negeri Nomor 137 Tahun 2017 tentang Kode dan Data Wilayah Administrasi Pemerintahan
| l b Kecamatan Pallangga, Kabupaten Gowa, Sulawesi Selatan |
| --- | --- |
Kelurahan:  Mangalli  Pangkabinanga  Parangbanoa  Tetebatu 
Desa:  Bontoala  Bontoramba  Bungaejaya  Jene'tallasa  Julubori  Julukanaya  Julupa'mai  Kampili  Pallangga  Panakkukang  Taeng  Toddotoa
Rediff.com

| Rediff> com |
| --- | --- |

URL: rediff.com
Tipe: situs web, perusahaan bisnis, badan usaha, perusahaan, software company (en) , Portal web, perusahaan media dan Perusahaan publik 
Pendaftaran: Opsional
Bahasa: Inggris
Pembuat: Ajit Balakrishnan (en)  
Berdiri sejak: 8 Februari 1997; 27 tahun lalu (1997-02-08)
Lokasi pembentukan: India 
Lokasi kantor pusat: Mumbai 
Negara: India 
Total omset: $3.63 juta (2015)
Peringkat Alexa: ▲ 332 (April 2016) 
 
Rediff.com adalah sebuah portal web belanja, hiburan, informasi dan berita India, yang didirikan pada 1996 dengan nama "Rediff On The NeT". Portal tersebut bermarkas besar di Mumbai, dengan kantor-kantor cabang di Bangalore, New Delhi dan New York City.
Menurut Alexa, Rediff.com merupakan portal web India No. 24. Portal tersebut memiliki lebih dari 316 karyawan. 89.1% juta pengunjung dari Rediff.com berasal dari India, sementara sisanya utamanya dari AS (3.4%) dan Tiongkok. Pada April 2001, Rediff.com mengakuisisi dan mulai menawarkan India Abroad.
Pada Februari 2011, portal tersebut meraih peringkat ke-295 di Alexa. Rediff.com adalah nama domain situs web pertama yang didaftarkan di India pada 1996.
Pranala luar

Situs web resmi
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 .
Kompleksitas dari istilah "teori/teoretis" membuat penentuan definisi ilmu komputer teoretis sulit. Kelompok Minat Khusus Algoritma dan Teori Komputasi (Special Interest Group on Algorithms and Computation Theory, SIGACT) dari ACM menjelaskan bahwa ilmu komputer teoretik mencakup ragam topik seperti algoritma, struktur data, kompleksitas komputasi, komputasi paralel dan 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)
Topik-topik dalam kajian ilmu komputer teoretik > Algoritma

Suatu algoritma adalah langkah atau prosedur komputasi. Algoritma digunakan untuk proses penghitungan, pemrosesan data, dan penalaran otomatis.
Algoritma adalah metode efektif berupa daftar terbatas dari instruksi yang didefinisikan dengan akurat untuk menghitung suatu fungsi. Daftar langkah tersebut dimulai dari keadaan (state) awal dan masukan (input) awal, atau bisa jadi berisi nilai kosong. Rangkaian instruksi pada algoritma menjelaskan langkah-langkah komputasi yang menghasilkan keadaan (state) yang tetap di tiap langkah. Pada akhir algoritma, rangkaian instruksi akan menghasilkan "keluaran" (output) dan kemudian berhenti. Peralihan dari satu keadaan ke keadaan berikutnya tidak selalu bersifat deterministik (memiliki hubungan sebab-akibat yang jelas secara kasat mata). Sebagai contoh, algoritma acak, menambahkan tiap masukan secara acak, sehingga hasil algoritma tidak terlihat deterministik.
Topik-topik dalam kajian ilmu komputer teoretik > Teori automata

Teori automata adalah kajian mengenai mesin abstrak dan automata, serta pemanfaatan keduanya dalam memecahkan permasalahan. Bidang kajian ini termasuk dalam kajian matematika diskrit (irisan antara bidang kajian matematika dan ilmu komputer ). Kata Automata berasal dari kata Yunani αὐτόματα yang berarti "bertindak sendiri".
Secara ringkas, teori automata membahas mesin (mesin mekanik maupun fungsi matematis) yang meniru sebagian fitur aksi manusia. Mesin-mesin ini melakukan konversi informasi dari bentuk satu ke bentuk yang lain. Sebagai contoh, dalam mesin mekanik dikenal suatu sistem pendulum, yang memiliki keadaan awal (initial state), masukan berupa faktor peubah (seperti gaya) dan luaran berupa kondisi akhir yang menjadi keadaan awal bagi langkah berikutnya. Dalam matematika, fungsi yang menggambarkan relasi antara dua variabel dapat menghasilkan luaran berbeda tiap kali variabel masukan berubah.  Teori automata mengkaji kelakuan dinamis dari hubungan antara masukan dan luaran dari automaton dan memberikan pembuktian matematis dari tingkah laku dinamis tersebut.
Topik-topik dalam kajian ilmu komputer teoretik > Teori pengkodean

Teori pengkodean mengkaji aspek matematika dari metode (dalam konteks kajian ini disebut sebagai "kode") untuk mengoreksi galat pada transmisi informasi. Kode merepresentasikan data sedemikian rupa sehingga informasi tetap dapat diterima, meskipun ditemukan galat/kesalahan pada data. Sebagai contoh, kode digunakan untuk kompresi data, kriptografi, koreksi kesalahan, dan pengkodean jaringan. Kode dikaji dalam ragam bidang ilmu—seperti teori informasi, teknik elektro, matematika, dan ilmu komputer—dengan tujuan untuk merancang metode transmisi data yang efisien dan andal. Hal ini biasanya melibatkan penghapusan redundansi dan koreksi (atau deteksi) kesalahan pada transmisi data.
Topik-topik dalam kajian ilmu komputer teoretik > Biologi komputasi

Biologi komputasi merupakan cabang dari ilmu biologi yang beririsan dengan ilmu komputer yang mengkaji pemahaman serta pemodelan proses dan struktur makhluk hidup. Biologi komputasi mengembangkan dan menerapkan metode analisis dan teori data biologis, pemodelan matematika dari struktur dan proses biologis dan teknik komputasi simulasi dalam sistem biologis, perilaku, dan sosial.  Bidang ini didefinisikan secara luas dan beririsan dengan kajian-kajian dalam ilmu komputer, matematika terapan, animasi, statistik, biokimia, kimia, biofisika, biologi molekuler, genetika, genomik, ekologi, evolusi, anatomi, ilmu saraf, dan visualisasi.
Biologi komputasi berbeda dengan komputasi biologi, yang merupakan subbidang di bawah kajian ilmu komputer dan teknik komputer yang memanfaatkan bioteknologi dan biologi untuk membangun sistem komputer. Namun, kajian biologi komputasi memiliki kemiripan dengan kajian bioinformatika, yaitu ilmu interdisipliner yang mengkaji penyimpanan dan pemrosesan data biologis menggunakan komputer.
Topik-topik dalam kajian ilmu komputer teoretik > Teori kompleksitas komputasi

Teori kompleksitas komputasi adalah bagian dari kajian teori komputasi mengenai pengelompokkan masalah komputasi sesuai tingkat kompleksitas komputasinya, dan membahas hubungan antar tingkatan kompleksitas tersebut satu sama lain. Dalam kajian ini, yang dimaksud dengan masalah komputasi adalah tugas yang pada prinsipnya dapat diselesaikan oleh komputer. Masalah komputasi tersebut dapat diartikan juga sebagai masalah yang dapat diselesaikan dengan penerapan langkah-langkah matematika secara terstruktur, seperti dengan menggunakan solusi algoritma tertentu.
Suatu masalah komputasi dianggap kompleks/sulit bila pencarian solusi membutuhkan sumber daya komputasi yang besar dalam menjalankan algoritma yang diberikan (penggunaan ruang pada penyimpanan, atau penggunaan memori maupun prosesor atau prosesor grafik). Kajian teori kompleksitas komputasi menelusuri pola-pola masalah-masalah komputasi secara matematika, dan kemudian menyusun model komputasi matematis untuk mempelajari masalah-masalah ini. Model komputasi tersebut juga menghitung jumlah sumber daya yang dibutuhkan untuk pencarian solusi, seperti waktu proses dan ruang penyimpanan.
Teori kompleksitas komputasi juga mengkaji ukuran-ukuran kompleksitas lainnya, seperti jumlah komunikasi (digunakan dalam kajian kompleksitas komunikasi), jumlah gerbang dalam suatu rangkaian digital (digunakan dalam kajian kompleksitas rangkaian) dan jumlah unit prosesor yang bekerja (digunakan dalam kajian komputasi paralel). Salah satu peran teori kompleksitas komputasi adalah untuk menentukan batasan praktis tentang apa yang dapat dan tidak dapat dilakukan oleh komputer.
Topik-topik dalam kajian ilmu komputer teoretik > Geometri komputasi

Geometri komputasi adalah cabang ilmu komputer yang mengkaji secara sistematis algoritma dan struktur data yang digunakan pada objek-objek geometri, dengan fokus untuk menemukan algoritma yang dapat dengan cepat menyelesaikan masalah-masalah geometris. Beberapa masalah dalam kajian geometri murni juga ditemukan dan dapat dipecahkan melalui studi algoritma geometri komputasi.
Kajian geometri komputasi sebagai disiplin ilmu bermula dari perkembangan kajian grafika komputer serta desain dan manufaktur berbantuan komputer (computer-aided design/CAD, computer-aided manufacturing/CAM). Seiring dengan perkembangan kajian geometri komputasi, banyak masalah geometri klasik dibahas melalui perspektif geometri komputasi seperti topologi, geometri konveks, dan geometri polihedron.
Penerapan algoritma hasil kajian geometri komputasi dimanfaatkan dalam ragam bidang, termasuk robotika (perencanaan gerak dan masalah visibilitas), sistem informasi geografis (Geographical Information System/GIS; lokasi dan pencarian geometris, perencanaan rute), desain sirkuit terpadu (integrated circuit/IC; desain dan verifikasi geometri IC), teknik berbantuan komputer (Computer-aided Engineering/CAE; generasi jaring), visi komputer (rekonstruksi 3D).
Topik-topik dalam kajian ilmu komputer teoretik > Teori komputasi pembelajaran

Teori komputasi pembelajaran mengkaji proses kognisi secara matematis, memberikan penjelasan menggunakan nalar matematika yang kaku (rigor) mengenai bagaimana proses pembelajaran terjadi. Teori ini mengambil fokus dalam pembelajaran terarah (supervised learning) dalam konteks pembelajaran mesin.
Dalam pembelajaran terarah, suatu algoritma diberikan sampel-sampel yang telah diberi label untuk belajar/berlatih dengan sampel-sampel berlabel tersebut. Sebagai contoh, tupel pada sampel jamur berisi data-data deskriptif ragam spesies jamur, dan labelnya bisa berupa apakah jamur-jamur tersebut dapat dimakan atau tidak. Algoritma yang akan dilatih mengambil sampel yang telah dilabeli terlebih dahulu dan membuat suatu fungsi klasifikasi yang mempelajari secara induksi pola-pola relasi antara label jamur dan sampel data jamur.
Kemudian, fungsi klasifikasi memberikan label pada sampel uji ataupun sampel baru yang belum diproses melalui algoritma tersebut. Dari hasil pelabelan sampel uji, akan dilakukan perbandingan dengan sampel latih dan dilihat keakuratan prediksi fungsi klasifikasi dalam mengklasifikasikan jamur yang bisa dimakan dan tidak bisa dimakan.
Teori komputasi pembelajaran fokus dalam melakukan analisis formal matematis terhadap keakuratan fungsi klasifikasi dalam contoh. Pada contoh sebelumnya, analisis keakuratan tergolong mudah, karena label bersifat biner (bisa dimakan/1 dan tidak bisa dimakan/0). Teori komputasi pembelajaran juga melakukan eksplorasi formal matematis terhadap ragam bentuk klasifikasi lain, yang terbukti sangat sulit dilakukan.