Mata Kuliah Logika Informatika Teknik Informatika 54406 3 SKS

Slides:



Advertisements
Presentasi serupa
LOGIKA Viska Armalina ST., M.Eng.
Advertisements

L o g I k a 1# Konsep Dasar Logika Anggraini Mulwinda ST MEng
LOGIKA MATEMATIKA Oleh BUDIHARTI, S.Si..
LOGIKA MATEMATIKA PROGRAM STUDI TEKNIK INFORMATIKA
Oleh : LUFVIANA LIKKU TRIMINTARUM A
Pengantar Logika Proposional
PERNYATAAN ATAU PROPORSI
Pengantar Logika Informatika
Pengenalan Logika Informatika
BY : NI WAYAN SUARDIATI PUTRI, m.pd
Mata Kuliah Logika Informatika 3 SKS Bab II : Proposisi.
PENDAHULUAN LOGIKA INFORMATIKA
BAB I DASAR-DASAR LOGIKA PERTEMUAN KE-2 OLEH:
LOGIKA INFORMATIKA Pengantar.
MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH BERHINGGA ELEMEN-ELEMEN.
VALIDITAS PEMBUKTIAN – Bagian II
Matematika Diskrit Oleh Ir. Dra. Wartini.
LOGIKA INFORMATIKA.
TOPIK 1 LOGIKA.
REPRESENTASI PENGETAHUAN - LOGIKA
Bahan kuliah IF2120 Matematika Diskrit
1. 2 Adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Pengantar logika informatika
Pertemuan ke 1.
KECERDASAN BUATAN PERTEMUAN 6 dan 7.
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Informatika 2
Logika dan Pembuktian.
Matematika Diskrit Bab 1-logika.
Logika informatika 1.
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
DU.116 Lise Sri Andar Muni Teknik Informatika STT Wastu Kencana 2013
KALIMAT BERKUANTOR.
LOGIKA MATEMATIKA.
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
Logika Matematika Pernyataan.
Matematika diskrit Kuliah 1
BAB I DASAR-DASAR LOGIKA PERTEMUAN KE-2 OLEH: SRI WEDA MAHENDRA S.T.
Matematika diskrit Logika Proposisi
Persamaan dan Pertidaksamaan
PERNYATAAN ATAU PROPORSI
Logika Matematika Bab 5: Induksi Matematika
LOGIKA INFORMATIKA Kuantor.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
LOGIKA INFORMATIKA I Gusti Ayu Agung Diatri Indradewi, S. Kom
PRESENTASI PERKULIAHAN
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Oleh : Cipta Wahyudi, S.Kom, M.Eng, M.Si
REPRESENTASI PENGETAHUAN - LOGIKA
REPRESENTASI PENGETAHUAN dan Reasoning (Penalaran)
Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI
LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO.
PENDAHULUAN : ALJABAR ABSTRAK
LOGIKA MATEMATIKA Disusun Oleh : 2.Emi Suryani ( ) 5A4
Proposisi Sri Nurhayati.
Matematika Diskrit TIF (4 sks).
REPRESENTASI PENGETAHUAN
Logika, Proposisi dan Pernyataan
06 Logika Matematika Penarikan Kesimpulan
Pertemuan Ke-1 Ridwan, S.T,. M.Eng Ridwan, S.T, M.Eng.
Logika Informatika A Pertemuan 1
Pengantar logika informatika
LOGIKA INFORMATIKA Pengantar.
BAB 1 HIMPUNAN.
Materi Kuliah Matematika Diskrit
Modul Matematika Diskrit
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

Mata Kuliah Logika Informatika Teknik Informatika 54406 3 SKS Bab 1 : Pendahuluan

UAS = 40% UTS = 40% Tugas = 20% Kontrak Kuliah :

Bab 1 : Pendahuluan Konsep Logika Logika sering didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar Sehingga didapat kesimpulan yang benar Untuk dapat menarik kesimpulan (konklusi) yang tepat diperlukan kemampuan menalar yang baik

Kemampuan menalar : kemampuan untuk menarik konklusi yang tepat dari bukti-2 yang ada dan menurut aturan tertentu Logika merupakan dasar dari semua penalaran (reasoning) Sehingga tujuan dari Logika adalah memberikan aturan penalaran sehingga orang dapat menentukan apakah suatu kalimat bernilai benar atau salah

B. Sejarah Perkembangan Logika Aristoteles pertama kali mengembangkan Logika yang pada saat itu dikenal dengan Logika Tradisional Ada 5 Aliran dalam Logika : Aliran Logika Tradisional Logika Ditafsirkan sebagai suatu Kumpulan aturan praktis yang menjadi petunjuk pemikiran

2. Aliran Logika Metafisis Susunan pikiran dianggap sebagai kenyataan, logika untuk menafsirkan pikiran sebagai suatu tahap dari struktur kenyataan Aliran Logika Epistemologis Oleh Francis Herbert menyatakan untuk mencapai pengetahuan yang memadai, maka pikiran logis dan perasaan harus digabung

Aliran Logika Pragmatis Oleh John Dewey, Logika dianggap sebagai alat untuk memecahkan masalah 5. Aliran Logika Simbolis Oleh Leibniz, Boole dan De Morgan yang sangat menekankan pada penggunaan simbol untuk memahami secara rinci, oleh karena itu disebut Logika Matematika

Logika Simbolik yang kemudian berkembang : Logika Simbolik ilmu tentang penyimpulan yang sah yaitu dengan menggunakan metode matematika dan dengan bantuan simbol simbol khusus Pemakaian simbol simbol khusus untuk menwakili bahasa, simbol itu sesuai aturan matematika untuk menetapkan apakah suatu pernyataan benar atau salah

Salah satu perluasan dari Logika adalah Aljabar Boolean yang digunakan secara luas dalam komputer. Ketidakjelasan berbahasa dapat dihindari dengan menggunakan simbol-simbol

C. Kalimat Kalimat adalah kumpulan kata yang disusun menurut aturan bahasa. Kata adalah rangkaian huruf yang mempunyai arti Jadi kalimat adalah rangkaian kata yang disusun menurut aturan tata bahasa dan mempunyai arti

Contoh 1 : 30 kurang dari 60 Indonesia terdiri atas 32 propinsi Semarang ibukota Jawa Tengah 7 adalah bilangan genap Apa warna bendera negara Indonesia Bersihkan mobil ini Presiden Kedua Indonesia adalah BJ Habiebie Mudah-mudahan tercapai cita-citamu

Secara sederhana kalimat menurut jenisnya dapat dibagi menjadi beberapa, yaitu : Bermakna Tidak Bermakna Deklaratif Non Deklaratif B S

D. Persoalan Logika vs Aljabar Misalnya ada persoalan : Safi usianya tiga kali usia Tono, jika usia Safi dan usia Tono ditambahkan hasilnya dua belas, berapa umur Safi dan Tono ? Persoalan seperti ini adalah persoalan Aljabar, yang harus diselesaian menggunakan hukum-hukum aljabar

Misalnya ada persoalan : Jika Mary mencintai Budi, maka Mary mencintai Koko Jika hari Senin, maka Mary mencintai Budi atau Koko Jika hari Senin apakah Mary mencintai Koko ? Jika hari Senin apakah Mary mencintai Budi ? Ini contoh persoalan Logika

E. Pernyataan (proposisi) Proposisi adalah kalimat deklaratif yang bernilai B saja atau S saja dan tidak keduanya 30 kurang dari 60 Indonesia terdiri atas 32 propinsi Semarang ibukota Jawa Tengah 7 adalah bilangan genap Presiden Kedua Indonesia adalah BJ Habiebie

Contoh 2 : Tentukan Nilai Kebenaranya Untuk sembarang bilangan bulat n>0, maka 2n adalah bilangan genap x + y = y + x untuk setiap x dan y bilangan riil z = x + y, jika x dan y bilangan bulat, maka z juga bilangan bulat Untuk semua nilai x bilangan riil, berlaku x2 > 0

Variabel : Variabel adalah simbol yang menunjukan suatu anggota yang belum spesifik dalam semesta pembicaraan Konstanta adalah simbol yang menunjukan suatu anggota yang sudah spesifik dalam semesta pembicaraan

Ada sebuah Kalimat : Manusia Makan NasiKata “Manusia“  Budi (orang smg), maka :Budi (orang smg) makan nasi Kalimat ini bernilai B Kata “Manusia“  Fredrik (orang papua), maka Fredrik (orang papua) makan nasi Kalimat ini bernilai S Manusia = Variabel Budi dan Fredrik = Konstanta

Ada sebuah Kalimat : 7 + x = 10 “x“  3, maka menjadi 7 + 3 = 10 Kalimat ini bernilai B “x“ 5, maka menjadi 7 + 5 = 10 Kalimat ini bernilai S x = Variabel 3 dan 5 = Konstanta

TUGAS 1 : Buatlah 10 kalimat yang mengandung variabel dan 10 kalimat yang hanya mengandung konstanta