Top Banner
LOGIKA INFORMATIKA
24

LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

Aug 21, 2019

Download

Documents

lamthu
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

LOGIKA INFORMATIKA

Page 2: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

Silabus

● Pengantar Logika Informatika● Logika Proposisi● Logika Predikat● UTS● Himpunan● Relasi & Fungsi Bagian● Aljabar Boolean● UAs

Page 3: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

Referensi

Buku Teks.

Edmund Burke and Eric Foxley , 1996 ; “Logic and Its Applications” , Prentice Hall .

Buku Referensi .

1). Arindama Singh , 2004 ; “Logics For Computer Science ”, Prentice Hall of India.

2). Manna, Z and Waldinger, R., 1985 , “ The Logical Basis for Computer Programming” , Addison-Wesley Publishing Company. Inc.

3). Suprapto, Logika Informatika, 2003, “Logika Informatika (Dasar-dasar Logika untuk Pemrograman Komputer & Perancangan Komputer) ”, Penerbit Gava Media Yogyakarta.

4). Setiadi Rachmat, 2004 , “ Pengantar Logika Matematika”, Penerbit Informatika Bandung.

Page 4: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

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 kemampuan menalar.

Page 5: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

LOGIKA (2)

Untuk dapat menarik konklusi yang tepat, diperlukan kemampuan menalar.

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

Logika bisa merupakan cabang filosofi dan bisa juga cabang dari matematika

Logika terkategori matematika murni karena matematika adalah logika yang tersistematisasi.

Page 6: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

SEJARAH LOGIKA

Thales (624 – 548 SM). Filsuf Yunani pertama yang meninggalkan segala dongeng, takhayul, dan cerita-cerita isapan jempol dan berpaling kepada akal budi untuk memecahkan rahasia alam semesta.

Thales mengatakan: air adalah arkhe (Yunani) yang berarti prinsip atau asas utama alam semesta.

Thales telah mengenalkan logika induktif.

Page 7: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

SEJARAH LOGIKA (2)

Aristoteles (384 – 332 SM) mengenalkan logika sebagai 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 8: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

SEJARAH LOGIKA (3)

Augustus De Morgan (1806-1871), Induksi Matematika, Hukum Ekuivalensi Logika De Morgan.

George Boole(1815-1871), Aljabar Boole. Giuseppe Peano (1858-1932), Penemu istilah logika

matematika dan teori himpunan. Emil L Post(1897-1954), Tabel Kebenaran. Ludwig JJ Wittgenstein(1889-1951), Tabel Kebenaran. John Venn(1834-1923), Diagram Venn. Henry M Sheffer(1882-1964), NAND, NOR.

Page 9: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

MACAM LOGIKA

Logika alamiah Kinerja akal budi manusia yang berpikir secara

tepat dan lurus sebelum dipengaruhi oleh keinginan-keinginan dan kecenderungan kecenderungan yang subyektif. Kemampuan logika alamiah manusia ada sejak lahir.

Page 10: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

MACAM LOGIKA (2)

Logika ilmiah Logika ilmiah memperhalus, mempertajam pikiran serta

akal budi. Logika ilmiah menjadi ilmu khusus yang merumuskan

azas-azas yang harus ditepati dalam setiap pemikiran. Berkat pertolongan logika ilmiah inilah akal budi dapat bekerja dengan lebih tepat, lebih teliti, lebih mudah dan lebih aman. Logika ilmiah dimaksudkan untuk menghindarkan kesesatan atau, paling tidak, dikurangi.

Page 11: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

INFORMATIKA

Disiplin ilmu yang mempelajari transformasi fakta berlambang yaitu data maupun informasi pada mesin berbasis komputasi.

Cakupan bidang informatika antara lain: ilmu komputer, ilmu informasi, sistem informasi, teknik komputer dan aplikasi informasi dalam sistem informasi manajemen.

Page 12: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

INFORMATIKA (2)

Mempunyai konsep dasar, teori, dan perkembangan aplikasi tersendiri.

Dapat mendukung dan berkaitan dengan aspek kognitif dan sosial, termasuk tentang pengaruh serta akibat sosial dari teknologi informasi pada umumnya.

Page 13: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

ASPEK INFORMATIKA

Teori informasi yang mempelajari konsep matematis 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 14: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

ASPEK INFORMATIKA(2)

Ilmu komputer dan teknik komputer yang mempelajari tentang pemrosesan, pengarsipan, dan penyebaran informasi dengan menggunakan teknologi informasi dan alat lain yang berbasis komputer.

Page 15: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

LOGIKA INFORMATIKA

Disiplin ilmu yang mempelajari transformasi fakta berlambang yaitu data maupun informasi pada mesin berbasis komputasi dengan penalaran sehingga didapat suatu kesimpulan.

Page 16: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

LOGIKA INFORMATIKA (2)

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 selalu menyertai suatu pernyataan dalam bentuk kalimat.

Page 17: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

MANFAAT LOGIKA

Berfikir/nalar à Penyelesaian masalah

Page 18: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

MANFAAT LOGIKA (1)

Membantu setiap orang yang mempelajari logika 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-asas sistematis

Page 19: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

MANFAAT LOGIKA (2)

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

Mampu melakukan analisis terhadap suatu kejadian.

Terhindar dari klenik , gugon-tuhon ( bahasa Jawa )

Apabila sudah mampu berpikir rasional,kritis ,lurus,metodis dan analitis sebagaimana tersebut point 1 maka akan meningkatkan citra diri seseorang.

Page 20: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

ISTILAH - ISTILAH

Premis : pernyataan. Argumen : usaha untuk mencari kebenaran dari

pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari satu kumpulan pernyataan.

Konklusi : kesimpulan

Page 21: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

CONTOH SILOGISME

Premis : Semua A adalah B Premis : Semua B adalah C Konklusi : Semua A adalah C

Page 22: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

LATIHAN

Page 23: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

Dibawah ini ada beberapa yang berupa argumen, tentukan premis dan konklusinya!

1.Zodiak dia Leo, sebab dia lahir minggu pertama di bulan Agustus.

2.Bagaimana perekonomian akan meningkat efisit perdagangan meningkat setiap harinya.

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

4.Dia bernafas dan untuk itu dia hidup.

5.Adakah yang mengerti tentang dokumen ini?

Page 24: LOGIKA INFORMATIKA - E-Learningelearning.amikom.ac.id/index.php/download/materi/190302161-st081-1/...Aljabar Boolean UAs. Referensi Buku Teks. ... Dari bahasa Yunani logos Ilmu untuk

JAWAB

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

2.Bukan argumen. Jika berupa argumen, maka premis : Defisit perdagangan meningkat 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 Dia hidup.

5.Bukan argumen.