:: UI - Skripsi Membership :: Kembali

UI - Skripsi Membership :: Kembali

Pemakaian bahasa turbo prolog untuk pembuktian teorema

Diah Kusumawati; Sumantri Slamet, supervisor; Sandra Gunawan, supervisor (Universitas Indonesia, 1988)

 Abstrak

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.

 File Digital: 1

Shelf
 S26942-Diah Kusumawati.pdf :: Unduh

LOGIN required

 Metadata

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
  • Ketersediaan
  • Ulasan
No. Panggil No. Barkod Ketersediaan
S26942 14-19-878821252 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20180336