The Little Prover Av Daniel P. (Professor Indiana University) Friedman, Carl Eastlund

The Little Prover Av Daniel P. (Professor Indiana University) Friedman, Carl Eastlund

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of......
fra 489,-
Tilgjengelig i 2 butikker
Frakt og levering
Beskrivelse
<b>An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.</b><p><i>The Little Prover</i> 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 <i>The Little Schemer </i>(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. <i>The Little Prover </i>assumes only knowledge of recursive programs and lists (as presented in the first three chapters of <i>The Little Schemer</i>) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.</p>
Forhåndsbestill
Frakt og levering
Beskrivelse
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.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 presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.

Produktinformasjon

Oppdag mesterverket: The Little Prover Av Daniel P. Friedman, Carl Eastlund

The Little Prover er en uunnværlig ressurs for alle som ønsker å dykke ned i emnet om bevisføring innen dataprogrammering. Med sitt tilgjengelige spørsmåls- og svarformat, kombinert med trinnvise eksempler, gir denne boken deg et klart og underholdende perspektiv på hvordan man skriver induktive bevis. Hva om du kunne lære bevisføring på en måte som ikke virket som en chore? Med The Little Prover er det nettopp det du får!

En læringsopplevelse som engasjerer

Boken er utviklet for både nybegynnere og de med noen erfaring innen programmering. Den forutsetter bare kjennskap til rekursive programmer og lister, som er dekket i de første kapitlene av The Little Schemer. Du vil bli guidet gjennom enkle og forståelige forklaringer, med humor og kreativitet som gjør læringen både moro og lærerik.

  • Format: Spørsmål-og-svar stil som oppfordrer til aktiv deltakelse
  • Eksempler: Trinnvise tilnærminger som gjør komplekse konsepter overkommelige
  • Verktøy: En enkel bevisassistent følger med, for å hjelpe deg gjennom oppgavene
  • Målgruppe: Både nybegynnere og viderekomne programmerere

Hvorfor velge The Little Prover?

Midt i en verden hvor programmering blir stadig viktigere, er det avgjørende å forstå den matematiske siden av datavitenskap. Ved å lese The Little Prover Av Daniel P. Friedman, Carl Eastlund, gir du deg selv et solid fundament innen bevisføring som er essensielt for å mestre programmering. Bli med på reisen og oppdag hvordan induktive bevis kan åpne nye dører i forståelsen av dataprogrammer!

Spesifikasjon

Spesifikasjoner
SpråkEngelsk
FormatPocket
Generelt
Sett
Nei
TypPapirbøker

Pris og prishistorikk

Akkurat nå er 489,- den billigste prisen for The Little Prover Av Daniel P. (Professor Indiana University) Friedman, Carl Eastlund blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.

Prisutvikling:
Fallende
Laveste pris:
391,-
Gjennomsnittspris:
440,-
Høyeste pris:
565,-
Beste tilbudet:
norli.no
Tilgjengelig