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...
Hanuman Chalisa Legacy Book - Endowment…
Sushma Hardcover R475 Discovery Miles 4 750
The Upanisads
F. Max Muller Hardcover R5,615 Discovery Miles 56 150
Man in Search of Immortality…
Swami Nikhilananda Hardcover R2,818 Discovery Miles 28 180
Certification and Security in E-Services…
Enrico Nardelli, Sabina Posadziejewski, … Hardcover R3,046 Discovery Miles 30 460
Workers Unite! - The International 150…
Marcello Musto Hardcover R3,388 Discovery Miles 33 880
Bhagavad Gita for Note-taking - Holy…
Sushma Hardcover R562 Discovery Miles 5 620
My Revision Notes: Pearson Edexcel GCSE…
Ian Fawcett, Andy Knight, … Paperback R502 Discovery Miles 5 020
How Social Movements Can Save Democracy…
Della Porta Paperback R601 Discovery Miles 6 010
The Illustrated Dictionary of Hindu…
Margaret Stutley Paperback R1,101 Discovery Miles 11 010
Democratic Transition and the Rise of…
Ioannis N. Grigoriadis Hardcover R2,008 Discovery Miles 20 080

 

Partners