Logika dan Matematika

Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa. Di SMA, materi ini termasuk ke dalam mata pelajaran Matematika kelas 11. Tidak berhenti di kelas 11 saja, materi Logika Matematika juga bakal kamu temukan dalam soal-soal SBMPTN, khususnya soal TPS UTBK. Selain meningkatkan kemampuan berpikir, materi yang satu ini wajib kamu pelajari agar kamu bisa menguasai materi UTBK dan lolos SBMPTN. Logika matematika sangat dekat kaitannya dengan pernyataan dan penarikan kesimpulan. Itulah sebabnya saat belajar materi ini kamu harus tahu apa yang disebut proposisi. Proposisi adalah suatu pernyataan yang mempunyai dua kemungkinan nilai kebenaran, yaitu benar atau salah tetapi tidak mungkin keduanya (lebih dari satu). Contohnya, angka 2 adalah bilangan genap merupakan pernyataan benar. Bilangan genap merupakan bilangan bulat dan habis dibagi 2. Angka 2 termasuk bilangan bulat dan akan habis jika dibagi 2. Proposisi pada logika matematika terbagi menjadi 3 jenis, yaitu proposisi tunggal, majemuk, dan kompleks. Jenis proposisi tunggal yaitu pernyataan tanpa perangkai. Sementara proposisi majemuk memiliki satu perangkai. Terakhir, proposisi kompleks memiliki dua atau lebih perangkai. Buku Logika & Matematika ini dapat digunakan sebagai buku ajar atau referensi yang menunjang pembelajaran mata kuliah Matematika Diskrit. Dengan mempelajari buku ini, mahasiswa diharapkan mampu meningkatkan kemampuannya dalam berpikir logis, kreatif, dan kritis. Kemampuan itu tentunya akan sangat berguna bagi mahasiswa/pembaca dalam menunjang pengembang sistem informasi, pengembang multimedia/game, dan kompetensi yang relevan. Daftar Isi : Bonus dalam paket : Informasi Lain : Judul : Logika dan Matematika Penulis : Muhammad Rusli, I Ketut Putu Suniantara, Anggun Nugroho Penerbit : Andi Publisher ISBN : 9789792963809 Terbit : 14 Januari 2019 Halaman : 152 Lebar : - Berat : 0.22 kg