Pengantar Logika Informatika

Download Report

Transcript Pengantar Logika Informatika

Teknik Informatika Universitas Trunojoyo Madura Sem. Ganjil 2012/2013 Fika Hastarita R - UTM 2012

      Sejarah Logika Informatika Arti Logika ‘n Logika Informatika Argumen ‘n Silogisme Manfaat Logika Informatika Operator Logika Dasar Level Bahasa Pemrograman Fika Hastarita R - UTM 2012

   Pioneer : “Aristoteles” Abad 4 SM Silogisme (pendapat yang dpt dibuktikan kebenarannya) Semua A adalah B Semua B adalah C konklusi : ....................

Fika Hastarita R - UTM 2012

Fika Hastarita R - UTM 2012

 Bidang keilmuan: filsafat  ilmu hitung/matematika  komputer/informatika  Menurut Bahasa: yunani : logike/logos

ilmu/pikiran

- perkataan sebagai pikiran manusia - ilmu yang mempelajari jalan pikiran Fika Hastarita R - UTM 2012

 Ilmu pengetahuan yang berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.

 Studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan menentukan mana yang valid dan tidak valid, dan membedakan antara argumen yang baik dan tidak baik.

Fika Hastarita R - UTM 2012

 Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika yang dipergunakan untuk membuktikan validitas suatu argumen.

 Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam matematika yang dipergunakan untuk membuktikan validitas suatu argumen dalam bidang informatika.

Fika Hastarita R - UTM 2012

 usaha mencari kebenaran dari suatu pernyataan berupa kesimpulan berdasarkan pada kebenaran dari satu kumpulan pernyataan/ premis-premis.

Fika Hastarita R - UTM 2012

     suatu argumen yang terbentuk dari pernyataan pernyataan dengan salah satu atau keempat bentuk berikut: 1. Semua A adalah B. (universal affirmative) 2. Tidak A adalah B. (universal negative) 3. Beberapa A adalah B. (particular affirmative) 4. Beberapa A adalah tidak B. (particular negative)  Huruf A dan B menggantikan kata benda, misalnya ‘manusia’, ‘cuaca’, dan sebagainya yang disebut terms of syllogism Fika Hastarita R - UTM 2012

Contoh sebuah silogisme sempurna:    Premis : Semua A adalah B.

Premis : Semua B adalah C.

Konklusi : Semua A adalah C.

(Pada premis pertama, A sama dengan A pada kesimpulan, dan ia juga memiliki B yang sama dengan B pada premis kedua.) Fika Hastarita R - UTM 2012

 Logika informatika digunakan dalam semua bidang pada ilmu informatika - pembuatan konsep/perancangan - penulisan software/coding - cara kerja hardware Fika Hastarita R - UTM 2012

   AND OR NOT Fungsinya ...............

Fika Hastarita R - UTM 2012

   Sistem penilaian akhir perkuliahan Perancangan untuk sub sistem penilaian Acuan: Fika Hastarita R - UTM 2012

Fika Hastarita R - UTM 2012

Fika Hastarita R - UTM 2012

 Cari 2 permasalahan yang diselesaikan dengan menggunakan program komputer dan tunjukkan sisi logika informatikanya..

 Bisa dari sisi perancangannya, penulisan codingnya dan atau cara kerja hardwarenya  Pengumpulan minggu depan..thx

Fika Hastarita R - UTM 2012