1 logika informatika

25
Logika Informatika

Transcript of 1 logika informatika

Page 1: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 1/25

Logika Informatika

Page 2: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 2/25

Silabus

Pengantar Logika Informatika

Logika Proposisi

Logika Predikat

UTS

Page 3: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 3/25

Silabus (2)

Himpunan

Relasi dan Fungsi Bagian

Aljabar Boolean

UAS

Page 4: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 4/25

Ref er ensi

Nolt, John, 1990, Schaum's Outline Of Theory And Problems of Logic 2nd Edition. McGraw-Hill.

Nolt, John, 1990, Schaum's Outline Of Set Theory And Related Topics 2nd Edition. McGraw-Hill.

Lipson, 1997, Schaum's Outline Of Theory And 

Problems of Discrete Mathematics 2nd Edition. McGraw-Hill.

Mordechai Ben-Ari, 1948, Mathematical Logic for Computer Science, Springer.

Srivastava, 2008, A Course on Mathematical Logic .Springer.

Page 5: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 5/25

Logika

Dari bahasa Yunani logos Ilmu untuk berfikir dan menalar dengan benar 

(sehingga didapatkan kesimpulan yang absah).

Manusia mampu mengembangkan pengetahuan

karena mempunyai bahasa dan kemampuanmenalar.

Page 6: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 6/25

Logika

Untuk dapat menarik konklusi yang tepat,diperlukan kemampuan menalar.

Kemampuan menalar adalah kemampuan untukmenarik konklusi yang tepat dari bukti-buktiyang ada, dan menurut aturan-aturan tertentu.

Logika bisa merupakan cabang filosofi dan bisa juga cabang dari matematika

Logika terkategori matematika murni karenamatematika adalah logika yang tersistematisasi.

Page 7: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 7/25

Page 8: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 8/25

Sejarah Logika

Aristoteles (384 ± 332 SM) mengenalkan logikasebagai ilmu. Aristoteles mengatakan bahwa

kesimpulan Thales diperoleh dari alasan bahwa

air adalah jiwa segala sesuatu.

Inti dari logika Aristoteles adalah Silogisme.

Istilah logika diperkenalkan oleh Zeno (334 ±

226 SM).

Page 9: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 9/25

Sejarah Logika

Augustus De Morgan (1806-1871), InduksiMatematika, Hukum Ekuivalensi Logika DeMorgan.

George Boole(1815-1871), Aljabar Boole.

Giuseppe Peano (1858-1932), Penemu istilahlogika matematika dan teori himpunan.

Emil L Post(1897-1954), Tabel Kebenaran.

Ludwig JJ Wittgenstein(1889-1951), TabelKebenaran.

John Venn(1834-1923), Diagram Venn. Henry M Sheffer(1882-1964), NAND, NOR.

Page 10: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 10/25

Macam Logika

Logika alamiah kinerja akal budi manusia yang berpikir secara

tepat dan lurus sebelum dipengaruhi olehkeinginan-keinginan dan kecenderungan-

kecenderungan yang subyektif. Kemampuanlogika alamiah manusia ada sejak lahir.

Page 11: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 11/25

Macam Logika

Logika ilmiah Logika ilmiah memperhalus, mempertajam

pikiran serta akal budi.

Logika ilmiah menjadi ilmu khusus yang

merumuskan azas-azas yang harus ditepatidalam setiap pemikiran. Berkat pertolonganlogika ilmiah inilah akal budi dapat bekerjadengan lebih tepat, lebih teliti, lebih mudah dan

lebih aman. Logika ilmiah dimaksudkan untukmenghindarkan kesesatan atau, paling tidak,dikurangi.

Page 12: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 12/25

Informatika

Disiplin ilmu yang mempelajari transformasifakta berlambang yaitu data maupun informasipada mesin berbasis komputasi.

Cakupan bidang informatika antara lain: ilmu

komputer, ilmu informasi, sistem informasi,teknik komputer dan aplikasi informasi dalamsistem informasi manajemen.

Page 13: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 13/25

Informatika

Mempunyai konsep dasar, teori, danperkembangan aplikasi tersendiri.

Dapat mendukung dan berkaitan dengan aspekkognitif dan sosial, termasuk tentang pengaruh

serta akibat sosial dari teknologi informasi padaumumnya.

Page 14: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 14/25

Aspek Informatika

Teori informasi yang mempelajari konsepmatematis dari suatu informasi

Ilmu informasi yang mempelajari tentang cara

pengumpulan, klasifikasi, manipulasi

penyimpanan, pengaksesan, dan

penyebarluasan informasi untuk keperluan

sosial dan kemasyarakatan secara menyeluruh

Page 15: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 15/25

Aspek Informatika

Ilmu komputer dan teknik komputer yangmempelajari tentang pemrosesan, pengarsipan,

dan penyebaran informasi dengan

menggunakan teknologi informasi dan alat lain

yang berbasis komputer.

Page 16: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 16/25

Logika Informatika

Disiplin ilmu yang mempelajari transformasifakta berlambang yaitu data maupun informasi

pada mesin berbasis komputasi dengan

penalaran sehingga didapat suatu kesimpulan.

Page 17: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 17/25

Logika Informatika

Logika proposisional ± Fokus utama logika ini pada pernyataan-pernyataan

yang dapat digolongkan dalam pengertian proposisi-

proposisi.

Logika predikat ± Penyataan-pernyataan yang tidak dapat digolongkan

sebagai proposisi, dan tidak dapat diproses dengan

logika proposisional, akan ditangani logika predikat

yang memfokuskan diri pada predikat yang selalumenyertai suatu pernyataan dalam bentuk kalimat.

Page 18: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 18/25

Manfaat Logika

Berfikir/nalar  Penyelesaian masalah

Page 19: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 19/25

Manfaat Logika

Membantu setiap orang yang mempelajarilogika untuk berpikir secara rasional, kritis,lurus, tetap, tertib, metodis dan koheren.

Meningkatkan kemampuan berpikir secara

abstrak, cermat, dan objektif. Menambah kecerdasan dan meningkatkan

kemampuan berpikir secara tajam dan mandiri.

Memaksa dan mendorong orang untuk berpikir 

sendiri dengan menggunakan asas-asassistematis

Page 20: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 20/25

Manfaat Logika

Meningkatkan cinta akan kebenaran danmenghindari kesalahan-kesalahan berpkir,kekeliruan serta kesesatan.

Mampu melakukan analisis terhadap suatukejadian.

Terhindar dari klenik , gugon-tuhon ( bahasaJawa )

Apabila sudah mampu berpikir rasional,kritis,lurus,metodis dan analitis sebagaimana

tersebut point 1 maka akan meningkatkan citradiri seseorang.

Page 21: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 21/25

Istilah-Istilah

Premis : pernyataan. Argumen : usaha untuk mencari kebenaran dari

pernyataan berupa kesimpulan dengan

berdasarkan kebenaran dari satu kumpulan

pernyataan.

Konklusi : kesimpulan

Page 22: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 22/25

Contoh silogisme 

 ± Premis : Semua A adalah B

 ± Premis : Semua B adalah C

 ± Konklusi : Semua A adalah C

Page 23: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 23/25

Latihan

Page 24: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 24/25

Dibawah ini ada beberapa yang berupaargumen, tentukan premis dan konklusinya!

1. Zodiak dia Leo, sebab dia lahir minggupertama di bulan Agustus.

2. Bagaimana perekonomian akan meningkat?Defisit perdagangan meningkat setiapharinya.

3. Saya belum mau tidur, film-nya belumselesai.

4. Dia bernafas dan untuk itu dia hidup.5. Adakah yang mengerti tentang dokumen ini?

Page 25: 1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 25/25

1. Premis : Dia lahir minggu pertama di bulan Agustus. konklusi : Zodiak dia Leo

2. Bukan argumen. Jika berupa argumen,maka premis : Defisit perdaganganmeningkat setiap hari. Konklusi : Ekonomi

tidak bisa meningkat.3. Premis : Film-nya belum selesai. Konklusi :

Saya belum mau tidur.

4. Bukan argumen. Jika berupa argumen,

maka premis : Dia bernafas. Konklusi : Diahidup.

5. Bukan argumen.