Ditemukan 4812 dokumen yang sesuai dengan query
Mundici, Daniele
"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 with many basic ideas and artifacts of mathematical logic, a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. "
Milan: Springer, 2012
e20420479
eBooks Universitas Indonesia Library
Gemignani, Michael C.
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks SO Universitas Indonesia Library
Gerstein, Larry J., authir
"This book introduces an array of fundamental mathematical structures. It also explores the delicate balance of intuition and rigor—and the flexible thinking—required to prove a nontrivial result. In short, this book seeks to enhance the mathematical maturity of the reader. The new material in this second edition includes a section on graph theory, several new sections on number theory (including primitive roots, with an application to card-shuffling), and a brief introduction to the complex numbers (including a section on the arithmetic of the Gaussian integers). "
New York: [Springer, ], 2012
e20419677
eBooks Universitas Indonesia Library
Carnap, Rudolf
New York: Dover Publications, 1958
511.3 CAR i
Buku Teks Universitas Indonesia Library
Rosen, Kenneth H.
New York : McGraw-Hill Medica, 2013
511 ROS d
Buku Teks Universitas Indonesia Library
Bergmann, Merrie
New York: McGraw-Hill Publishing Company, 1990
160 BER l
Buku Teks SO Universitas Indonesia Library
Kurtz, David C.
New York: McGraw-Hill, 1992
511.3 KUR f
Buku Teks SO Universitas Indonesia Library
Copi, Irving M.
New Jersey: Prentice-Hall, 1979
511.3 COP s
Buku Teks SO Universitas Indonesia Library
Smarandache, Florentin
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks SO Universitas Indonesia Library
Standley, Gerald B.
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks SO Universitas Indonesia Library