ricerca
avanzata

A K Peters Ltd Books

Books editi da A K Peters Ltd con argomento Logic Symbolic And Mathematical

Games, Puzzles, and Computation

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...

disp. incerta
€ 63,80
Fundamentals of Mathematical Logic

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...

disp. incerta
€ 138,10
Mathematical Logic

Mathematical Logic

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...

disp. incerta
€ 54,20