Pengantar Logika Informatika Teknik Informatika Universitas Trunojoyo Madura

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

Pembahasan 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

Sejarah Logika Informatika 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

Perkembangan Penelitian Fika Hastarita R - UTM 2012

Arti Logika � 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

Arti Logika berdasar Logika Modern �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

Arti Logika Informatika � 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

Argumen � usaha mencari kebenaran dari suatu pernyataan berupa kesimpulan berdasarkan pada kebenaran dari satu kumpulan pernyataan/ premis-premis. Fika Hastarita R - UTM 2012

Silogisme � suatu argumen yang terbentuk dari 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

Silogisme Sempurna 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

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

Operator Logika Dasar AND � OR � NOT � Fungsinya. . . . Fika Hastarita R - UTM 2012

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

Tingkat Bahasa Pemrograman Fika Hastarita R - UTM 2012

Terima Kasih Fika Hastarita R - UTM 2012

Ups. . tugas individu � 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