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
Pertemuan VIII – SILOGISME KATEGORIS
PENARIKAN KESIMPULAN/ INFERENSI
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
REPRESENTASI PENGETAHUANI
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
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.
Pengantar Logika Informatika
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.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Logika Matematika Oleh : Dani Suandi, M.Si. KELOMPOK I.
Definisi Inferensi  Inferensi adalah : Proses yang digunakan dalam Sistem Pakar untuk menghasilkan informasi baru dari informasi yang telah diketahui.
Pengantar logika informatika
Agiska Ria Supriyatna, S.Si, MTI
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.
Mata Kuliah Logika Informatika Teknik Informatika SKS
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.
FILSAFAT ILMU DAN LOGIKA
LOGIKA.
Logika Informatika Iwan Santosa, S.T., M.T. Teknik Informatika
Materi 9 Deduksi.
Reasoning : Propositional Logic ( Predikat Calculus )
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)
Pertemuan Ke-1 Ridwan, S.T,. M.Eng Ridwan, S.T, M.Eng.
Materi Kuliah IF2091 Struktur Diskrit
LOGIKA MATEMATIS LOGIKA PADA HIMPUNAN Program Studi Teknik Informatika
Logika Informatika A Pertemuan 1
Pengantar logika informatika
Transcript presentasi:

Pengantar Logika Informatika Teknik Informatika Universitas Trunojoyo Madura Sem. Ganjil 2012/2013

Pembahasan Sejarah Logika Informatika Arti Logika ‘n Logika Informatika Argumen ‘n Silogisme Manfaat Logika Informatika Operator Logika Dasar Level Bahasa Pemrograman

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

Perkembangan Penelitian

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

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.

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.

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

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

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

Manfaat Logika Informatika Logika informatika digunakan dalam semua bidang pada ilmu informatika - pembuatan konsep/perancangan - penulisan software/coding - cara kerja hardware

Operator Logika Dasar AND OR NOT Fungsinya ...............

Contoh Sederhana Sistem penilaian akhir perkuliahan Perancangan untuk sub sistem penilaian Acuan:

Tingkat Bahasa Pemrograman

Terima Kasih

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