Inicio > > Ciencias de la computación > Inteligencia artificial > The Calculus of Computation
The Calculus of Computation

The Calculus of Computation

Aaron R. Bradley / Zohar Manna

47,40 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2009
Materia
Inteligencia artificial
ISBN:
9783540842002
47,40 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises develop the reader’s facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems.For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.

Artículos relacionados

  • Mastering IoT For Industrial Environments
    Shrey Sharma
    Powering Industrial Growth with IoT Innovations.Book DescriptionEmbark on a journey through the transformative landscape of IoT with this comprehensive guide, 'Mastering IoT For Industrial Environments'.From its inception in the Industrial Revolution to its pivotal role in Industry 4.0, each chapter provides a deep dive into essential concepts. It will explore IoT architecture,...
    Disponible

    46,96 €

  • The Machine Learning Solutions Architect Handbook - Second Edition
    David Ping
    Design, build, and secure scalable machine learning (ML) systems to solve real-world business problems with Python and AWSPurchase of the print or Kindle book includes a free PDF eBookKey FeaturesGo in-depth into the ML lifecycle, from ideation and data management to deployment and scalingApply risk management techniques in the ML lifecycle and design architectural patterns for...
    Disponible

    65,50 €

  • The FPGA Programming Handbook - Second Edition
    Frank Bruno / Guy Eschemann
    Develop solid FPGA programming skills in SystemVerilog and VHDL by crafting practical projects - VGA controller, microprocessor, calculator, keyboard - and amplify your know-how with insider industry knowledge, all in one handbook.Purchase of the print or Kindle book includes a free eBook in PDF formatKey Features:- Explore a wide range of FPGA applications, grasp their versati...
    Disponible

    71,47 €

  • Exploring Computer Hardware - 2024 Edition
    Kevin Wilson
    Unlock the mysteries of modern computing with Exploring Computer Hardware. This full color illustrated guide delves into the intricate world of computer components, peripherals, networks and the internet, offering a clear understanding for both beginners, students and tech enthusiasts.Key Features:Full-Color Illustrations and Photographs bring each component and concept to life...
    Disponible

    23,82 €

  • Internet of Things Programming Projects - Second Edition
    Colin Dow
    Unleash the potential of IoT by creating weather indicators, information displays, alarm systems, and a vision recognition-enabled robot carKey Features:- Get to grips with the Raspberry Pi ecosystem and its role in IoT development- Integrate cutting-edge technologies such as MQTT, LoRa, and ROS for advanced IoT applications- Achieve superior control in your robot car with visi...
    Disponible

    86,29 €

  • أساسيات الإدارة الإستراتجية
    رشيد بلعريف
    تكمن أهمية هذا الكتاب في كون موضوع الإدارة الإستراتيجية و الجودة الشاملة عملية مستمرة , فالموارد البشرية تستمد قيمتها مما تملكه من معارف ومهارات وقدرات وهذه الأخيرة تتغير باستمرار وفقا لاحتياجات العمل و احتياجات الفرد نفسه و لذا فان موضوع الإدارة الإستراتيجية ومدى فعاليتها في تحقيق الجودة الشاملة يحقق التطوير المستمر لإدارة الموارد البشرية . كما انه من المواضيع المهمة في وقتنا ...
    Disponible

    32,88 €

Otros libros del autor

  • The Calculus of Computation
    Aaron R. Bradley / Zohar Manna
    Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading. ...
    Disponible

    72,00 €

  • The Calculus of Computation
    Aaron R. Bradley / Zohar Manna
    Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercise...