Informatika
Logika Informatika
Logika lnformatika/ Logika Matematika/Aljabar Proposisiadalah bagian dari Pengantar Matematika Modern. Pada kenyataannya merupakan bagian dari Pengantar llmu Pengetahuan Modern. Dengan demikian jelas sekali manfaatnya, sehingga semua jurusan eksakta mulaidari SLTAsampaidengan Perguruan tinggi membutuhkannya, khususnya jurusan matematika, informatika, komputer, statistika, teknik dan lain sebagainya, Pembahasan dalam buku ini antara lain: Logika informatika sebagai suatu aljabar proposisi dengan pengertiannya yang cukup jelas, simplifikasi, model-model logika yang rumit, penarikan kesimpulan dari beberapa hipotesis yang diketahui, aljabar Boole, aljabar tombol listrik (swtching circuits algebra), masalah gerbang logika (/oglc gates) dan aplikasinya, juga kuantifikasi beserta contoh-contohnya. Definisi-definisi, teorema-teorema, sifat-sifat beserta buktinya dalam ilmu pengetahuan modern menjadi sangat mapan (mantap) jika disajikan dan dibahas menggunakan logika informatika (logika matematika). Buku ini ditulis berdasarkan pengalaman penulis bertahun-tahun dalam mengajar logika matematika dan teori himpunan juga logika informatika, di samping berdasarkan pustaka-pustaka yang ada.
No other version available