Nonfiction | Computer & Technology
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
2020-05-30 07:31:41
image1
COMPARE PRICE
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove ... Read more
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi­ cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec­ ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of failed proof attempts and subsequent error corrections. Different interactive theorem provers may actually look quite different: They may support different logics (first-or higher-order, logics of programs, type theory etc.), may be generic or special-purpose tools, or may be tar­ geted to different applications. Nevertheless, they share common concepts and paradigms (e.g. architectural design, tactics, tactical reasoning etc.). The aim of this chapter is to describe the common concepts, design principles, and basic requirements of interactive theorem provers, and to explore the band­ width of variations. Having a 'person in the loop', strongly influences the design of the proof tool: proofs must remain comprehensible, - proof rules must be high-level and human-oriented, - persistent proof presentation and visualization becomes very important. Less
  • ISBN
  • 9789401704373
autor-image
Anonymous
Author
-...
Compare Prices
image
Buy USD 58.49
image
Buy GBP 318.75
image
Buy CAD 239.0
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Practical Monitoring:
image1
Topics at the Frontier of Statistics and Network Analysis:
image1
CompTIA Network+ Study Guide:
image1
Network Programmability and Automation:
image1
Type Theory and Formal Proof:
image1
Expanding and Networking Microcomputers:
image1
Make:
image1
Python Programming for Arduino:
image1
LPIC-1:
image1
Microsoft SharePoint 2013 Step by Step:
image1
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:
image1
The Seismic Analysis Code:
image1
Moodle Gradebook:
image1
Windows 10 Bible:
image1
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:
image1
Privacy and Legal Issues in Cloud Computing:
image1
CISM Certified Information Security Manager All-in-One Exam Guide:
image1
Windows Server 2012 R2 Pocket Consultant Volume 2:
image1
Rapid Prototyping Software for Avionics Systems:
image1
The Digital Filmmaking Handbook:
image1
Drones For Dummies:
image1
Abstract Methods in Information Theory:
image1
MCSA SQL 2016 BI Development Exam Ref 2-pack:
image1
Complex Analysis with MATHEMATICA®:
image1
Troubleshooting Cisco Nexus Switches and NX-OS:

Stay in touch.

© 2024 AMPLE READS