Essential Logic For Computer Science Av Rex (Professor (Emeritus) University Of Oklahoma) Page, Ruben (University Of Wyoming) Gamboa

fra 629,-

Tilgjengelig i 2 butikker

Frakt og levering

Beskrivelse

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation. Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism

Forhåndsbestill

Frakt og levering

Beskrivelse

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation. Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book''s equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.

Produktinformasjon

Utforsk verden av logikk med Essential Logic For Computer Science

Studentene i datavitenskapen står overfor en utfordring: hvordan anvende logikk i reelle programmerings- og ingeniørscenarier. Essential Logic For Computer Science av Rex Page og Ruben Gamboa er her for å hjelpe deg med nettopp dette. Boken tilbyr en praktisk tilnærming til predikatlogikk, fokuserer på testing og verifikasjon av programvare samt digitale kretser fremfor ren teori.

Hovedtrekk ved Essential Logic For Computer Science

Praktisk tilnærming: Få en solid forståelse av hvordan logikk anvendes i programvaretesting og digital design.
Ingen forkunnskaper nødvendige: Boken krever kun videregående nivå i algebra, noe som gjør den ideell for både nybegynnere og erfarne studenter.
Omfattende øvingsoppgaver: Med 180 utfordrende oppgaver forsterkes læringen og problem-solving ferdigheter.
Formalisering i aksjon: Se mekanisert logikk i praktisk bruk med verktøy som Proof Pad, et lettvekts ACL2-miljø.
Tre formater: Boken introduserer tre formelle notasjoner - tradisjonelle algebraiske formler, digitale kretsdiagrammer og ACL2.

Bruksområder

Bruk Essential Logic For Computer Science som en del av undergraduate-kurs i datavitenskapens logikk eller som et supplement i matematiske kurs for datavitenskapsstudenter. Den er perfekt for de som ønsker å bygge en sterk grunnmur i logikk og anvendelse av den i moderne teknologi.

Konklusjon

Enten du er student eller en erfaren praktiker, vil Essential Logic For Computer Science av Page og Gamboa utstyre deg med de nødvendige verktøyene for å navigere kompleksiteten i programvaretesting og digital logikk. Ta steget mot en bedre forståelse av logikkens verden!

Topplisten: Other Brand Matematikk og naturfag

Se mer

Tabeller Og Formler I Statistikk Av Jan Terje Kvaløy, Håkon Tjelmeland

Tabeller og formler i statistikk er primært laget for bruk i grunnkurset i statistikk for siv.ing-utdanningen ved NTNU, men dekker også behovet i de første videregående statistikkurs.

99,-

Hva Er Biologi Av Dag O. Hessen

Forfatteren fører leseren fra de tidlige forsøkene på å kartlegge naturens mangfold, til evolusjonslæren, økologien, genetikken og bioteknologien. Vi møter biologer på feltstudium og i laboratoriet, utro mus og menn, knelere som spiser sine elskede, bananfluer på genetikklabben, altruistiske maur og motstandsdyktige bakterier...

130,-

De Hemmelige Partiklene Av Bjørn H. Samset

De hemmelige partiklene: hvordan verden er skrudd sammen. Fra de minste partikler til de største galakser, fra kvarker til sorte hull, fra dagliglivet og helt tilbake til Big Bang - dette er historien om naturens hemmelige partikler, og hvordan de former vår virkelighet. Denne inspirerende boken er skrevet på en lettfattelig...

200,-

Statistikk Av Morten Helbæk

Statistikk: kort og godt. Boken er ment å være en kortfattet innføring i statistikkfaget, og vil dekke pensum for de fleste grunnkurs innenfor emnet på høyskoler og universitet. De fleste tema som behandles illustreres med beregningseksempler, og hvert kapittel avsluttes med oppgaver og fullstendige løsninger. Med stikkordreg...

140,-

Innføring I Vitenskapsteori Og Metode Av Tor Grenness

Bokens hovedmålsetting er å tydeliggjøre sammenhengen mellom vitenskapsteoretisk posisjon og metodiske valg.Forskningsbasert kunnskap utgjør en økende del av kunnskapsbasen innenfor økonomisk-administrative fag generelt, og markedsføring og organisasjonsteori spesielt. Innsikt i vitenskapsteori og forskningsmetode er derfor e...

130,-

Sopp Av Anne Elisabeth Scheen

Boken er rikt illustrert med vakre og inspirerende bilder. Oppdatert i hht. normlisten 2024.Anne Elisabeth Scheen er soppsakkyndig og en av landets autoriserte soppkontrollører. Hun har vært styremedlem i Oslo og omland sopp- og nyttevekstforening, er flittig hobbykokk og en erfaren kursholder av både sopp- og matkurs. Hun er...

199,-

Hvem Kan Løse Klimakrisen? Av Jørgen M.B. Grønneberg

Hvorfor har vi et klimaproblem når mulighetsrommet for å unngå det er stort nok? - Boken gir svaret, eliminerer proppene og gir løsningene.

210,-

Å Gripe Fortida Av Astri Andresen, Sissel Rosland, Teemu Sakari Ryymin, Svein Atle Skålevåg

Innføring i historisk forståing og metode, revidert utgåve Kva for innsikt om fortida er det historikarane søkjer? Og korleis går dei fram for å nå denne innsikta og skape meiningsfulle framstillingar av det fortidige? Dette er to av problemstillingane som forfattarane tek opp i denne innføringsboka i historisk forståing og m...

199,-

Metodene Våre

Metodene våre: eksempler fra samfunnsvitenskapelig forskning. I denne boka forteller erfarne samfunnsvitenskapelige forskere om egne prosjekter. Et bredt sett av metoder og metodespørsmål er representert. Her er både kvalitative og kvantitative metoder, rettet både mot makro- og mikronivå. Boka belyser metodeutfordringer blan...

210,-

Teknologien Endrer Samfunnet Av Arne Krokan

Vi har de siste tiårene vært vitne til en omfattende utvikling av ny teknologi. Enkelte går så langt som å snakke om en ny industriell revolusjon. Vi står overfor teknologiendringer som er mer omfattende enn mange vi kjenner fra historien. Det er rimelig å anta at de vil få store konsekvenser for hvordan samfunn og arbeidsliv...

420,-

Spesifikasjon

Spesifikasjoner

Språk

Engelsk

Generelt

Sett	Nei
Typ	Papirbøker

Pris og prishistorikk

Akkurat nå er 629,- den billigste prisen for Essential Logic For Computer Science Av Rex (Professor (Emeritus) University Of Oklahoma) Page, Ruben (University Of Wyoming) Gamboa blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste matematikk og naturfag for å være sikker på at du gjør det beste kjøpet.

Prisutvikling:

Stabil

Laveste pris:

503,-

Gjennomsnittspris:

548,-

Høyeste pris:

629,-

Beste tilbudet:

norli.no

Tilgjengelig