Ditemukan 298 dokumen yang sesuai dengan query
Mundici, Daniele, author
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself...
Milan: Springer, 2012
e20420479
eBooks Universitas Indonesia Library
Probabilists and fuzzy enthusiasts tend to disagree about which philosophy is best and they rarely work together. As a result, textbooks usually suggest only one of these methods for problem solving, but not both. This book is an exception. The authors, investigators from both fields, have combined their talents to...
Philadelphia : Society for Industrial and Applied Mathematics, 2002
e20442889
eBooks Universitas Indonesia Library
Amsterdam: Elsevier, 2004
R 160 HAN
Buku Referensi Universitas Indonesia Library
Foresman, Galen A., author
Chichester: Wiley Blackwell, 2017
160 FOR c
Buku Teks Universitas Indonesia Library
Christianson, Deann
London: Brooks/Cole, , 1998
510 CHR m
Buku Teks Universitas Indonesia Library
Artikel Jurnal Universitas Indonesia Library
Benny Benyamin, author
ABSTRAK
Tesis ini membahas pengendali logika fuzzy yang digunakan untuk pengendalian proses pewarnaan benang sintetis. Model dinamika proses pewarnaan benang sintetis diturunkan berdasarkan laju penurunan berat bahan pewarna di dalam hopper dari feeder dan laju aliran bahan pewarna tersebut di dalam screw conveyor. Kemudian disimulasikan dengan bahasa Delphi versi 2.0 dari...
Depok: Fakultas Teknik Universitas Indonesia, 1997
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Surya Alimsyah, author
ABSTRAK
Pada tesis ini dibahas suatu MOSFET yang mendapat tambahan floating-Gate, dengan potensialnya dikendalikan oleh Gate-masukan jamak. Multiple-input floating-Gate MOSFET ini (disingkat uMOS), memberikan kemampuan fungsional yang tinggi berbasiskan karakteristik-dasar operasi penjumlahan level tegangan-gate yang mendapat pembobotan dan operasi threshold.
Menggunakan 6 buah C-uMOS serta sebuah C-MOS biasa, pada tesis ini telah...
Depok: Fakultas Teknik Universitas Indonesia, 1997
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Smarandache, Florentin, author
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks Universitas Indonesia Library
Haris Rachmat, author
Proses pengolahan teh hitam yang digunakan di PT. XYZ saat ini masih menggunakan teknologi lama yang semua pengendalian prosesnya dilakukan langsung secara manual oleh operator termasuk pada proses pelayuan dan penggilingan yang merupakan proses penentu terhadap mutu produk teh yang dihasilkan. Bisa dipastikan faktor human error akan sangat berpengaruh sekali...
Depok: Fakultas Teknik Universitas Indonesia, 2004
T14962
UI - Tesis (Membership) Universitas Indonesia Library