0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Finite Model Theory and Its Applications (Hardcover, 2007 ed.): Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx,... Finite Model Theory and Its Applications (Hardcover, 2007 ed.)
Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, …
R2,705 Discovery Miles 27 050 Ships in 10 - 15 working days

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,"thebranchof mathematical logic which deals with the relation between a formal language and its interpretations". No wonder, then, that mathematical logic, and ?nite model theory in particular, should ?nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of ?nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti?cial intelligence, es- cially constraint databases and constraint satisfaction problems. The ?nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with ?nite model theory.

Systems That Learn - An Introduction to Learning Theory for Cognitive and Computer Scientists (Paperback, New Ed): Daniel N.... Systems That Learn - An Introduction to Learning Theory for Cognitive and Computer Scientists (Paperback, New Ed)
Daniel N. Osherson, Michael Stob, Scott Weinstein
R981 Discovery Miles 9 810 Ships in 10 - 15 working days

Systems That Learn presents a mathematical framework for the study of learning in a variety of domains. It provides the basic concepts and techniques of learning theory as well as a comprehensive account of what is currently known about a variety of learning paradigms.Daniel N. Osherson and Scott Weinstein are at MIT, and Michael Stob at Calvin College.

Finite Model Theory and Its Applications (Paperback, 2007 ed.): Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx,... Finite Model Theory and Its Applications (Paperback, 2007 ed.)
Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, …
R2,341 Discovery Miles 23 410 Out of stock

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,"thebranchof mathematical logic which deals with the relation between a formal language and its interpretations". No wonder, then, that mathematical logic, and ?nite model theory in particular, should ?nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of ?nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti?cial intelligence, es- cially constraint databases and constraint satisfaction problems. The ?nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with ?nite model theory.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Bear Memories - The Chicago-Green Bay…
Beth Gorr Hardcover R781 R686 Discovery Miles 6 860
Green Bay Packers - Legends in Green and…
William Povletich Hardcover R781 R686 Discovery Miles 6 860
Decorative art - Quick. Smart. Fast
Monique Day-Wilde, Angie Franke Paperback R95 R88 Discovery Miles 880
Arizona trees - Nature
Alice Daena Hickey Hardcover R1,584 Discovery Miles 15 840
Petr Izmailov: From Chess Champion of…
Nikolai Izmailov Hardcover R828 Discovery Miles 8 280
Color the World 3 - Complete Relaxation…
Creative Factory of Colors Hardcover R741 R657 Discovery Miles 6 570
Advances in Jet Substructure at the LHC…
Roman Kogler Hardcover R4,589 Discovery Miles 45 890
Index to International Public Opinion…
Elizabeth Hann Hastings, Philip K. Hastings Hardcover R2,322 Discovery Miles 23 220
Hidden History of Clemson Football
Will Vandervort Hardcover R747 Discovery Miles 7 470
Qualitative Inquiry and Research Design…
John W. Creswell, Cheryl N. Poth Paperback R2,692 Discovery Miles 26 920

 

Partners