Bokus

Dana Richards – författare

Visar alla böcker från författaren Dana Richards. Handla med fri frakt och snabb leverans.

7 produkter

  1. Dana Richards - Martin Gardner Bibliography, Häftad. Tillgänglighet: Lägg i varukorg

    Martin Gardner Bibliography

    Av Dana Richards

    Häftad, 2023

    326 kr

    Lägg i varukorg

    The first comprehensive bibliography of the publications of polymath Martin Gardner.Martin Gardner (1914–2010) was a polymath whose international reputation extended from mathematics to literature, philosophy to science, and magic to fiction. This comprehensive bibliography covers every aspect of …

  2. Martin Gardner, Dana Richards - Colossal Book of Short Puzzles and Problems, Inbunden. Tillgänglighet: Lägg i varukorg

    Colossal Book of Short Puzzles and Problems

    Av Martin Gardner, Dana Richards

    Inbunden, 2005

    379 kr

    Lägg i varukorg

    For more than twenty-five years, Martin Gardner was Scientific American's renowned provocateur of popular math. His yearly gatherings of short and inventive problems were easily his most anticipated math columns. Loyal readers would savor the wit and elegance of his explorations in physics, …

  3. Dana Richards, Henry Hamburger - LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (FOURTH EDITION), Inbunden. Tillgänglighet: Lägg i varukorg

    LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (FOURTH EDITION)

    Av Dana Richards, Henry Hamburger

    Inbunden, 2023

    1693 kr

    Lägg i varukorg

    This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard …

  4. Richards Dana, Dana Richards - DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM, Inbunden. Tillgänglighet: Lägg i varukorg

    DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM

    GARDNER AND TRUZZI ON SKEPTICISM

    Av Richards Dana, Dana Richards

    Inbunden, 2017

    1204 kr

    Lägg i varukorg

    In 1952, Martin Gardner wrote the book Fads and Fallacies in the Name of Science, which has become a modern classic of the skeptical movement. He is best known as the Father of Recreational Mathematics, but was also a frank critic of pseudoscientists and a contributor to the Skeptical Inquirer …

  5. Richards Dana, Dana Richards - DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM, Häftad. Tillgänglighet: Lägg i varukorg

    DEAR MARTIN / DEAR MARCELLO: GARDNER AND TRUZZI ON SKEPTICISM

    GARDNER AND TRUZZI ON SKEPTICISM

    Av Richards Dana, Dana Richards

    Häftad, 2017

    667 kr

    Lägg i varukorg

    In 1952, Martin Gardner wrote the book Fads and Fallacies in the Name of Science, which has become a modern classic of the skeptical movement. He is best known as the Father of Recreational Mathematics, but was also a frank critic of pseudoscientists and a contributor to the Skeptical Inquirer …

  6. Dana Richards, Henry Hamburger - LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION), Inbunden. Tillgänglighet: Lägg i varukorg

    LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)

    Av Dana Richards, Henry Hamburger

    Inbunden, 2017

    1458 kr

    Lägg i varukorg

    This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:it …

  7. Dana Richards, Henry Hamburger - LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION), Häftad. Tillgänglighet: Lägg i varukorg

    LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (THIRD EDITION)

    Av Dana Richards, Henry Hamburger

    Häftad, 2017

    853 kr

    Lägg i varukorg

    This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:it …