Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 141 dokumen yang sesuai dengan query
cover
Ricky Suryadharma, author
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
cover
cover
Andrea Parestu, author
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
cover
Hsu, Lih-Hsing, author
Boca Raton: CRC Press, Taylor & Francis Group, 2009
511.5 HSU g
Buku Teks  Universitas Indonesia Library
cover
Bollobas, Bela, author
London: Academic Press, 1978
511.5 BOL e (1)
Buku Teks  Universitas Indonesia Library
cover
Harary, Frank
Massachusetts: Addison-Wesley , 1994
511.5 HAR g
Buku Teks  Universitas Indonesia Library
cover
London: Academic Press, 1983
511.5 SEL
Buku Teks  Universitas Indonesia Library
cover
Ore, Oystein
New York: Academic Press, 1967
511.5 ORE f (1)
Buku Teks  Universitas Indonesia Library
cover
Gould, Ronald, author
Reading, Mass.: The Benjamin Cumming , 1988
511.5 GOU g
Buku Teks  Universitas Indonesia Library
cover
Gumala Nadjir, author
Dalam tuga6 akhir mi akan diberikan suatu cara mencari solusi sistem persamaan linier AX=B dimana A adalah matriks non singulir dengan rnenggunakan Coates graf Akan dibahas Pula tentang penyederhanaan Coates graf Proses penyederhanaan yang dipakal adalah: 1. Eliminasi verteks dan 2. Dekoinposisi Sebagai hasil sampingan juga akan diberikan cara menghitung determinan dan kofaktor...
Depok: Universitas Indonesia, 1988
S-Pdf
UI - Skripsi (Membership)  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>