Logika Informatika (Pengenalan Logika Matematika) Aris Rakhmadi, S.T., M.Eng. Materi 1, Sept 2008

Perkenalan Aris Rakhmadi S1  Teknik Elektro UGM 1997 Sukoharjo, 30 tahun Married with one daughter Jongkang RT/RW 03/35 Sariharjo Ngaglik Sleman S1  Teknik Elektro UGM 1997 S2  Sistem Komputer dan Informatika Teknik Elektro UGM 2006

Pembagian Kelas Kelas A: L20080001 – L20080050 Kelas B: L20080051 – L20080100 Kelas C: L20080101 – L20080150 Kelas D: L20080151 – L20080183*

Kontrak Belajar Keaktifan = 30% Ujian Mid = 25% Ujian Akhir = 25% Tugas dan lain-lain = 20%

Pustaka yang Digunakan Logika Matematika untuk Ilmu Komputer Prof. Ir. F. Soesianto M.Sc. Ph.D. & Ir. Djoni Dwijono M.T. Penerbit Andi, Jogjakarta, 2006

Pengantar Apa yang anda ketahui tentang ilmu teknik informatika? Apa motivasi anda belajar di jurusan teknik informatika? Apa harapan anda setelah lulus sebagai seorang sarjana teknik informatika?

Pengantar Apa yang anda ketahui tentang ‘Logika’? Mengapa ‘Logika’ dibutuhkan dalam teknik informatika?

Teknik Informatika Rekayasa ilmu dalam pengolahan data menjadi suatu bentuk yang lebih berguna dan lebih berarti bagi penerimanya Contoh aplikasi???

Komponen Teknologi Informasi Hardware Brainware Software Apa itu hardware??? Apa itu brainware??? Apa itu software???

Hardware Perangkat keras yang dibutuhkan untuk membantu dalam pengolahan database Perangkat komputer beserta perangkat pendukung

Software Perangkat lunak yang digunakan untuk mengoperasikan komputer Meliputi : sistem operasi program aplikasi DBMS

Brainware Logika Kualitas sumber daya manusia yang melakukan kegiatan pengolahan data

Logika The calculus of computer science Dasar matematis suatu perangkat lunak Memformalkan semantik bahasa pemrograman dan spesifikasi program, dan menguji ketepatan suatu program.

Pengenalan Logika Matematika Menjelaskan asal-usul dan pengertian logika serta manfaatnya di dalam kehidupan sehari-hari dan di berbagai bidang ilmu sains Menjelaskan validitas suatu argumen yang terdiri dari premis-premis dan diikuti kesimpulan dan peranan logika untuk membuktikannya Memperkenalkan sejarah logika mulai dari logika klasik sampai dengan logika modern Menjelaskan pembagian logika menjadi logika proposisional serta logika predikat, logika fuzzy, dan ilmu-ilmu yang terkait.

Arti Logika (logic)  bahasa Yunani ‘logos’ Definisi:  berarti ‘word’, ‘speech’ atau ‘what is spoken’ Lebih dekat  ‘thought’ atau ‘reason’ Definisi: Ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip penalaran argumen yang valid.

Argumen Studi logika Argumen Suatu usaha untuk menentukan kondisi, dimana sesuatu diambil dari pernyataan-pernyataan yang diberikan, dan disebut premis-premis, untuk memperoleh suatu kesimpulan yang harus mengikuti atau sesuai dengan premis-premis tersebut. Argumen Usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan pernyataan yang disebut premis-premis

Contoh 1 Semua mahasiswa pandai Badu adalah mahasiswa Dengan demikian, Badu pandai

Contoh 2 Semua manusia bermata empat Badu seorang manusia Dengan demikian, Badu bermata empat.

Kesimpulan Hanya berhubungan dengan kesimpulan yang valid, yang diperoleh dari prinsip-prinsip penalaran yang valid Contoh 2, tetap dapat dikatakan valid, karena kesimpulannya tetap mengikuti premis-premisnya dan validitasnya juga dapat dibuktikan dengan menggunakan aturan-aturan logika yang telah diterima keabsahannya. Namun, premis pertama dari contoh2 merupakan sebuah pernyataan yang keliru.

VALIDITAS ARGUMEN Premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premis-premisnya dan bernilai benar.

Contoh 3 Semua mamalia adalah hewan berkaki empat. Semua manusia adalah mamalia  Dengan demikian, semua manusia adalah binatang berkaki empat.

Contoh 4 Ada jenis makhluk hidup berkaki dua Semua manusia adalah makhluk hidup  Dengan demikian, semua manusia berkaki dua

Contoh 5 Semua mahasiswa rajin belajar Badu seorang mahasiswa  Dengan demikian, dewi rajin belajar.

Contoh 6 Bad Good Semua kuda adalah hewan  Dengan demikian, semua kepala kuda adalah kepala semua hewan Good Semua gajah memiliki belalai Dumbo seekor gajah  Dengan demikian, Dumbo memiliki belalai

Logika Matematika Logika matematika menangani masalah well-formed formulae yang hanya bernilai benar atau salah Logika Proposisional; fokus utama logika ini pada pernyataan-pernyataan yang dapat digolongkan dalam pengertian proposisi-proposisi. Logika Predikat; Pernyataan-pernyataan yang tidak dapat digolongkan sebagai proposisi, dan tidak dapat diproses dengan logika proposisional, akan ditangani logika predikat yang memfokuskan diri pada predikat yang selalu menyertai suatu pernyataan dalam bentuk kalimat.