Springer Nature Switzerland AG
Fundamentals of Logic and Computation (häftad, eng)
789 kr
789 kr
Tidigare lägsta pris:
799 kr
Ons, 30 okt - tor, 31 okt
Säker betalning
Nöjd kund-löfte
30 dagars öppet köp
Produktbeskrivning
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checkerI also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity.
The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master''s course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering in formal methods.
Format Häftad Omfång 222 sidor Språk Engelska Förlag Springer Nature Switzerland AG Utgivningsdatum 2022-12-05 ISBN 9783030878849
Vikt, gram
500
Artikel.nr.
9327111b-f3f3-482d-a65b-559bda39b7a2
Fyndiq har inget eget lager utan arbetar med enskilda butiker som lagerhåller produkter i och utanför Sverige, Europeiska unionen (EU) och Europeiska ekonomiska samarbetsområdet (EES).
Din beställning skickas från respektive butiks egna lager inom 24 timmar (helgfri måndag till fredag) från det att Fyndiq har bekräftat köpet med en beställningsbekräftelse till dig.
Produkterna levereras till dig inom 1-21 arbetsdagar, beroende på produkt, antingen direkt i din brevlåda eller till ditt närmsta ombud. Om du beställt produkter från olika butiker så skickas de i separata paket.
Beräknat leveransdatum ser du alltid på produktkortet och i din beställningsbekräftelse.
Snabbare leverans
Snabbare leverans, uppges på produkter vars beräknad leveranstid är mellan 1-3 arbetsdagar
Längre leveranstid
Längre leveranstid, uppges på produkter vars beräknad leveranstid är mer än 13 arbetsdagar
Fraktkostnad
Frakten kostar endast 29 kr! Det tillkommer inga ytterligare frakt- eller leveranskostnader efter köpet.
Springer Nature Switzerland AG
Fundamentals of Logic and Computation (häftad, eng)
789 kr
789 kr
Tidigare lägsta pris:
799 kr
Ons, 30 okt - tor, 31 okt
Säker betalning
Nöjd kund-löfte
30 dagars öppet köp
Toppsäljare i kategorin
snabbladdare för iphone11/12/13/14 med kabel vägladdare med 2 m kabel
69 kr
Tidigare lägsta pris:
79 kr
3-Pack - iPhone 13/13 Pro - Härdat Glas Skärmskydd Transparent iPhone 13/13 Pro
49 kr
2-pack - Laddare för iPhone - Snabbladdare - Adapter + Kabel 20W Vit 2-pack iPhone
165 kr
3st Härdat glas iPhone 12 / 12 PRO - Skärmskydd Transparent
45 kr
Sällskapsspel Magnetiskt schackspel Magnetiskt brädspel Roligt magnetiskt bordsspel Pusselstrategispel Julklapp för barn
99 kr
Alien uppblåsbar kostym för Halloween Cosplay Cosplay
297 kr
Julkalender för fiske 2024 - Set med fiskedrag, fiskeutrustning för vuxna män pojkar, fisketillbehör (24 st)
240 kr
Lugnande Koalabjörn, Sovande Otter, Ångestlindrande Koala, Andningsotter, Bärbar Plyschleksak med Musik, Ljus och Rytmisk Andningsrörelse
165 kr
3-pack rakblad kompatibel med Philips Oneblade Replacement
139 kr
3st Härdat glas iPhone 11 Skärmskydd Transparent
39 kr