Ditemukan 484 dokumen yang sesuai dengan query
Leblanc, Hugues
Amsterdam: North-Holland , 1976
412 LEB t
Buku Teks Universitas Indonesia Library
Amsterdam: North-Holland Pub. Co, 1978
R 511.3 HAN
Buku Referensi Universitas Indonesia Library
Yan, Jun
New York: Prentice-Hall, 1994
511.313 YAN u
Buku Teks Universitas Indonesia Library
Lee, Jung-il, author
Imprint Paju: Korea Research Information, 2010
KOR 495.782 LEE n
Buku Teks Universitas Indonesia Library
Salmon, Merrilee H., author
Synopsis
PREFACE. 1. Introduction To Arguments. 2. Paying Special Attention To The Language Of Arguments. 3. Deductive Arguments, Inductive Arguments, And Fallacies. 4. A Closer Look At Inductive Arguments. 5. Casual Arguments. 6. Probabilities And Inductive Logic. 7. Confirmation Of Hypotheses. 8. Deductive Reasoning-Sentential Logic. 9. Categorical Syllogisms. 10. Quantifiers AND...
Australia: Wadsworth, 2013
160 SAL i (1)
Buku Teks Universitas Indonesia Library
Teichmann, Philip, author
[Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact...
Dordrecht, Netherlands: [Springer, ], 2012
e20397724
eBooks Universitas Indonesia Library
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
Alexander Artikis, editor
The festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.
...
Berlin: Springer, 2012
e20406456
eBooks Universitas Indonesia Library
Franciso Duran, editor
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and...
Berlin: Springer, 2012
e20407300
eBooks Universitas Indonesia Library
Ben-Ari, Mordechai, author
Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student...
London: Springer, 2012
e20407627
eBooks Universitas Indonesia Library
