Ditemukan 1 dokumen yang sesuai dengan query
Diah Kusumawati
"
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 ...
"
Depok: Universitas Indonesia, 1988
S26942
UI - Skripsi Membership Universitas Indonesia Library
