Korupsi dalam Hukum dan Perundang-Undangan Indonesia*

1.       Tindak pidana Korupsi di atur dalam UU Tahun 1999 nomor 31 yang kemudian diperbarui dengan UU tahun 2001 tahun 2001

2.       Terdapat beberapa komponen dari tindak pidana korupsi: suap dan gratifikasi (pasal 5 dan 6), kecurangan atas apa yang dipercayakan (pasal 7), mencuri harta negara, melakukan tindakan melawan hukum, menyalahkan wewenang, menimbulkan kerusakan (corrupt) berupa kerugian negara.

MATEMATIKA ANTI KORUPSI

Adil ialah menimbang yang sama berat,

menyalahkan yang salah, dan membenarkan yang benar,

mengembalikan hak yang empunya, dan jangan berlaku zhalim di atasnya

(Buya Hamka)

FORMAL

Mata Kuliah Matematika Model

Dosen Pengampu: Prof. Dr. Marsigit, MA.

Formal merupakan suatu metode dalam menyusun penalaran yang logis, konsisten, terstruktur, koheren, analitik dan ideal. Dalam hal ini logika merupakan hal yang fundamental dalam memahami metode formal. Logika (Beth, 1962) merupakan teori deduktif inferensial yang berkaitan erat dengan konsep himpunan, premis dan modus Ponens. Dalam membangun konstruksi logika, perlu ditetapkan (F) formula-formula (U, V, W, ...) yang merupakan terdiri dari atom-atom (A, B, C, ...) pada suatu himpunan (K). Dengan ketetapan inilah, melalui penerapan modus Ponens, metode Formal dikembangkan hingga diperoleh kesimpulan (Z). Beth (1962) menjelaskan bahwa terdapat tiga konsepsi logika sebagai suatu teori deduksi inferensial, yaitu teori deduksi murni (formalis), semantik, dan aksiomatik. Ketiganya memiliki keterkaitan satu sama lain. Sehingga untuk dapat memahami dan mengembangkan logika secara lengkap dan mudah, kita harus mempelajari ketiganya.