Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 4 from your keywords: author="DJONI DWIJONO"
cover
Logika Matematika untuk Ilmu Komputer
Comment Share
DJONI DWIJONOF. Soesanto

Buku ini membahas: 1. Pengenalan logika matematika 2. Pengantar logika proporsional 3. Metode-metode logika proporsional 4. Pengantar logika predika 5. Komponen-komponen sintaktik 6. Kuantor-kuantor 7. Penafsiran dan validitas 8. Derivasi 9. Ekuivalen logis untuk logika predikat 10. Tablo semantikl untuk logika predikat 11. Bentuk normal prenex 12. Resolusi untuk logika pre…

Edition
Ed. 1
ISBN/ISSN
979-763-568-6
Collation
xxii, 476hlm.; 16 cm x 23cm
Series Title
-
Call Number
511.3 SOE l
cover
Kalkulus Proposisional
Comment Share
DJONI DWIJONO

Buku ini berisi tentang : . Apa itu Logika? . Conditionals dan Negasi . Konjungsi dan Disjungsi . Biconditional . Aturan - Aturan Tambahan

Edition
-
ISBN/ISSN
978-979-756-599-2
Collation
xii, 96p; 23cm
Series Title
-
Call Number
515 DWI k
cover
Logika Proposisional
Comment Share
DJONI DWIJONOF. Soesianto

Materi dalam buku ini mencakup: - tabel kebenaran - proposisi majemuk - tautologi - ekuivalensi logis - penyederhanaan - strategi pembalikan - tablo semantik - bentuk normal - resolusi - deduksi alami - kalikulus deret

Edition
Ed. 1
ISBN/ISSN
979-731-051-5
Collation
xii, 208p; 23cm
Series Title
Logika Matematika
Call Number
511.3 SOE l
cover
Kalkulus Predikat
Comment Share
DJONI DWIJONO

Buku ini berisi tentang : . Bentuk Logika Predikat . Kuantor Universal . Kuantor Eksistensial . Deret Berkuantor . Argumen Berkuantor Banyak

Edition
-
ISBN/ISSN
978-979-756-598-5
Collation
xii, 108p; 23cm
Series Title
-
Call Number
515 DWI k