Materi Perkuliahan Logika Informatika Semester 1
Bab 1 PENGERTIAN DAN SEJARAH SINGKAT LOGIKA
Menurut [Manna and Waldinger, 85] Logika adalah kalkulusnya ilmu komputer. Tanpa adanya sebuah logika, kepintaran sebuah komputer atau alat digital yang biasa kita kenal seperti sebuah smartphone, jam digital, lampu-lampu digital dan lain-lain sangat sulit atau mustahil ada. Bagi seorang IT, Logika adalah dasar matematis suatu software yang digunakan untuk memformalkan semantik dari bahasa pemrograman dan spesifikasi program, serta memverifikasi kebenaran dari program. Logika di ilmu komputer juga digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan, basis data, sistem digital, dan lain-lainnya. Jadi untuk lebih jelasnya, silahkan anda baca atau download materi pertama tentang Pengertian dan Sejarah Singat Logika.
Bab 2 LOGIKA PROPOSIONAL
Proposisi adalah kalimat penegasan atau deklaratif yang bernilai benar atau salah tetapi tidak keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya. Pada materi kali ini, akan dijelaskan bagaimana cara menghubungkan opertaor-operator logika seperti AND atau konjungsi, OR atau disjungsi, NOT atau negasi, jika...maka atau implikasi dan ...jika dan hanya jika... atau biimplikasi. Pada materi kedua ini, akan ada banyak sekali contoh-contoh soal mengenai penghubungan kalimat-kalimat dengan operator-operator tersebut. Silahkan anda langsung download gratis dan baca materi logika proposional.
Bab 3 IMPLIKASI DAN BIIMPLIKASI serta TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI
Seperti yang sudah dijelaskan di bab sebelumnya, di bab ini akan ada pembahasan lebih lanjut mengenai IMPLIKASI DAN BIIMPLIKASI secara lengkap mulai dari tabel kebennaran, jenis-jenisnya serta contoh-contoh permasalahannya. Selain itu, pada bab ini terdapat materi tentang tautologi atau meghasilkan nilai benar semua, kontradiksi atau meghasilkan nilai salah semua dan kontingensi atau meghasilkan nilai campuran dari benar dan salah. Pada materi ini juga, dijelaskan secara lengkap mengenai tautologi, kontradiksi dan kontingensi. Silahkan anda langsung download gratis dan baca materi IMPLIKASI DAN BIIMPLIKASI serta TAUTOLOGI, KONTRADIKSI, DAN KONTINGENSI.
Bab 4 VARIAN PROPOSISI BERSYARA
Pada bab ini, akan dijelaskan mengenai ketiga variasi proposisi bersarat yaitu konvers, invers dan kontraposisi. Pada bab ini juga, akan dijelaskan secara lengkap mengenai contoh, tabel kebenaran dan bagaimana cara menghubungkan antara ketiga variasi proposisi bersyarat tersebut dengan kalimat. Pada bab ini juga akan dijelaskan mengenai argumen. Argumen adalah kumpulan pernyataan yang disebut premis-premis dan diikuti oleh kesimpulan yang selaras dengan premis-premisnya. Argumen ada yang sahih dan tidak sahih, untuk mengetahuinya akan dijelaskan di materi ini. Pada bab ini juga, akan dijelaskan tentang hukum-hukum ekuivalen logika dan contohnya secara lengkap. Bisa anda download dan baca materinya secara gratis dan mudah hanya dengan 1 kali klik.
BAB 5 INFERENCE METHOD
Pada bab ini, akan dijelaskan mengenai metode inferensi atau metode penarikan sebuah kesimpulan dari beberapa proposisi atau kalimat. Di dalam bab ini, terdapat banyak kaidah-kaidah interferensi yang akan dijelaskan yaitu Modus ponen, Modus tollen, Hipotesis Silogisme, Simplifikasi, Penambahan, Konjungsi, Dilema Konstruktif dan Dilema Destruktif secara lengkap beserta contohnya. Silahkan download dengan mudah dan gratis materinya di bawah ini
0 komentar:
Posting Komentar