Ilmu komputer (bahasa Inggris: Computer Science), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang komputasi, perangkat keras (hardware) maupun perangkat lunak (software). Ilmu komputer mencakup beragam topik yang berkaitan dengan komputer, mulai dari analisis abstrak algoritma sampai subyek yang lebih konkret seperti bahasa pemrograman, perangkat lunak, termasuk perangkat keras. Sebagai suatu disiplin ilmu, Ilmu Komputer lebih menekankan pada pemrograman komputer, dan rekayasa perangkat lunak (software), sementara teknik komputer lebih cenderung berkaitan dengan hal-hal seperti perangkat keras komputer (hardware). Namun, kedua istilah tersebut sering disalah artikan oleh banyak orang.
Tesis Church-Turing menyatakan bahwa semua alat komputasi yang telah umum diketahui sebenarnya sama dalam hal apa yang bisa mereka lakukan, sekalipun dengan efisiensi yang berbeda. Tesis ini kadang-kadang dianggap sebagai prinsip dasar dari ilmu komputer. Para ahli ilmu komputer biasanya menekankan komputer von Neumann atau mesin Turing (komputer yang mengerjakan tugas yang kecil dan deterministik pada suatu waktu tertentu), karena hal seperti itulah kebanyakan komputer digunakan sekarang ini. Para ahli ilmu komputer juga mempelajari jenis mesin yang lain, beberapa diantaranya belum bisa dipakai secara praktikal (seperti komputer neural, komputer DNA, dan komputer kuantum) serta beberapa diantaranya masih cukup teoritis (seperti komputer random and komputer oracle).
Ilmu Komputer mempelajari apa yang bisa dilakukan oleh beberapa program, dan apa yang tidak (komputabilitas dan intelegensia buatan), bagaimana program itu harus mengevaluasi suatu hasil (algoritma), bagaimana program harus menyimpan dan mengambil bit tertentu dari suatu informasi (struktur data), dan bagaimana program dan pengguna berkomunikasi (antarmuka pengguna dan bahasa pemrograman).
Ilmu komputer berakar dari elektronika, matematika dan linguistik. Dalam tiga dekade terakhir dari abad 20, ilmu komputer telah menjadi suatu disiplin ilmu baru dan telah mengembangkan metode dan istilah sendiri.
Departemen ilmu komputer pertama didirikan di Universitas Purdue pada tahun 1962. Hampir semua universitas sekarang mempunyai departemen ilmu komputer.
Penghargaan tertinggi dalam ilmu komputer adalah Turing Award, pemenang penghargaan ini adalah semua pionir di bidangnya.
Tesis Church-Turing menyatakan bahwa semua alat komputasi yang telah umum diketahui sebenarnya sama dalam hal apa yang bisa mereka lakukan, sekalipun dengan efisiensi yang berbeda. Tesis ini kadang-kadang dianggap sebagai prinsip dasar dari ilmu komputer. Para ahli ilmu komputer biasanya menekankan komputer von Neumann atau mesin Turing (komputer yang mengerjakan tugas yang kecil dan deterministik pada suatu waktu tertentu), karena hal seperti itulah kebanyakan komputer digunakan sekarang ini. Para ahli ilmu komputer juga mempelajari jenis mesin yang lain, beberapa diantaranya belum bisa dipakai secara praktikal (seperti komputer neural, komputer DNA, dan komputer kuantum) serta beberapa diantaranya masih cukup teoritis (seperti komputer random and komputer oracle).
Ilmu Komputer mempelajari apa yang bisa dilakukan oleh beberapa program, dan apa yang tidak (komputabilitas dan intelegensia buatan), bagaimana program itu harus mengevaluasi suatu hasil (algoritma), bagaimana program harus menyimpan dan mengambil bit tertentu dari suatu informasi (struktur data), dan bagaimana program dan pengguna berkomunikasi (antarmuka pengguna dan bahasa pemrograman).
Ilmu komputer berakar dari elektronika, matematika dan linguistik. Dalam tiga dekade terakhir dari abad 20, ilmu komputer telah menjadi suatu disiplin ilmu baru dan telah mengembangkan metode dan istilah sendiri.
Departemen ilmu komputer pertama didirikan di Universitas Purdue pada tahun 1962. Hampir semua universitas sekarang mempunyai departemen ilmu komputer.
Penghargaan tertinggi dalam ilmu komputer adalah Turing Award, pemenang penghargaan ini adalah semua pionir di bidangnya.
Edsger Dijkstra mengatakan: Ilmu komputer bukan tentang komputer sebagaimana astronomi bukan tentang teleskop
Fisikawan Richard Feynman mengatakan: Ilmu komputer umurnya tidak setua fisika; lebih muda beberapa ratus tahun. Walaupun begitu, ini tidak berarti bahwa "hidangan" ilmuwan komputer jauh lebih sedikit dibanding fisikawan. Memang lebih muda, tapi dibesarkan secara jauh lebih intensif!
Menurut Kamus Besar Bahasa Indonesia, logika merupakan (1) pengetahuan tentang kaidah berpikir, (2) jalan pikiran yang masuk akal. Menurut Munir Fuadi logika berfungsi sebagai suatu metode untuk meneliti kebenaran atau ketepatan dari suatu penalaran, sedangkan penalaran adalah suatu bentuk pemikiran. Kelsen memandang ilmu hukum adalah pengalaman logical suatu bahan di dalamnya sendiri adalah logikal . Ilmu hukum adalah semata-mata hanya ilmu logikal. Ilmu hukum adalah bersifat logikal sistematikal dan historikal dan juga sosiologikal . Logika hukum (legal reasoning) mempunyai dua arti, yakni arti luas dan arti sempit. Dalam arti luas, logika hukum berhubungan dengan aspek psikologis yang dialami hakim dalam membuat suatu penalaran dan putusan hukum. Logika hukum dalam arti sempit, berhubungan dengan kajian logika terhadap suatu putusan hukum, yakni dengan melakukan penelaahan terhadap model argumentasi, ketepatan dan kesahihan alasan pendukung putusan.
Munir Fuady menjelaskan bahwa logika dari ilmu hukum yang disusun oleh hukum mencakup beberapa prinsip diantaranya; pertama, prinsip eksklusi, adalah suatu teori yang memberikan pra anggapan bahwa sejumlah putusan independen dari badan legislatif merupakan sumber bagi setiap orang, karenanya mereka dapat mengidentifikasi sistem. Kedua, prinsip subsumption, adalah prinsip di mana berdasarkan prisip tersebut ilmu hukum membuat suatu hubungan hierarkhis antara aturan hukum yang bersumber dari legislatif superior dengan yang inferior. Ketiga, prinsip derogasi, adalah prinsip-prinsip yang merupakan dasar penolakan dari teori terhadap aturan-aturan yang bertentangan dengan aturan yang lain dengan sumber yang lebih superior. Keempat, prinsip kontradiksi, adalah adalah prinsip-prinsip yang merupakan dasar berpijak bagi teori hukum untuk menolak kemungkinan adanya kontradiksi di antara peraturan yang ada.
Dapat dikatakan bahwa pengertian dari logika hukum (legal reasoning) adalah penalaran tentang hukum yaitu pencarian “reason” tentang hukum atau pencarian dasar tentang bagaimana seorang hakim memutuskan perkara/ kasus hukum, seorang pengacara mengargumentasikan hukum dan bagaimana seorang ahli hukum menalar hukum.
Munir Fuady menjelaskan bahwa logika dari ilmu hukum yang disusun oleh hukum mencakup beberapa prinsip diantaranya; pertama, prinsip eksklusi, adalah suatu teori yang memberikan pra anggapan bahwa sejumlah putusan independen dari badan legislatif merupakan sumber bagi setiap orang, karenanya mereka dapat mengidentifikasi sistem. Kedua, prinsip subsumption, adalah prinsip di mana berdasarkan prisip tersebut ilmu hukum membuat suatu hubungan hierarkhis antara aturan hukum yang bersumber dari legislatif superior dengan yang inferior. Ketiga, prinsip derogasi, adalah prinsip-prinsip yang merupakan dasar penolakan dari teori terhadap aturan-aturan yang bertentangan dengan aturan yang lain dengan sumber yang lebih superior. Keempat, prinsip kontradiksi, adalah adalah prinsip-prinsip yang merupakan dasar berpijak bagi teori hukum untuk menolak kemungkinan adanya kontradiksi di antara peraturan yang ada.
Dapat dikatakan bahwa pengertian dari logika hukum (legal reasoning) adalah penalaran tentang hukum yaitu pencarian “reason” tentang hukum atau pencarian dasar tentang bagaimana seorang hakim memutuskan perkara/ kasus hukum, seorang pengacara mengargumentasikan hukum dan bagaimana seorang ahli hukum menalar hukum.
Logika hukum dikatakan sebagai suatu kegiatan untuk mencari dasar hukum yang terdapat di dalam suatu peristiwa hukum, baik yang merupakan perbuatan hukum (perjanjian, transaksi perdagangan, dll) ataupun yang merupakan kasus pelanggaran hukum (pidana, perdata, ataupun administratif) dan memasukkannya ke dalam peraturan hukum yang ada.
Logika hukum berfungsi sebagai suatu metode untuk meneliti kebenaran atau ketepatan dari suatu penalaran, sedangkan penalaran adalah suatu bentuk dari pemikiran. Penalan tersebut bergerak dari suatu proses yang dimulai dari penciptaan konsep (conceptus), diikuti oleh pembuatan pernyataan (propositio),kemudian diikuti oleh penalaran (ratio cinium, reasoning)
Bagi para hakim logika hukum ini berguna dalam mengambil pertimbangan untuk memutuskan suatu kasus. Sedangkan bagi para praktisi hukum logika hukum ini berguna untuk mencari dasar bagi suatu peristiwa atau perbuatan hukum dengan tujuan untuk menghindari terjadinya pelanggaran hukum di kemudian hari dan untuk menjadi bahan argumentasi apabila terjadi sengketa mengenai peristiwa ataupun perbuatan hukum tersebut. Bagi para penyusun undang-undang dan peraturan, logika hukum ini berguna untuk mencari dasar mengapa suatu undang-undang disusun dan mengapa suatu peraturan perlu dikeluarkan. Sedangkan bagi pelaksanan, logika hukum ini berguna untuk mencari pengertian yang mendalam tentang suatu undang-undang atau peraturan agar tidak hanya menjalankan tanpa mengerti maksud dan tujuannya.
Sumber Hukum
1. Makna Sumber Hukum
Sumber hokum merupakan segala sesuatu yang berupa tulisan, dokumen, naskah, dsb yang dipergunakan oleh suatu bangsa sebagai pedoman hidupnya pada masa tertentu. (www.KamusBahasaIndonesia.org).
C.S.T. Kansil menyebutkan bahwa yang dimaksud dengan sumber hukum ialah, segala apa saja yang menimbulkan aturan-aturan yang mempunyai kekuatan yang bersifat memaksa, yakni aturan-aturan yang kalau dilanggar mengakibatkan sanksi yang tegas dan nyata. Yang dimaksudkan dengan segala apa saja, adalah faktor-faktor yang berpengaruh terhadap timbulnya hukum. Sedang faktor-faktor yang merupakan sumber kekuatan berlakunya hukum secara formal artinya ialah, dari mana hukum itu dapat ditemukan , dari mana asal mulanya hukum, di mana hukum dapat dicari atau di mana hakim dapat menemukan hukum sebagai dasar dari putusannya.
Selanjutnya Sudikno memberikan pengertian sumber hukum sebagai berikut :
- Sumber hukum sebagai asas hukum, sebagai sesuatu yang merupakan permulaan hukum, missal kehendak Tuhan, akal manusia, jiwa bangsa, dan sebagainya
- Menunjukkan hukum terdahulu yang memberi bahan-bahan kepada hukum yang berlaku; hukum Prancis, Hukum Romawi
- Sebagai sumber berlakunya, yang member kekuatan berlaku secara formal kepada peraturan hukum (penguasa, masyarakat)
- Sebagai sumber dimana kita dapat menemukan hukum, misal dokumen, undang-undang, lontar, batu bertulis, dan sebagaimya.
- Sebagai sumber terjadinya hukum, sumber yang menimbulkan hukum.
2. Bentuk Sumber Hukum
Secara umum, sumber hukum ada dua macam, yakni sumber hukum formil dan sumber hukum materiil. Sumber hukum formil adalah sumber hukum yang dirumuskan peraturannya dalam suatu bentuk, sedangkan sumber hukum materiil adalah sumber hukum yang menentukan isi dari sebuah peraturan tersebut.
Kansil menyatakan bahwa sumber hukum materiil dapat ditinjau dari berbagai sudut, misal dari sudut sejarah, ekonomi, sosiologis, filsafat, dan lain-lain. Sedangkan sumber hukum formil dibagi menjadi lima, diantaranya :
- Undang-Undang (statute)
- Kebiasaan (custom)
- Putusan Hakim (jurisprudence)
- Traktat (treaty)
- Pendapat sarjana hukum (doktrin)
Sumber hukum menurut Achmad Sanoesi, sebagaimana dikutip oleh Ishaq (2008:92), membagi sumber hukum menjadi dua kelompok, yakni:
1. Sumber hukum normal, dibagi lagi menjadi dua, diantaranya:
a. Sumber hukum normal yang langsung atas pengakuan undang-undang, yakni:
- Undang-Undang
- Perjanjian antar negara
- Kebiasaan
b. Sumber hukum normal yang tidak langsung atas pengakuan undang-undang, diantaranya:
- Perjanjian
- Doktrin
- Yurisprudensi
2. Sumber hukum abnormal, yakni:
a. Proklamasi
b. Revolusi
c. Kudeta
Doktrin Hukum
Pengertian doktrin menurut Kamus Besar Bahasa Indonesia, adalah ajaran tentang asas suatu aliran politik, keagamaan, pendirian segolongan ilmu pengetahuan, ketatanegaraan, secara bersistem khususnya pada penyelenggaraan kebijakan negara. Pengertian doktrin adalah ajaran kaum sarjana hukum, khusus dipakai sebagai kebalikan dari peradilan (rechtspraak), dan yurisprudensi (jurisprudentie), ajaran hukum yang dibentuk dan dipertahankan oleh peradilan . Doktrin juga dapat disebut sebagai dogma. Dogmatische rechtswetenschap, adalah ilmu pengetahuan hukum dogmatis, yaitu bagian dari ilmu hukum yang bertujuan untuk menyelidiki hubungan antara aturan hukum yang satu dengan yang lain, mengaturnya dalam satu sistem dan mengumpulkan dari aturan baru dan pemecahan persoalan tertentu . Doktrin hukum, dapat disebut sebagai pemikiran para sarjana hukum tentang hukum itu sendiri.
Otje Salman dan Anthon F. Susanto, menyebut pengertian doktrin dari dua pendapat para ahli sebagai berikut:
- Jan Gissels dan van Hoecke menyebut doktrin hukum sebagai dogmatik hukum. Dogmatik hukum dalam arti sempit, bertujuan untuk memaparkan dan memsistematisasi serta dalam arti tertentu menjelaskan (verklaren) hukum positif yang berlaku. Ajaran hukum tidak dapat membatasi pada suatu pemaparan dan sistematisasi, melainkan secara sadar mangambil sikap berkenaan dengan butir-butir yang diperdebatkan. Ajaran hukum tidak hanya bersifat deskriptif, tetapi juga preskriptif (bersifat normatif) (Otje Salman dan Anton F. Susanto,2007:56).
- J.J.H. Bruggink, menyebut dogmatika hukum adalah ilmu hikum (dalam arti sempit) merupakan bagian utama dari pengajaran pada fakultas hukum. Objek dogmatika hukum adalah hukum positif, yaitu sistem konseptual aturan hukum dari putusan hukum, yang bangian intinya ditetapkan (dipositifkan) oleh pengambil kebijakan dalam suatu masyarakat tertentu. Perumusan aturan hukum disebut pembentukan hukum, sedangkan pengambilan keputusan hukum adalah penemuan hukum. Seorang dogmatis hukum akan sering menempatkan diri seolah-olah ia tengah melakukan kegiatan pembentukan hukumatau penemuan hukum (Otje Salman dan Anton F. Susanto,2007:62).
Ishaq, mengutip pendapat R. Soeroso, mengatakan bahwa doktrin adalah pendapat para sarjana hukum yang terkemuka, yang besar pengaruhnya, terhadap hakim dalam mengambil keputusan. Doktrin dapat menjadi hukum formal bila telah menjelma menjadi putusan hakim .
Relevansi Doktrin Hukum
Logika hukum merupakan suatu kegiatan untuk mencari dasar hukum yang terdapat di dalam suatu peristiwa hukum, baik yang merupakan perbuatan hukum (perjanjian, transaksi perdagangan, dll) ataupun yang merupakan kasus pelanggaran hukum (pidana, perdata, ataupun administratif) dan memasukkannya ke dalam peraturan hukum yang ada. Dasar dalam melakukan penalaran atau logika hukum (legal reasoning) diantaranya adalah asas-asas, dogma-dogma, doktrin-doktrin, dan prinsip-prinsip hukum umum.
Terdapat relevansi antara doktrin hukum dan logika hukum yakni suatu logika hukum yang diberikan atau diutarakan harus memperhatikan doktrin hukum yang ada karena doktrin berlaku sebagai sumber hukum. Selain itu juga, relevansi doktrin hukum terhadap hukum sendiri adalah saling berhubungan dalam penyelesaian persoalan di bidang hukum, terutama menjadi pedoman bagi hakim untuk memutus suatu sengketa hukum di masyarakat.
Relevansi Doktrin Hukum
Logika hukum merupakan suatu kegiatan untuk mencari dasar hukum yang terdapat di dalam suatu peristiwa hukum, baik yang merupakan perbuatan hukum (perjanjian, transaksi perdagangan, dll) ataupun yang merupakan kasus pelanggaran hukum (pidana, perdata, ataupun administratif) dan memasukkannya ke dalam peraturan hukum yang ada. Dasar dalam melakukan penalaran atau logika hukum (legal reasoning) diantaranya adalah asas-asas, dogma-dogma, doktrin-doktrin, dan prinsip-prinsip hukum umum.
Terdapat relevansi antara doktrin hukum dan logika hukum yakni suatu logika hukum yang diberikan atau diutarakan harus memperhatikan doktrin hukum yang ada karena doktrin berlaku sebagai sumber hukum. Selain itu juga, relevansi doktrin hukum terhadap hukum sendiri adalah saling berhubungan dalam penyelesaian persoalan di bidang hukum, terutama menjadi pedoman bagi hakim untuk memutus suatu sengketa hukum di masyarakat.
