Pocket • 2015 • Engelsk

The Little Prover

Name: The Little Prover
SKU: 9780262527958
Availability: OutOfStock
ISBN: 9780262527958

Av Daniel P. Friedman

0 vurderinger • 0.0 av 5

‌
‌

‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

Om boken

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presente...Vis mer

Om boken

ISBN

9780262527958

Forlag

MIT Press Ltd

Publiseringsår

2015

Språk

Engelsk

Originaltittel

The Little Prover

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Advances in Mathematics Education Research on Proof and Proving

We Reason & We Prove for ALL Mathematics

Fran Arbaugh

Starting Out with Programming Logic and Design

Tony Gaddis

A Cabinet of Philosophical Curiosities

Roy Sorensen

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

Tamara J. Lakins

Proving in the Elementary Mathematics Classroom

University of Cambridge) Stylianides Andreas J. (Reader in Mathematics Education Reader in Mathematics Education

Probability For the Enthusiastic Beginner

David J. Morin

Grokking Algorithms

Aditya Y. Bhargava

The logic manual

Volker Halbach

How to Solve It: A New Aspect of Mathematical Method

G. Polya

Mathematical Proofs: A Transition to Advanced Mathematichs

Chartrand Polimeni zhanh

Logic

Dan Cryan

Proof and Proving in Mathematics Education

Gila Hanna

Puzzles for proframmers and pros

Dennis E. Shasha

Prealgebra

Richard Rusczyk

The IDA Pro Book

Chris Eagle

Proof in Mathematics Education Research, Learning and Teaching

David A. Reid

Teaching and Learning Proof Across the Grades A K-16 Perspective

Despina A. Stylianou

Introduction to Reasoning and Proof Grades 6-8

Denisse Rubilee Thompson

Beginning Programming All-in-One Desk Reference For Dummies

Wallace Wang

Java Puzzlers

Joshua Bloch

Concepts, techniques and models of computer programming

Seif Haridi

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Deductive Logic

Warren Goldfarb

Concepts in Programming Languages

John Abercrombie

Discrete Mathematics

Norman L. Biggs

Logic and Philosophy

Paul Tidman

Problem Solving and Programming Concepts

Maureen Sprankle

Chapter Zero

Carol Schumacher

The Practice of Programming

Brian W. Kernighan

Schaum's outline of theory and problems of discrete mathematics

Lipschutz,Seymour

Mathematical fallacies and paradoxes

Bryan Bunch

Compiler Construction

Kenneth C. Louden

A cascade of numbers

R P Burn

Combinatorics Topics, Techniques, Algorithms

Peter Jephson Cameron

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

How to solve it

George Polya