Text
Logika informatika
Logika Informatika/Logika Matematika/Aljabar Proposisi adalah bagian dari Pegantar Matematika Modern. Pada kenyataannya merupakan bagian dari Pengantar Ilmu Pengetahuan Modern. Dengan demikian jelas sekali manfaatnnya, sehingga semua jurusan eksakta dari SLTA sampai dengan Perguruan Tinggi khususnya jurusan Matematika, informatika, komputer statistika, teknik dan sebagainya. Pembahasan dalam ini antara lain : Logika informatika sebagai suatu aljabar proposisi dngan pengertiannya yang cukup jelas, simplifikasi. model-model logika yang rumit, penarikan kesimpulan dan beberapoa hipotesis yang diketahui, aljabar Boole, aljabar tombol listrik, maslah gerbang logika dan aplikasinya, juga kuantifikasi beserta contoh-contohnya. Definisi-definisi, teorema-teorema, sifat-sifat beserta buktinya dalam ilmu pengetahuan mpdeern menjadi sangat mapan jika disajikan dan dibahas menggunakan logika informatika (logika matematika). Buku ini ditulis berdasarkan pengalaman penulis bertahun-tahun dalam mengajar logika matematika dan teori himpunan jiga logika informatika, disamping berdasarkan pustaka-pustaka yang ada.
B070000077 | 004.0151 SET l | Tersedia | |
B201012206160 | 004.0151 Set L | Tersedia |
Tidak tersedia versi lain