Logika Informatika (Pengenalan Logika Matematika)

Presentasi berjudul: "Logika Informatika (Pengenalan Logika Matematika)"— Transcript presentasi:

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

2 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

3 Pembagian Kelas Kelas A: L20080001 – L20080050
Kelas B: L – L Kelas C: L – L Kelas D: L – L *

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

5 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

6 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?

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

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

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

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

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

12 Brainware Logika Kualitas sumber daya manusia yang melakukan kegiatan pengolahan data

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

14 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.

15 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.

16 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

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

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

19 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.

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

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

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

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

24 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

25 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.