Selamat datang di toko Buku Online kami Buku Diskon,Murah Ajibayustore

Jumat, 13 November 2015

Logika Matematika Untuk Ilmu Komputer.F.Soesianto

Logika Matematika Untuk Ilmu Komputer Pengarang : F. Soesianto & Djoni Dwijono Penerbit : Andi

Judul Buku:Logika Matematika Untuk Ilmu Komputer
Pengarang:F. Soesianto & Djoni Dwijono
Penerbit:Andi
Cetakan:Edisi 2
Tahun Terbit:2010
Bahasa:Indonesia
Jumlah Halaman:476
Kertas Isi:HVS
Cover:Soft
Ukuran:16 x 23
Berat:500
Kondisi:Baru
Harga:Rp  84.000DISKON 20%
Bayar:Rp 67.200
Stock:1

Logika Matematika Untuk Ilmu Komputer
Pengarang : F. Soesianto & Djoni Dwijono
Penerbit : Andi
Daftar Isi
BAB 1 Pengenalan Logika Matematika
1.1 Pendahuluan
1.2 Argumen
1.3 Validitas Argumen
1.4 Logika Klasik
1.5 Logika Modern
1.6 Logika Banyak Nilai
1.7 Mengenal Logika Lebih Dalam
BAB 2 Pengantar Logika Proposisional
2.1 Pendahuluan
2.2 Argumen-argumen
2.3 Proposisi-proposisi
2.4 Pemberian Nilai
Latihan Soal-soal
BAB 3 Tabel Kebenaran
3.1 Pendahuluan
3.2 Tabel Kebenaran
3.3 Perangkai Logika atau Operator
3.3.1 Konjungsi
3.3.2 Disjungsi
3.3.3 Negasi
3.3.4 Implikasi
3.3.5 Ekuivalensi
3.4 Perangkai Logika atau Operator Lainnya
3.4.1 Perangkai "tidak dan"
3.4.2 Perangkai "tidak atau"
3.4.3 Perangkai Xor
Latihan Soal-soal
BAB 4 Proposisi Majemuk
4:1 Pendahuluan
4.2 Ekspresi Logika
4.3 Skema
4.4 Menganalisis Proposisi Majemuk
4.5 Aturan Pengurutan
Latihan Soal-soal
BAB 5 Tautologi
5.1 Pendahuluan
5.2 Mengevaluasi Validitas Argumen
5.3 Tautologi
5.4 Kontradiksi
5.5 Contingent
5.6 Pemanfaatan Tautologi
Latihan Soal-soal
BAB 6 Ekuivalen Logis
6.1 Pendahuluan
6.2 Ekuivalen Logis
6.3 Komutatif
6.4 Asosiatif
6.5 Hukum-hukum Logika
Latihan Soal-soal
BAB 7 Penyederhanaan
7.1 Pendahuluan
7.2 Operasi Penyederhanaan
7.3 Menghilangkan Perangkai dan
7.4 Perangkai Dasar
Latihan Soal-soal
BAB 8 Strategi Pembalikan
8.1 Pendahuluan
8.2 Konsistensi
8.3 Operasi Strategi Pembalikan
8.4 Model clan Countermodel
Latihan Soal-soal
BAB 9 Tablo Semantik
9.1 Pendahuluan
9.2 Tablo Semantik
9.3 Aturan-aturan Tablo Semantik
9.4 Tablo Semantik pada Suatu Himpunan Ekspresi Logika
9.5 Pembenaran Aturan Tablo Semantik
9.6 Tablo Semantik pada Argumen
9.7 Catatan Penting
Latihan Soal-soal
BAB 10 Bentuk Normal
10.1 Pendahuluan
10.2 Bentuk Normal
10.3 Bentuk Normal Konjungtif
10.4 Bentuk Non-nal. Disjungtif
10.5 Bentuk Normal dan. Tabel kebenaran
10.6 Klausa
10.7 Mengubah ke Bentuk Normal Konjungtif
10.8 Bentuk Normal Konjungtif dan Complementation,
Latihan Soal-soal
BAB 11 Resolusi
11.1 Pendahuluan
11.2 Resolving Argument
11.3 Himpunan Klausa
11.4 Resolvent
11.5 Resolusi
11.6 Contoh Validitas Argumen
Latihan Soal-soal
BAB 12 Deduksi Alami
12.1 Pendahuluan
12.2 Falsum
12.3 Aturan-aturan Deduksi Alami
12.4 Pembuktian Teorema
12.5 Sistem Derivasi
Latihan Soal-soal
BAB 13 Kalkulus Deret
13.1 Pendahuluan
13.2 Skemata Deret
13.3 Aturan Kalkulus Deret
13.4 Pembuktian Menggunakan Kalkulus Deret
Latihan Soal-soal
BAB 14 Pengantar Logika Predikat
14.1 Pendahuluan.
14.2 Argumen pada Logika Predikat
BAB 15 Komponen-komponen Sintaktik
15.1 Pendahuh tan
15.2 Komponen-komponen Sintaktik
15.3 Universe of Discourse
15.4 Predikat
15.5 Fungsi Proposisional
15.6 Variabel dan Instansiasi
Latihan Soal-soal
BAB 16 Kuantor-kuantor
16.1 Pendahuluan
16.2 Kuantor Universal
16.3 Kuantor Eksistensial
16.4 Mempredikatkan Satu dan N-aritas Objek
16.5 Domain Penafsiran. Kuantor dan. Kuantor Ganda
16.6 Hubungan Antarkuantor
16.7 Menegasi Kuantor
16.8 Hubungan V dengan. A dan 3 dengan v
16.9 Batasan Kuantor
16.10 Mengubah Pernyataan ke Logika Predikat
16.11 Pengembangan Fungsi Proposisional
16.12 Variabel Terikat dan Bebas
Latihan Soal-soal.
BAB 17 Penafsiran dan Validitas
17.1 Pendahuluan
17.2 Penafsiran
17.3 Validitas Argumen
17.4 Ekspresi-ekspresi Tidak Valid
17.5 Contoh Pembuktian Validitas
Latihan Soal-soal.
BAB 18 Derivasi
18.1 Pendahuluan
18.2 Universal Instantiation
18.3 Universal Generalization
18.4 Teorema. Deduksi dan. Universal Generalization
18.5 Existential Generalization
18.6 Existential Instantiation
18.7 Unification
Latihan Soal-soal
BAB 19 Ekuivalen Logis untuk Logika Predikat
19.1 Pendahuluan'
19.2 Rumus-rumus Ekuivalen Logis
19.3 Ekuivalen Logis Penting Lainnya
19.4 Ekualitas
Latihan Soal-soal.
BAB 20 Tablo Semantik untuk Logika Predikat.
20.1 Pendahuluan
20.2 Aturan-aturan Tablo Semantik
20.3 Pemakaian. Aturan-aturan Tablo Semantik
20.4 Aturan Tablo Semantik pada Validitas Argumen
20.5 Teorema dengan Aturan-aturan Tablo Semantik
Latihan Soal-soal.
BAB 21 Bentuk Normal Prenex
21.1 Pendahuluan
21.2 Complementation
21.3 Bentuk Normal Prenex
21.4 Mengubah ke Bentuk Normal Prenex
Latihan Soal-soal
BAB 22 Resolusi untuk Logika Predikat
22.1 Pendahuluan
22.2 Skolemisasi
22.3 Himpunan Klausa
22.4 Resolusi
Latihan Soal-soal
Daftar Pustaka
Lampiran A: Aplikasi logika untuk Merancang Rangkaian Elektronika
Lampiran B: Aplikasi Logika Mesin Pencari di Internet
Lampiran C: Argumen & Validitas : Bagian 1
Lampiran D: Argumen & Validitas : Bagian 2
Daftar Tokoh-tokoh Logika (Matematika) dan Komputer
Daftar Istilah
Indeks

KEMBALI KE HALAMAN AWAL

Share This Article


0 komentar:

Posting Komentar

Copyright © 2015. AJIBAYUSTORE - All Rights Reserved-ALAMAT JALAN KEBANGKITAN NASIONAL TOKO BUKU NO.21-22 SOLO JAWA TENGAH KONTAK:0857 2823 4422
Creating Website Miko Bayu Saputra