Logics for Computer Science

Lingua: inglese

Editore: Springer International Publishing Nov 2018, 2018

3319925903 / 9783319925905

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

Venditore con 5 stelle

Venditore AbeBooks dal 11 gennaio 2012

Rilegato

Condizione: Nuovo

EUR 128,39

EUR 23,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - it takes 3-4 days longer - Neuware -Providing an in-depth introduction to fundamentalclassical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Sciencecontains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework.While many logic books are available, they were written bylogicians for logicians, not for computer scientists. Theyusually choose one particular way of presenting the material and use a specialized language.Logics for Computer Science discussesGentzen as well as Hilbert formalizations,first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs.It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics.The theory ofcomputation is based on concepts defined by logicians andmathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology includeArtificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics andphilosophy courses, and some of the chapters are also useful for acourse in Artificial Intelligence. 548 pp. Englisch.…

Codice articolo 9783319925905

Titolo
Logics for Computer Science
Autore
Anita Wasilewska
Editore
Springer International Publishing Nov 2018
Anno di pubblicazione
2018
Condizione
Neu
Rilegatura
Buch
Lingua
inglese
ISBN 10
3319925903
ISBN 13
9783319925905
Peso dell'articolo
1216 grammi
Dimensioni
260x183x35 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 11 gennaio 2012

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 5 a 15 giorni lavorativiDa 5 a 15 giorni lavorativi
Primo articoloEUR 23,00EUR 23,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • PayPal

Informazioni sull’azienda del venditore

BuchWeltWeit Ludwig Meier e.K.

Germania

BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland

Tel.: +49(0)22028659300
Fax: +49(0)22028659301
E-Mail: info@buchweltweit.de

Registergericht: Amtsgericht Köln
Registernummer: HRA 28253

Umsatzsteuer-Identifikationsnummer: DE815259907

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.