Text
Logika dan Matematika
Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal.
Buku ini terinci membahas tentang:
1. Logika
2. Teori himpunan
3. Relasi
4. Fungsi
5. Barisan
6. Teori Graf
16923F002 | 511.31 MUH l | Perpustakaan IAIN Palopo (Ruang Sirkulasi) | Tersedia |
16923F001 | T 511.31 MUH l | Perpustakaan IAIN Palopo (Ruang Rak Tandon) | Tersedia |
99524F003 | 511.31 MUH l | Perpustakaan IAIN Palopo (Ruang Sirkulasi) | Tersedia |
Tidak tersedia versi lain