Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 839 dokumen yang sesuai dengan query
cover
Makinson, David
"This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction, but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features : teaches finite math as a language for thinking, as much as knowledge and skills to be acquired, uses an intuitive approach with a focus on examples for all general concepts, brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction, balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives, includes highlight boxes that raise common queries and clear confusions, and provides numerous exercises, with selected solutions."
London: Springer, 2012
e20407539
eBooks  Universitas Indonesia Library
cover
Giannasi, Frank
London: Longman Group Limited, 1995
510 GIA m
Buku Teks SO  Universitas Indonesia Library
cover
Maier, David
Menlo Park: The Benjamin Cumming Pub., 1988
005.133 MAI c
Buku Teks SO  Universitas Indonesia Library
cover
Seiffertt, John
"A traditional Introduction to Digital Logic course can cover all of Chaps. 1, 2, 3,
and 4, selections from Chap. 5, and then all of Chaps. 6, 7, 8, 11, 12, 13, 14, and 17,
and maybe selections from Chap. 19. I happen to think Chaps. 15 and 18 are of vital
importance, and the case study presented in Chap. 20 really ties the whole book
together, but they are not included in every intro course. What this book adds that
others in the field leave out, through Chaps. 9, 10, and 16, is more depth for
applications in the computing domain. They can be incorporated in an intro course
geared towards computer engineers or computer scientists, and I have used this
material myself, but they can also benefit these students simply by being in the text
as breadth and a good reference for later use even if not directly included in the
course."
Switzerland: Springer International Publishing, 2017
e20528500
eBooks  Universitas Indonesia Library
cover
Klir, George J.
London: Prentice-Hall, 1995
001.624 04 KLI f
Buku Teks SO  Universitas Indonesia Library
cover
Devlin, Keith
London: Chapman & Hall, 1992
510 DEV s
Buku Teks SO  Universitas Indonesia Library
cover
JingTao Yao, editor
"This book constitutes the refereed proceedings of the 8th International Conference on Rough Sets and Current Trends in Computing, RSCTC, held in Chengdu, China, in August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012. The 55 revised full papers presented together with one keynote paper were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on rough sets and its applications, current trends in computing, decision-theoretic rough set model and applications, formal concept analysis and granular computing, mining complex data with granular computing, and data mining competition."
Berlin: [Springer-Verlag, ], 2012
e20410114
eBooks  Universitas Indonesia Library
cover
New York: McGraw-Hill, 1995
004 FUN
Buku Teks SO  Universitas Indonesia Library
cover
Bancroft, Gordon
London: McGraw-Hill , 1981
519.5 BAN m
Buku Teks SO  Universitas Indonesia Library
cover
Kamke, E.
New York: Dover, 1950
517.521 KAM t
Buku Teks SO  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>