• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    People, Problems, and Proofs

    Essays from Gödel's Lost Letter: 2010

    AvRichard J. Lipton,Kenneth W. Regan

    Inbunden, Engelska, 2013

    487 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Fler format och utgåvor

    Häftad

    487 kr

    Beskrivning

    People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? And, finally, behind these questions are the people who are excited about these fundamental issues in our computational world. In this book the authors draw on their outstanding research and teaching experience to showcase some key people and ideas in the domain of theoretical computer science, particularly in computational complexity and algorithms, and related mathematical topics. They show evidence of the considerable scholarship that supports this young field, and they balance an impressive breadth of topics with the depth necessary to reveal the power and the relevance of the work described. Beyond this, the authors discuss the sustained effort of their community, revealing much about the culture of their field. A career in theoretical computer science at the top level is a vocation: the work is hard, and in addition to the obvious requirements such as intellect and training, the vignettes in this book demonstrate the importance of human factors such as personality, instinct, creativity, ambition, tenacity, and luck.The authors' style is characterized by personal observations, enthusiasm, and humor, and this book will be a source of inspiration and guidance for graduate students and researchers engaged with or planning careers in theoretical computer science.

    Produktinformation

    • Utgivningsdatum:2013-12-27
    • Mått:155 x 235 x 24 mm
    • Vikt:666 g
    • Format:Inbunden
    • Språk:Engelska
    • Antal sidor:333
    • Upplaga:2013
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783642414213

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Matematikens historia inom Naturvetenskap och teknik

    Mer om författaren

    Richard Lipton is the Storey Professor of Computer Science at Georgia Institute of Technology; previously he held faculty positions at Yale University, the University of California at Berkeley, and Princeton University. His research is focused primarily on the theory of computation, where he has made seminal contributions. He is a member of the National Academy of Engineering, an ACM Fellow, and a Guggenheim Fellow. Kenneth Regan is a professor of computer science at The State University of New York at Buffalo. His research interests include computational complexity. He is an international chess master and an expert on investigating cheating in chess.

    Recensioner i media

    "The book has 63 chapters, each one ... representing an edited version of a post in GLL. ... this book will appeal to readers seeking an insider view on how creative mathematical ideas emerge. And it will also appeal to experts for its insightful ruminations on current scientific and cultural problems in theoretical computer science." (Marius Zimand, Mathematical Reviews, June, 2015) "This book is one of those inspiring books that almost every computer scientist should read. Moreover, it is also very well suited to a wider audience, including those curious about the field and newcomers. Its authors, Lipton and Regan, did a wonderful job introducing and analyzing important problems in complexity theory with an easy-to-read text. ... It is therefore an invaluable source of inspiration and study." (Carlos Linares Lopez, Computing Reviews, August, 2014)

    Innehållsförteckning

    • The Claimant, the Readers, and the Crowd.- Kenneth Iverson: Notation and Thinking.- Edmund Hillary: Proofs and Mountain Climbing.- Leonardo da Vinci: Proofs as Art.- Michael Atiyah: The Role of Proof.- Subhash Khot: Unique Games Conjecture.- Arno van den Essen: An Amazing Conjecture.- Richard Hamilton: Group Efforts.- Grigori Perelman: A New Clay Problem.- Eric Allender: Solvable Groups.- Enrico Bombieri: On Intuition.- Fred Hennie: Lower Bounds.- Volker Strassen: Amazing Results.- Adam Smith: Dumb Channels.- Georg Cantor: Diagonal Method.- Raymond Smullyan: The Reals Are Uncountable.- William Tutte: Flow Problems.- Basil Rathbone: Writing a Major Result.- Elwyn Berlekamp: Dots And Boxes.- David Johnson: Galactic Algorithms.- Warren Hirsch: Guessing The Truth.- Shimon Even: A Promise Problem.- Matei David: Improving Noam Nisan’s Generator.- Ryan Williams: A New Lower Bound.- Joel Seiferas: More on the New Lower Bound.- Victor Klee: Big Results.- George Dantzig: Equations, Equations, and Equations.- Srinivasa Ramanujan: The Role of Amateurs.- John Rhodes: Approaches to Problems.- John Nash: Connections.- Chee Yap: Computing Digits of π.- Henri Lebesgue: Projections Are Tricky.- Nina Balcan: A New Model of Complexity.- Sam Buss: Bounded Logic.- Anton Klyachko: Car Crashes.- Bernard Chazelle: Natural Algorithms.- Thomas Jech: The Axiom of Choice.- Alfonso Bedoya: Definitions, Definitions, and Definitions.- Hartley Rogers: Complexity Classes.- Ron Fagin: Second Order Logic.- Daniel Lokshtanov: Knapsack Problem.- Albert Einstein: Beyond Polynomial Equations.- Denis Thérien: Solvable Groups.- Andreas Björklund: Hamiltonian Cycles.- David Hilbert: The Nullstellensatz.- John Hopcroft: Thinking out of the Box.- Dick Karp: The Polynomial Hierarchy.- Nick Howgrave-Graham and Antoine Joux: Attacking the Knapsack Problem.- Hedy Lamarr: The Role of Amateurs.- Nicolas Courtois: The Linearization Method.- Neal Koblitz: Attacks on Crypto-systems.- Richard Feynman: Miracle Numbers.- Patrick Fischer: Programming Turing Machines.- Roger Apéry: Explaining Proofs.- Ron Rivest: Mathematical Gifts.- Frank Ryan: The Quarterback Teaches.- Leonard Schulman: Associativity.- Paul Seymour: Graph Minors.- Alfred Tarski: Lower Bounds on Theories.- Ken Thompson: Playing Chess.- Virginia Vassilevska: Fixing Tournaments.- Arkadev Chattopadhyay: Computing Modulo Composites.- Charles Bennett: Quantum Protocols.
    Hoppa över listan

    Mer från samma författare

    Richard J. Lipton, Kenneth W. Regan - Introduction to Quantum Algorithms via Linear Algebra, Inbunden

    Introduction to Quantum Algorithms via Linear Algebra

    Richard J. Lipton, Kenneth W. Regan

    Inbunden, 2021

    558 kr

    Kenneth W. Regan, Richard J. Lipton - Introduction to Quantum Algorithms via Linear Algebra, second edition, E-bok

    Introduction to Quantum Algorithms via Linear Algebra, second edition

    Kenneth W. Regan, Richard J. Lipton

    E-bok
    2021

    545 kr

    Richard J. Lipton, Eric B. Baum - DNA Based Computers, Häftad

    DNA Based Computers

    Richard J. Lipton, Eric B. Baum

    Häftad, 1996

    835 kr

    Richard J. Lipton - P=NP Question and Gödel’s Lost Letter, Inbunden

    P=NP Question and Gödel’s Lost Letter

    Richard J. Lipton

    Inbunden, 2010

    1 075 kr

    Richard J. Lipton - P=NP Question and Godel's Lost Letter, E-bok

    P=NP Question and Godel's Lost Letter

    Richard J. Lipton

    E-bok
    2010

    1 413 kr

    Richard J. Lipton - P=NP Question and Gödel’s Lost Letter, Häftad

    P=NP Question and Gödel’s Lost Letter

    Richard J. Lipton

    Häftad, 2014

    1 075 kr

    Kenneth W. Regan, Richard J. Lipton - People, Problems, and Proofs, E-bok

    People, Problems, and Proofs

    Kenneth W. Regan, Richard J. Lipton

    E-bok
    2013

    631 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Richard J. Lipton, Kenneth W. Regan - People, Problems, and Proofs, Häftad

    People, Problems, and Proofs

    Richard J. Lipton, Kenneth W. Regan

    Häftad, 2016

    487 kr

    Kenneth W. Regan, Richard J. Lipton - Introduction to Quantum Algorithms via Linear Algebra, second edition, E-bok

    Introduction to Quantum Algorithms via Linear Algebra, second edition

    Kenneth W. Regan, Richard J. Lipton

    E-bok
    2021

    545 kr

    Richard J. Lipton, Kenneth W. Regan - Introduction to Quantum Algorithms via Linear Algebra, Inbunden

    Introduction to Quantum Algorithms via Linear Algebra

    Richard J. Lipton, Kenneth W. Regan

    Inbunden, 2021

    558 kr

    Kenneth W. Regan, Richard J. Lipton - People, Problems, and Proofs, E-bok

    People, Problems, and Proofs

    Kenneth W. Regan, Richard J. Lipton

    E-bok
    2013

    631 kr

    Richard J. Lipton, Eric B. Baum - DNA Based Computers, Häftad

    DNA Based Computers

    Richard J. Lipton, Eric B. Baum

    Häftad, 1996

    835 kr

    Richard J. Lipton - P=NP Question and Gödel’s Lost Letter, Inbunden

    P=NP Question and Gödel’s Lost Letter

    Richard J. Lipton

    Inbunden, 2010

    1 075 kr

    Richard J. Lipton - P=NP Question and Godel's Lost Letter, E-bok

    P=NP Question and Godel's Lost Letter

    Richard J. Lipton

    E-bok
    2010

    1 413 kr

    Richard J. Lipton - P=NP Question and Gödel’s Lost Letter, Häftad

    P=NP Question and Gödel’s Lost Letter

    Richard J. Lipton

    Häftad, 2014

    1 075 kr

    Klara Ingemyr - SIGNERAD - Klaras husman, Kartonnage
    • Signerad!

    SIGNERAD - Klaras husman

    Klara Ingemyr

    Kartonnage, 2026

    269 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr