Pengantar Logika Informatika

Slides:



Advertisements
Presentasi serupa
L o g I k a 1# Konsep Dasar Logika Anggraini Mulwinda ST MEng
Advertisements

LECTURE #2 PENGANTAR LOGIKA MATEMATIKA DISKRIT TKE Ari Fadli, S.T. Program Studi Teknik Elektro, UNIVERSITAS JENDERAL SOEDIRMAN.
Pengenalan Logika Informatika
Paragraf Merupakan suatu bagian dari bab pada sebuah karangan atau karya ilmiah yang mana cara penulisannya harus dimulai dengan baris baru.
Pertemuan VIII – SILOGISME KATEGORIS
SOFTWARE.
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
Pengenalan logika Pertemuan 1.
Pengantar Logika Informatika
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA INFORMATIKA VALIDITAS PEMBUKTIAN.
Kuliah matematika diskrit Program Studi Teknik Elektro
Pengenalan Logika Informatika
PENALARAN deduktif – Silogisme kategoris
LOGIKA DAN ARGUMENTASI
FILSAFAT DAN LOGIKA Topik 11 INDUKSI.
PENGANTAR FILSAFAT Topik 6 LOGIKA.
FILSAFAT DAN LOGIKA Topik 8 DEDUKSI.
Topik 10 RELASI-RELASI SILOGISME
SEKOLAH TINGGI KEGURUAN DAN ILMU PENDIDIKAN STKIP YPM BANGKO 2014
VALIDITAS PEMBUKTIAN – Bagian II
Logika Matematika Pengenalan Logika Matematika dan Pengantar Logika Proposisional AMIK-STMIK Jayanusa ©2009 Pengantar Logika.
LOGIKA INFORMATIKA.
REPRESENTASI PENGETAHUAN - LOGIKA
FILSAFAT DAN LOGIKA Topik 9 SILOGISME.
LOGIKA MATEMATIKA BAGIAN 2: ARGUMEN.
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
1. 2 Adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
Definisi Inferensi  Inferensi adalah : Proses yang digunakan dalam Sistem Pakar untuk menghasilkan informasi baru dari informasi yang telah diketahui.
Pengantar logika informatika
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Pertemuan ke 1.
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
KECERDASAN BUATAN PERTEMUAN 6 dan 7.
Logika Matematika Pendahuluan.
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
DASAR_DASAR LOGIKA / I BAHAN SATU DASAR-DASAR LOGIKA SEMESTER I
KONSEP & PENGERTIAN FILSAFAT SECARA UMUM
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
Pertemuan # 2 Logika dan Pembuktian
Materi 8 Logika.
DASAR ARGUMENTASI ILMIAH FAKULTAS KEGURUAN & ILMU PENDIDIKAN
SYARAT DAN TUJUAN PENELITIAN Dwiyati Pujimulyani 2015
Doris Febriyanti M.Si 3 sks
LOGIKA MATEMATIKA.
LOGIKA.
Logika Informatika Iwan Santosa, S.T., M.T. Teknik Informatika
Materi 9 Deduksi.
DASAR_DASAR LOGIKA / I BAHAN SATU DASAR-DASAR LOGIKA SEMESTER I 2 SKS
Prodi Matematika Fakultas Sains dan Teknologi Universitas Jambi 2017
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
FILSAFAT ILMU DAN LOGIKA
REPRESENTASI PENGETAHUAN - LOGIKA
I. Pengantar umum Logika
VALIDITAS PEMBUKTIAN – Bagian I
Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI
VALIDITAS PEMBUKTIAN 2 TATAP MUKA 6.
VALIDITAS PEMBUKTIAN TATAP MUKA 5
ATURAN PEMBUKTIAN KONDISIONAL
Representasi Pengetahuan Logika Proposisi
Logika Informatika (Pengenalan Logika Matematika)
Pengantar Logika Informatika
Pertemuan Ke-1 Ridwan, S.T,. M.Eng Ridwan, S.T, M.Eng.
UNSUR – UNSUR LOGIKA.
LOGIKA MATEMATIS LOGIKA PADA HIMPUNAN Program Studi Teknik Informatika
Logika Informatika A Pertemuan 1
Pengantar logika informatika
DASAR_DASAR LOGIKA / I BAHAN SATU DASAR-DASAR LOGIKA SEMESTER I
Transcript presentasi:

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