Ditemukan 20 dokumen yang sesuai dengan query
Ben-Ari, Mordecchai, 1948-
"
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 has learned from elementary systems.
The logical systems presented are propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification ...
"
London: Springer, 2012
e20407627
eBooks Universitas Indonesia Library
Ben-Ari, Mordecchai, 1948-
London: Springer-Verlag, 2012
511.3 BEN m
Buku Teks Universitas Indonesia Library
Van Hentenryck, Pascal
Cambridge, UK: MIT Press, 1989
006.3 VAN c
Buku Teks SO Universitas Indonesia Library
Luis Farinas del Cerro, editor
"
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence ...
"
Berlin: [, Springer-Verlag], 2012
e20409374
eBooks Universitas Indonesia Library
Luke Ong, editor
"
This book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics ...
"
Berlin: [, Springer-Verlag], 2012
e20410041
eBooks Universitas Indonesia Library
Righi, R., editor
"
Questo libro su H. Soubies-Camy, l´algèbre logique appliquée aux techniques binaires, I parte, lezioni. H. Soubies-Camy, L´algèbre logique appliquée aux techniques binaires, II parte, disegni. J. Piesch, switching algebra. J.P. Roth: Una teoria per la progettazione logica dei Meccanismi Automatici.
...
"
Berlin : Springer, 2011
e20410632
eBooks Universitas Indonesia Library
New York: Academic Press, 1971
629.891 LOG
Buku Teks Universitas Indonesia Library
Finkel, Alain, editor
"
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental ...
"
Berlin: [, Springer-Verlag], 2012
e20409295
eBooks Universitas Indonesia Library
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 ...
"
London: Springer, 2012
e20407539
eBooks Universitas Indonesia Library
Daniel Lassiter, editor
"
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. ...
"
Berlin : [Springer-Verlag, ], 2012
e20410419
eBooks Universitas Indonesia Library
