Text
Logika Proposisional
Materi dalam buku ini mencakup:
- tabel kebenaran
- proposisi majemuk
- tautologi
- ekuivalensi logis
- penyederhanaan
- strategi pembalikan
- tablo semantik
- bentuk normal
- resolusi
- deduksi alami
- kalikulus deret
000756 | 511.3 SOE l | Rak | Tersedia |
000766 | 511.3 SOE l | Rak | Tersedia |
4658-PHP | 511.3 SOE l | Rak (500) | Sedang Dipinjam (Jatuh tempo pada2022-10-29) |
4659-PHP | 511.3 SOE l | Rak (500) | Sedang Dipinjam (Jatuh tempo pada2014-04-13) |
Tidak tersedia versi lain