Logika Matematika Untuk Informatika
Bambang Ari Wahyudi, Irma Palupi
Informasi Umum
Kode
25.01.371
Klasifikasi
511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages
Jenis
Buku - Circulation (Dapat Dipinjam)
Subjek
Mathematical Logic
No. Rak
Tel-U Gedung Manterawu Lantai 5 : Rak 10a
Tel-U Purwokerto : Rak 5
Dilihat
99 kali
Informasi Lainnya
Abstraksi
Logika Matematika untuk Informatika" mengupas tuntas dasar-dasar logika yang menjadi inti dari pengembangan teknologi modern. Dari logika proposisi, logika predikat, hingga pemrograman logika menggunakan Prolog, buku ini mengintegrasikan teori dengan aplikasi praktis yang dapat diterapkan dalam pengembangan perangkat lunak dan kecerdasan buatan. Teknik pembuktian matematis dan induksi yang dijelaskan di dalamnya akan membantu pembaca memahami analisis mendalam terhadap algoritma dan struktur data.
ebih jauh lagi, teknik pembuktian matematis dan induksi yang dibahas dalam buku ini memberikan alat analitis yang kuat untuk menyelesaikan masalah algoritma kompleks. Teori himpunan elementer yang disertakan semakin melengkapi pemahaman pembaca akan dasar-dasar matematika dalam informatika. Buku ini dirancang untuk membantu pembaca membangun fondasi kuat di bidang logika matematika, menjadikannya referensi penting bagi mahasiswa dan profesional teknologi. Bersiaplah menjadi ahli logika dan bangun karier gemilang dalam informatika
Koleksi & Sirkulasi
Seluruh 2 koleksi sedang dipinjam
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Bambang Ari Wahyudi, Irma Palupi |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | TEL-U Press |
| Kota | Bandung |
| Tahun | 2025 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 1.000,00 |
| Jenis | Sirkulasi |
