Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 301 dokumen yang sesuai dengan query
cover
Lynch, Edward P.
New York: John Wiley & Sons, 1980
511.324 LYN a (1)
Buku Teks  Universitas Indonesia Library
cover
Yan, Jun
New York: Prentice-Hall, 1994
511.313 YAN u
Buku Teks  Universitas Indonesia Library
cover
Ciletti, Michael D., author
Boston : Prentice-Hall, 2011
621.395 CIL a
Buku Teks  Universitas Indonesia Library
cover
Shahid Rahman
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the...
Dordrecht, Netherlands: Springer, 2012
e20401121
eBooks  Universitas Indonesia Library
cover
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
cover
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
cover
Amsterdam: Elsevier, 2004
R 160 HAN
Buku Referensi  Universitas Indonesia Library
cover
Foresman, Galen A., author
Chichester: Wiley Blackwell, 2017
160 FOR c
Buku Teks  Universitas Indonesia Library
cover
Kurtz, David C., author
New York: McGraw-Hill , 1992
511.3 KUR f
Buku Teks  Universitas Indonesia Library
cover
Christianson, Deann
London: Brooks/Cole, , 1998
510 CHR m
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>