Wyniki wyszukiwania:
wyszukanych pozycji: 5
 |
Automated Theorem Proving: Theory and Practice
ISBN: 9781461265191 / Angielski / Miękka / 2013 / 231 str. Termin realizacji zamówienia: 22 dni roboczych This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the...
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. Th...
|
cena:
548,06 |
 |
Kasparov Versus Deep Blue: Computer Chess Comes of Age
ISBN: 9781461274773 / Angielski / Miękka / 2011 / 322 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In February 1996, a chess-playing computer known as Deep Blue made history by defeating the reigning world chess champion, Gary Kasparov, in a game played under match conditions. Kasparov went on to win the six-game match 4-2 and at the end of the match announced that he believed that chess computing had come of age. This book provides an enthralling account of the match and of the story that lies behind it: the evolution of chess-playing computers and the development of Deep Blue. The story of chess-playing computers goes back a long way and the author provides a whistlestop tour of the...
In February 1996, a chess-playing computer known as Deep Blue made history by defeating the reigning world chess champion, Gary Kasparov, in a game pl...
|
cena:
134,05 |
 |
Beyond Deep Blue: Chess in the Stratosphere
ISBN: 9780857293404 / Angielski / Twarda / 2011 / 300 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. More than a decade has passed since IBM's Deep Blue computer stunned the world by defeating Garry Kasparov, the world chess champion at that time. Following Deep Blue's retirement, there has been a succession of better and better chess playing computers, or chess engines, and today there is little question that the world's best engines are stronger at the game than the world's best human players. Beyond Deep Blue: Chess in the Stratosphere tells the continuing story of the chess engine and its steady improvement from its victory over Garry Kasparov to ever-greater... More than a decade has passed since IBM's Deep Blue computer stunned the world by defeating Garry Kasparov, the world chess champion at that time. ... |
cena:
264,09 |
 |
Beyond Deep Blue: Chess in the Stratosphere
ISBN: 9781447160731 / Angielski / Miękka / 2014 / 287 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. More than a decade has passed since IBM s Deep Blue computer stunned the world by defeating Garry Kasparov, the world chess champion at that time. Following Deep Blue s retirement, there has been a succession of better and better chess playing computers, or chess engines, and today there is little question that the world s best engines are stronger at the game than the world s best human players. Beyond Deep Blue: Chess in the Stratosphere tells the continuing story of the chess engine and its steady improvement from its victory over Garry Kasparov to ever-greater... More than a decade has passed since IBM s Deep Blue computer stunned the world by defeating Garry Kasparov, the world chess champion at that time. ... |
cena:
190,94 |
 |
Automated Theorem Proving: Theory and Practice
ISBN: 9780387950754 / Angielski / Twarda / 2000 / 231 str. Termin realizacji zamówienia: 22 dni roboczych As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little -can now carry out parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be...
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform ...
|
cena:
683,51 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
