Pemakaian bahasa turbo prolog untuk pembuktian teorema
Diah Kusumawati;
Sumantri Slamet, supervisor; Sandra Gunawan, supervisor
(Universitas Indonesia, 1988)
|
| Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi. |
 S26942-Diah Kusumawati.pdf :: Unduh
|
| No. Panggil : | S26942 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Entri tambahan-Nama badan : | |
| Subjek : | |
| Penerbitan : | Depok: Universitas Indonesia, 1988 |
| Program Studi : |
| Bahasa : | ind |
| Sumber Pengatalogan : | LibUI ind rda |
| Tipe Konten : | text |
| Tipe Media : | computer |
| Tipe Carrier : | online resource |
| Deskripsi Fisik : | vii, 55 pages : illustration; 28 cm + appendix |
| Naskah Ringkas : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| S26942 | 14-19-878821252 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20180336 |
