Ditemukan 298 dokumen yang sesuai dengan query
Pace, Gordon J, author
New York: Springer, 2012
004.0151 PAC m;004.015 1 PAC m (2)
Buku Teks Universitas Indonesia Library
Müller, M.E., author
What is knowledge and how is it represented? This book focuses on the idea of formalising knowledge as relations, interpreting knowledge represented in databases or logic programs as relational data and discovering new knowledge by identifying hidden and defining new relations. After a brief introduction to representational issues, the author...
United States: Cambridge University Press, 2012
e20528266
eBooks Universitas Indonesia Library
Soraya, author
Kecamatan Babakan Madang merupakan salah satu kecamatan sering dilanda kekeringan. Kekeringan yang melanda kecamatan ini cenderung semakin parah apabila terjadi fenomena iklim yang menyebabkan bulan kering semakin panjang. Tujuan penelitian ini adalah untuk mengetahui kerentanan wilayah terhadap kekeringan yang ada di Kecamatan Babakan Madang. Penelitian ini menggunakan pendekatan metode logika...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2016
S65122
UI - Skripsi (Membership) Universitas Indonesia Library
Cavanagh, Joseph, author
London: CRC Press, 2008
621.395 CAV d
Buku Teks Universitas Indonesia Library
Syarif Jamaluddin, author
Skripsi ini membahas mengenai disain dan implementasi pengendali fuzzy pada sistem motor induksi menggunakan PLC Mitsubishi Q02HCPU, meliputi perancangan konfigurasi hardware sistem secara keseluruhan, pemrograman fuzzy logic menggunakan diagram ladder, serta perancangan sistem monitoring unjuk kerja fuzzy. Sistem ini memanfaatkan pulsa pembacaan rotary encoder yang terkopel pada pulley motor induksi...
Depok: Fakultas Teknik Universitas Indonesia, 2012
S1461
UI - Skripsi (Open) Universitas Indonesia Library
Kang, Sung-Mo (Steve), author
New York: MrGraw-Hill, 1996
621.395 KAN c
Buku Teks Universitas Indonesia Library
Mano, M. Morris, 1927-, author
Englewood Cliffs, NJ: Prentice-Hall, 1984
621.381 5 MAN d
Buku Teks Universitas Indonesia Library
Manna, Zohar, author
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and...
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks Universitas Indonesia Library
Hurley, Patrick J., 1883-1963, author
Singapore : Wadsworth and Cengage Learning, 2012
160 HUR c
Buku Teks Universitas Indonesia Library
Nanang Mulyono, author
Dalam kehidupan sehari-hari sistem pendingin dapat dijumpai dengan mudah, baik dalam skala kecil maupun skala besar diberbagai bidang. Asmar [1] telah memodelkan sistem pendingin dua-tingkat dengan dua buah temperatur beban dan menggunakan propylene sebagai fluida-kerja. Kinerja sistem pendingin berkaitan erat dengan tekanan dan volume fluida-kerja yang digunakan sehingga dengan mengaturnya...
Depok: Fakultas Teknik Universitas Indonesia, 2007
T23790
UI - Tesis (Membership) Universitas Indonesia Library
