Desain dan Implementasi Sistem (Pertemuan 1)

Logika Informatika(Pertemuan 1)Oleh :Farida YusufKontrak KuliahToleransi waktu keterlambatan dari jadwal perkuliahan paling lambat 15 menitMahasiswa yang terlambat dari jadwal tidak diperkenankan mengikuti perkuliahanMahasiswa yang tidak memenuhi 75% kehadiran, tidak diperkenankan mengikuti ujianTidak diperkenankan memakai kaos oblong, sendal jepit, celana ketat (bagi perempuan), rambut gondrong dan celana robek (bagi laki-laki).Mahasiswa wajib melaksanakan seluruh tugas yang ditugaskan oleh dosen.

Kontrak KuliahTugas= 15 %Mid= 25 %Final= 40 %Kehadiran = 10 %Quis= 10 %

PenilaianLogika (Logic) berasal dari kata bahasa Yunani logos.

Logika adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.

Dahulu logika dipelajari sebagai salah satu cabang filosofi atau ilmu filsafat. Sejak tahun 1800 logika dipelajari dibidang matematika dan sekarang di bidang ilmu komputer.

Apa itu logika ?Logika adalah studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan : menentukan mana argumen yang valid dan mana yang tidak valid membedakan antara argumen yang baik dan yang tidak baik.

LanjutanKarena logika mempengaruhi ilmu komputer di bidang perangkat keras maupun perangkat lunak.

Belajar algoritma, teknik-teknik pemrograman terstruktur, dan teknik pemrograman berorientasi objek yang dalam penulisan programnya sangat erat kaitannya dengan logika.

Jika ilmu komputer diumpamakan rumah, maka LOGIKA adalah FONDASI rumah tersebut.

Kenapa kita belajar logika?Logika disebut juga the calculus of computer science karena logika memegang peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu kimia, dan sebagainya.

Logika, komputasi numerik, dan matematika diskrit memiliki peran penting dalam ilmu komputer karena semuanya berperan dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, serta menguji ketepatan suatu program. Hal ini menunjukkan betapa pentingnya logika matematika karena banyak ilmu, khususnya dalam bidang ilmu komputer, yang memerlukan logika untuk berkembang.LanjutanLogika secara umum berhubungan dengan penalaran deduktif (deductive reasoning) yang hanya secara umum mengambil kesimpulan dari premis-premisnya.

Berbeda dengan penalaran induktif (inductive reasoning), yakni studi tentang pengambilan kesimpulan umum yang diperoleh dari suatu penelitian atau observasi.

LanjutanAdalah suatu usaha mencari kebenaran dari pernyataan berupa kesimpulan, dengan berdasarkan kebenaran dari satu kumpulan pernyataan yang disebut premis-premis.

ArgumenContoh 1

Semua mahasiswa pintar Badu adalah mahasiswa Dengan demikian, Badu pintar

Contoh 2

Semua manusia bermata empat Badu seorang manusia Dengan demikian, Badu bermata empatContoh Pernyataan ArgumenValiditas yang logis adalah hubungan antara premis-premis dengan kesimpulan yang memastikan bahwa jika premis-premis benar, maka harus diikuti dengan kesimpulan yang benar.

Validitas ArgumenContoh 3

Semua mamalia adalah hewan berkaki empat Semua manusia adalah mamalia Dengan demikian, semua manusia adalah hewan berkaki empat.

Argumen valid, tetapi premis pertama bernilai salah, sehingga kesimpulan bernilai salah.

Contoh 4

Ada jenis makhluk hidup berkaki dua. Semua manusia adalah makhluk hidup Dengan demikian, semua manusia berkaki dua. Argumen tidak valid, kesimpulan bernilai benar meski tidak mengikuti premis-premisnyaLanjutanContoh 5 Semua mahasiswa rajin belajar. Badu seorang mahasiswa. Dengan demikian, Dewi rajin belajar.

Kesimpulan tidak berhubungan dengan premis-premisnya

Contoh 6

Semua binatang dapat terbang. Gajah adalah binatang. Dengan demikian, gajah dapat terbang. Argumen valid, tetapi validitasnya tidak kuat karena premis pertama bernilai salah.LanjutanJadi suatu argumen logis dapat disebut kuat jika dan hanya jika memenuhi dua persyaratan berikut: Argumen valid Semua premis-premisnya benar.

Lanjutan