Record Detail
Advanced Search
Text
Logika Matematika untuk Ilmu Komputer
- Share to:
Isi bahasan : Pengenalan logika Matematika,pengantar logika proposisional,tabel kebenaran,proposisi majemuk,taulogi,ekuivalen logis,penyederhanaan,strategi pembalikan,tablo semantik,bentuk normal,resolusi,deduksi alami,kalkulus deret,pengantar logika predikat,komponen-komponen sintaktik,kuantor-kuantor,penafsiran dan faliditas,derivasi,ekuivalen logis untuk logika predikat,tablo semantik untuk logika predikat,bentuk normal prenex,resolusi untuk logika predikat.
Availability
#
RAK 12 (Lantai II)
2011929305
2011953601
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929305
2011953602
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929305
2011953603
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929305
2011953604
Available but not for loan - Missing
#
RAK 12 (Lantai II)
2011929305
2011953605
Available but not for loan - Missing
Detail Information
| Series Title |
-
|
|---|---|
| Call Number |
2011953605
|
| Publisher | SPHAN APRISANDI : Yogyakarta., 2010 |
| Collation |
xix,469hlm.:bibl.,23cm.
|
| Language |
Indonesia
|
| ISBN/ISSN |
978-979-29-1234-0
|
| Classification |
005/Soe/l C1-C5
|
| Content Type |
-
|
| Media Type |
-
|
|---|---|
| Carrier Type |
-
|
| Edition |
II
|
| Subject(s) | |
| Specific Detail Info |
Cover buku berwarna hitam bergambar 12 mata uang
|
| Statement of Responsibility |
-
|
Other version/related
No other version available
Information
Web Online Public Access Catalog - Use the search options to find documents quickly