Record Detail
Advanced Search
Text
Logika Matematika untuk Ilmu Komputer
- Share to:
Isi bahasan :Pengenalan Logika Matematika,Pengantar Logika Proposisional,Tabel Kebenaran,Proposisi Majemuk, Tautologi, Ekuivalen Logis, Penyederhaan,Strategi Pembalikan,Tablo Semantik,Bentuk Normal,Resolusi,Deduksi Alami,Kalkulus Deret,Pengantar logika Predikat, Komponen-Kemponen Sintaktik, Kuantor-Kuntor,Penafsiran dan Validitas,Derivasi,Ekuivalen Logis untuk Logika Predikat,Tablo Semantik Untuklogika Predikat, Bentuk NormalPrenek,Resolusi untuk Logika Predikat.
Availability
#
RAK 12 (Lantai II)
2011929210
2011929201
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929202
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929203
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929204
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929205
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929206
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929207
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929208
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929209
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929210
2011929210
Available but not for loan - Missing
Detail Information
| Series Title |
-
|
|---|---|
| Call Number |
2011929210
|
| Publisher | SPHAN APRISANDI : Yogyakarta., 2006 |
| Collation |
xix,469hlm.:bibl.,23cm.
|
| Language |
Indonesia
|
| ISBN/ISSN |
979-763-568-6
|
| Classification |
005/Soe/l C1-C10
|
| Content Type |
-
|
| Media Type |
-
|
|---|---|
| Carrier Type |
-
|
| Edition |
I
|
| Subject(s) | |
| Specific Detail Info |
Cover buku hijau muda gambar sudut,bola
|
| Statement of Responsibility |
-
|
Other version/related
No other version available
Information
Web Online Public Access Catalog - Use the search options to find documents quickly