1 logika informatika
-
Upload
heru-nurwarsito -
Category
Documents
-
view
236 -
download
0
Transcript of 1 logika informatika
8/7/2019 1 logika informatika
http://slidepdf.com/reader/full/1-logika-informatika 1/25
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
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
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.
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.
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.
8/7/2019 1 logika informatika
http://slidepdf.com/reader/full/1-logika-informatika 7/25
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).
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.
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.
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.
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.
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.
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
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.
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.
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.
8/7/2019 1 logika informatika
http://slidepdf.com/reader/full/1-logika-informatika 18/25
Manfaat Logika
Berfikir/nalar Penyelesaian masalah
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
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.
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
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
8/7/2019 1 logika informatika
http://slidepdf.com/reader/full/1-logika-informatika 23/25
Latihan
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?
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.