MANAJEMEN INFORMATIKA [Materi Kuliah]

Pengenalan tentang Cybercrime Dalam dunia maya (internet), masalah keamanan adalah satu hal yang sangat diperlukan. Karena tanpa keamanan bisa saja data-data dan sistem yang ada di internet bisa dicuri oleh orang lain. Seringkali sebuah sistem jaringan berbasis internet memiliki kelemahan atau yang sering disebut juga lubang keamanan (hole). Nah, kalau lubang tersebut tidak ditutup, pencuri bisa masuk dari lubang itu. Pencurian data dan sistem dari internet termasuk dalam kasus kejahatan komputer. Istilah dalam bahasa Inggrisnya : Cybercrime. Jadi Cybercrime  adalah kejahatan yang dilakukan didalam jaringan internet. Selama ini dalam kejahatan konvensional, dikenal adanya dua jenis kejahatan , diantaranya adalah : a.        Kejahatan kerah biru (blue collar crime)             Kejahatan ini merupakan jenis tindak kriminal yang dilakukan secara konvensional seperti misalnya perampokka...

BAB 2 : KALIMAT BERKUANTOR 2.1 PENGANTAR LOGIKA PREDIKAT 2.1.1 PENDAHULUAN Seperti yang telah dibahas sebelumnya, dapat ditarik satu kesimpulan bahwa titik berat logika adalah pada pembuktian validitas suatu argumen logika proposisional dengan berbagai teknik yang relevan, yaitu menggunakan tabel kebenaran sebagai dasar pembuktian dan juga menggunakan hukum-hukum logika.  Logika proposisional sudah cukup untuk menangani pernyataan- pernyataan yang sederhana dan banyak dijumpai dalam peristiwa sehari- hari. Akan tetapi logika proposisional saja ternyata belum mampu menangani argumen-argumen yang berisi pernyataan-pernyataan yang rumit dan sering dijumpai dalam peristiwa sehari-hari. Sebagai contoh perhatikan argumen berikut ini : Contoh 2.1 : 1. Semua gajah mempunyai belalai. 2. Dumbo seekor gajah. 3. Dengan demikian, Dumbo memiliki belalai. Tanpa perlu dibuktikan validitasnya, orang-orang pasti mengatakan argumen tersebut valid karena dengan jelas kesimpulan mengikuti premis-...

PENGANTAR LOGIKA INFORMATIKA REFERENSI •           Nolt, John, 1990, Schaum's Outline Of Set Theory And Related Topics 2nd Edition. McGraw-Hill. •           Lipson, 1997, Schaum's Outline Of Theory And Problems of Discrete Mathematics 2nd Edition. McGraw-Hill. •           Mordechai Ben-Ari, 1948, Mathematical Logic for Computer Science, Springer. •           Srivastava, 2008, A Course on Mathematical Logic. Springer. •           Logika Matematika Untuk Ilmu Komputer”, oleh F.Soesianto dan Djoni Dwijono, Andi Offset, Jogjakarta PERNYATAAN •           Kalimat adalah kumpulan kata yang disusun menurut aturan tata bahasa. •           Kata adalah rangkaian...