Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 1 dokumen yang sesuai dengan query
cover
Ricky Suryadharma
Eksperimen formalisasi dalam sistem HOL dengan studi kasus teori graph
" Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai ... "
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi Open  Universitas Indonesia Library