Hasil Pencarian

Ditemukan 150 dokumen yang sesuai dengan query

Ricky Suryadharma, author

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...

Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009

S-Pdf

UI - Skripsi (Open) Universitas Indonesia Library

Bong Novi Herawati, author

Modeling multiple sequence alignment problems using graph theory approach = Telaah kritis berdasarkan Al Quran, As Sunnah, dan realitas empirik terhadap hukum bungan bank dalam wacana fikih komputer

Depok: Universitas Indonesia, 2008

S27766

UI - Skripsi (Open) Universitas Indonesia Library

Andrea Parestu, author

Pelabelan total (a,d)-simpul anti ajaib untuk gabungan tak-isomorfik graf matahari dan gabungan tak-isomorfik graf petesen diperumum

Pelabelan dari suatu graf adalah suatu pemetaan bijektif dari gabungan himpunan simpul dan himpunan busur ke himpunan bilangan asli. Pelabelan yang dibahas pada skripsi ini adalah pemetaan bijektif dari gabungan himpunan simpul dan himpunan busur ke himpunan bilangan asli berurutan yang dimulai dari 1. Pada pelabelan didefinisikan jumlah dari label...

Depok: Universitas Indonesia, 2008

S27707

UI - Skripsi (Open) Universitas Indonesia Library

Hsu, Lih-Hsing, author

Graph theory and interconnection networks

Boca Raton: CRC Press, Taylor & Francis Group, 2009

511.5 HSU g