Posts

Gagap Teknologi Ternyata Juga Bisa Terjadi di Negara Maju

Image
Pagi ini saya membaca Twitter, menemukan pembahasan yang menarik perhatian saya. Di Amerika Serikat, tepatnya negara bagian Missouri, gubernur negara bagian di wilayah menjadi sangat meme-able setelah menyatakan akan mempidanakan seorang wartawan yang menemukan security flaws pada sebuah web milik pemerintah. gubernur negara bagian Missouri, ingin mempidanakan wartawan yang menemukan security flaws pada web milik pemerintah Salah satu berita yang lebih lengkap dapat dibaca di sini https://www.npr.org/2021/10/14/1046124278/missouri-newspaper-security-flaws-hacking-investigation-gov-mike-parson . Huru-hara ini diawali pada suatu ketika seorang jurnalis menemukan kebocoran data pada sebuah website yang dikelola oleh Department of Elementary and Secondary Education (DESE), seperti semacam Kemendikbud kalau di negara kita. Kebocoran yang ditemukan terdapat pada sebuah aplikasi yang memungkinkan dilakukan searching informasi mengenai sertifikasi dan data kredensial tenaga pengajar pada negar

Logika Proposisional

Image
Contoh proposisi : "1 + 1 = 2", ini nilainya benar, penjumlahan 1 + 1 hasilnya adalah 2 "Hari ini adalah hari Rabu", akan bernilai benar apabila hari ini bertepatan dengan hari Rabu dan sebaliknya. Pernyataan "x > 0" bukan merupakan proposisi karena terdapat variabel x yang baru dapat dinyatakan nilai kebenarannya apabila sudah ada nilai yang diberikan untuk variabel x. "This sentence is false" juga bukan merupakan proposisi karena berisi self-reference yang memuat kontradiksi. Variabel proposisional dapat digunakan untuk sebuah proposisi, misalnya variabel P untuk mewakili proposisi “2 + 2 = 4”. Sebuah well-formed formula (WFF) dalam logika proposisional adalah formula yang benar secara sintaks yang dibuat berdasarka aturan sintaks dalam kalkulus poposisional. WFF terdiri dari variabel, konstanta, terms, dan penghubung logika misalnya konjungsi ( and ), disjungsi ( or ), implikasi ( if ... then ... ). ekuivalensi ( if and only if ), dan negas

Pengenalan Logika Proposisional dan Logika Predikat

Logika Proposisional Logika Proposisional atau propositional logic melibatkan proposisi. Proposisi adalah pernyataan yang bisa bernilai benar atau salah (salah satu saja, tidak bisa sekaligus benar dan salah). Proposisi bisa dikombinasikan dengan proposisi lainnya (dengan penghubung logika) untuk membentuk compound proposition . Truth table digunakan untuk menentukan nilai kebenaran suatu ekpresi logika yang kompleks. Logika proposisinal dapat digunakan untuk melakukan encode argumen sederhana yang diekpresikan dalam bahasa alami, dan menentukan validitasnya. Validitas suatu argumen dapat ditentukan berdasarkan truth table , atau menggunakan aturan inferensi misalnya modus ponens untuk menghasilkan kesimpulan melalui langkah-langkah deduktif. Logika Predikat Logika predikat memungkinkan fakta fakta kompleks yang ada di dunia nyata dapat diekpresikan, fakta baru dapat dihasilkan melalui deductive reasoning .  Terdapat tools untuk membantu penggunaan logika predikat yaitu menggunakan

Python Shell Sebagai Kalkulator

Image
Dalam per-laptop-an sehari-hari, sering sekali saya membutuhkan alat bantu untuk menghitung. Di linux terdapat sejumlah pilihan tools kalkulator, beberapa di antaranya adalah mate calculator ( mate-calc ) yang merupakan aplikasi bawaan desktop Mate , atau KCalc yang ada di KDE . Namun saya lebih sering menggunakan alternatif lain yaitu Python shell atau Python REPL untuk melakukan perhitungan sederhana. Untuk menjalankan Python shell, dapat dilakukan dengan membuka terminal kemudian ketik perintah python3. Melalui Python shell kita dapat melakukan operasi sederhana meliputi penjumlahan, pengurangan, pembagian, dan perkalian. aritmatika sederhana menggunakan python shell / python REPL Selain operasi aritmatika sederhana, melalui Python shell juga dapat dilakukan penghitungan trigonometri, eksponensial dan logaritma, serta statistika dasar dengan terlebih dahulu melakukan import library. Referensi yang lebih lengkap mengenai penggunaan Python shell sebagai kalkulator dapat dibaca di lin

Tantangan Hidup Sebagai Dosen

Menjadi seorang tenaga pengajar, dosen tidak seperti yang kebanyakan orang bayangkan. Dulu saya melihat dosen ini kerjanya sepertinya tidak terlalu berat, (hanya) mengajar. Anda yang memiliki pemikiran seperti itu, selamat anda kena prank. Kenyataannya, dosen adalah profesi yang dekat dengan stress dan oleh sebab itu dibutuhkan kemampuan manajerial yang baik. Yang dikerjakan seirang dosen (ternyata) tidak hanya mengajar. Kalau secara formal seringkali disebukan bahwa dosen memiliki tugas tri dharma : pengajaran, penelitian, dan pengabdian pada masyarakat. Selain mengajar mahasiswa, dosen dituntut untuk mengerjakan penelitian dan melaksanakan kegiatan pengabdian pada masyarakat. Itu formalnya, pada kenyataannya ada satu hal yang sebenarnya sering disebutkan namun tidak diakui sebagai dharma dosen yaitu mengerjakan tugas tambahan. Tugas tambahan ini bentuknya sangat bervariasi, mulai dari mendapatkan tugas administratif seperti mengerjakan borang akreditasi, atau tugas menjadi panitia ke

Mencari Web Browser yang Hemat RAM

Image
Web browser merupakan software yang wajib harus ada pada sebuah komputer. Tanpa adanya web browser tersebut, kita tidak dapat menjelajahi internet. Begitu banyak pilihan web browser yang tersedia dengan berbagai fitur yang ditawarkan, saya tertarik untuk mencoba beberapa di antaranya, mencari mana yang enteng (tidak rakus memory) namun tetap menyuguhkan fitur yang lengkap. Berikut ini beberapa hasil eksplorasi saya terhadap penggunaan memory oleh beberapa software web browser. Sebagai informasi saya menggunakan Debian 11 (Bullseye) 64 bit dengan window manager IceWM, adapun kapasitas RAM pada laptop yang saya gunakan adalah 8 GB dengan shared graphic card. Untuk menghitung penggunaan memory, saya menggunakan perintah free di command line untuk melihat jumlah memory komputer yang terpakai dan membandingkannya antara memory yang digunakan sebelum web browser dijalankan dengan kondisi setelah web browser dijalankan. Vivaldi 4.2 Vivaldi dibangun dari codebase Chromium dengan tujuan membuat

Hiruk Pikuk Merdeka Belajar - Kampus Merdeka

Sudah beberapa minggu ini saya dilibatkan dalam pembahasan kegiatan Merdeka Belajar - Kaapus Merdeka (MBKM). Rata-rata tiap tiga hari sekali selalu ada undangan meeting online untuk mendiskusikan MBKM ini, mulai dari tingkat prodi hingga meeting universitas. MBKM ini adalah kebijakan Kemendibudristek pada era Nadiem Makarim yang pada intinya memberikan kesempatan kepada mahasiswa untuk mengikuti kegiatan di luar kampus yang diakui sebagai SKS kuliah. Bentuk kegiatan MBKM ini beberapa di antaranya meliputi magang, studi independen, pertukaran mahasiswa (mahasiswa dapat mengambil mata kuliah di kampus lain), dan riset. Semester genap 2021 kemarin menjadi semester pertama kebijakan MBKM dilaksanakan di UNS. Belum terlalu banyak mahasiswa di prodi Informatika yang mengambil haknya mengikuti MBKM. Baru 2 kegiatan MBKM yang sudah dilaksanakan yaitu studi independen Google Bangkit dan pertukaran mahasiswa melalui program Permata Merdeka. Berdasarkan apa yang sudah saya alami di prodi, kegiata