Salah satu artikel terbaik yang bisa menjelaskan tentang Teori Ketidaklengkapan Godel (Godel’s Incompleteness Theorem) adalah artikel yang ditulis oleh Solomon Feferman. Artikel ini berjudul “The Nature and Significance of Godel’s Incompleteness Theorem“. Teori Ketidaklengkapan Godel berusaha untuk menunjukkan bahwa dalam…
Bagi beberapa orang, mungkin latex bisa jadi adalah bahan sintetis seperti karet. Akan tetapi, dalam tulisan ini, LaTeX berarti bahasa markup untuk menyiapkan dokumen dengan menggunakan sistem pencetakkan (typesetting) TeX yang dibuat oleh Donald Knuth (Orang yang sama yang menulis…
Sebelumnya saya sudah memaparkan algoritma FCFS untuk antrian proses di sistem operasi. Kali ini, saya akan mencoba untuk menjelaskan antrian lain yang disebut dengan SRT atau Shortest Remaining Time. Saat pertama kali program dijalankan (misalnya ikon program tersebut di-doubleclick), sistem…
Sistem formal (formal system) adalah sistem yang dibangun dari bahasa formal (formal language). Bahasa formal terdiri dari alfabet, yaitu sekedar simbol tanpa memiliki arti tertentu. Dari alfabet tersebut kita dapat membuat string (runtutan alfabet). Misalnya, kita memiliki sebuah kumpulan (set)…
Daftar Isi dihasilkan secara otomatis ketika kita menggunakan LaTeX. Akan tetapi, judul dari daftar isi itu menggunakan Bahasa Inggris, yaitu “Contents”. Untuk mengganti judul tersebut, misalnya ke “Daftar Isi”, gunakan perintah berikut. \renewcommand{\contentsname}{Daftar Isi}
Untuk menggunakan Vim sebagai Hex Editor, cukup buka file binari dan masukkan perintah berikut (tekan ESC dulu) :%! xxd Untuk kembali ke mode normal, ketikkan perintah berikut (tekan ESC dulu) :%! xxd -r
Ctrl-Alt-Delete adalah kombinasi tombol di papan ketik komputer kita yang biasanya kita gunakan baik untuk melakukan reboot ataupun memunculkan Task Manager (Windows). Kombinasi tiga tombol ini terkenal dengan sebutan “Three-finger salute“. Adalah David Bradley yang merancang tiga tombol ini saat…
Kita mengenal program dalam dunia komputer. Program terdiri dari rangkaian instruksi yang dibuat untuk memenuhi satu fungsi tertentu. Program dapat dibuat dengan menggunakan berbagai bahasa pemrograman. Dari bahasa pemrograman tingkat tinggi, seperti C++ dan Java hingga bahasa pemrograman tingkat rendah,…
LaTeX mendefinisikan bab suatu tulisan dengan markup \chapter{nama chapter}. Dengan markup ini, setiap bab akan ditulis chapter + penomoran chapter tersebut. Jika ingin mengubah kata “Chapter” menjadi “Bab”, tuliskan seperti ini \renewcommand{\chaptername}{Bab}
Sistem operasi yang bersifat multiprogramming, memiliki kemampuan untuk memberikan ilusi seakan-akan beberapa program dapat berjalan bersamaan. Ilusi ini dapat terjadi karena proses (program yang sedang dijalankan) dieksekusi secara bergantian dalam waktu yang sangat singkat (dalam milidetik). Dengan jumlah yang banyak,…