A K Peters Ltd Books
Books editi da A K Peters Ltd con argomento Logic Symbolic And Mathematical
Games, Puzzles, and Computation
Hearn Robert A.
Demaine Erik D.
edizioni A K Peters Ltd collana A K Peters Ltd (Hardcover) , 2009
Many people use mathematics to win at games. Hearn, who is currently working on artificial intelligence at Dartmouth, and Demaine (electrical engineering and computer science, MIT) are studying games to develop another form of computation that they call "constraint logic". By using this they are able to classify games...
Fundamentals of Mathematical Logic
Hinman Peter G.
edizioni A K Peters Ltd collana A K Peters Ltd (Hardcover) , 2005
Building on the foundation set by Schoenfield, Hinman (mathematics, U. of Michigan) covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's incompleteness theorems, leading to introductions to set theory, model theory and recursion (computability) theory. Written for graduate...
Shoenfield Joseph R.
edizioni A K Peters Ltd collana A K Peters Ltd (Paperback) , 2000
A textbook for a one-year graduate course for students familiar with the simplest properties of natural numbers, real numbers, and sets and a slight acquaintance with modern algebra, though some of the problems require more advanced learning. Shoenfield (deceased; formely affiliated with Duke U.) focuses on the central...