UI - Skripsi Membership :: Back

UI - Skripsi Membership :: Back

Pemakaian bahasa turbo prolog untuk pembuktian teorema

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

 Abstract

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.

 Digital Files: 1

Shelf
 S26942-Diah Kusumawati.pdf :: Download

LOGIN required

 Keyword

 Metadata

Collection Type : UI - Skripsi Membership
Call Number : S26942
Main entry-Personal name :
Additional entry-Personal name :
Additional entry-Corporate name :
Study Program :
Subject :
Publishing : Depok: Universitas Indonesia, 1988
Cataloguing Source LibUI ind rda
Content Type text
Media Type computer
Carrier Type online resource
Physical Description vii, 55 pages : illustration; 28 cm + appendix
Concise Text
Holding Institution Universitas Indonesia
Location Perpustakaan UI, Lantai 3
  • Availability
  • Review
  • Cover
Call Number Barcode Number Availability
S26942 14-19-878821252 TERSEDIA
Review:
No review available for this collection: 20180336
Cover
 See also