.png)
Pertemuan 1 : Logics (Digital Logic, Binary System)
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.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.
Logika alamiah adalah kinerja akal budi manusia yang berpikir secara tepat dan lurus sebelum dipengaruhi oleh keinginan-keinginan dan kecenderungankecenderungan yang subyektif. Kemampuan logika alamiah manusia ada sejak lahir.
Logika ilmiah merupakan tahap 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.
Logika proposisional– Fokus utama logika ini pada pernyataan-pernyataan yang dapat digolongkan dalam pengertian proposisiproposisi.
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.
Referensi
• 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,
You can download full chapter from this link
0 komentar: