Logic In Computer Science(1st Edition)
Authors:
Hantao Zhang ,Jian Zhang
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 9819798159, 978-9819798155
Book publisher: Springer
Book Price $0 : Mathematical Logic Is An Important Basis For Mathematics, Computer Science And Artificial Intelligence Alike. This Book Provides A Comprehensive Introduction To Various Logics, Including Classical Propositional Logic And First-order Predicate Logic, As Well As Equational Logic, Temporal Logic, And Hoare Logic. In Addition, It Presents Proof Procedures For Classical Logics And Decision Procedures For Checking The Satisfiability Of Logical Formulas.The Book Assumes No Background In Logic. It Presents Logics As Practical Tools For Solving Various Problems In Artificial Intelligence And Formal Verification. Accordingly, It Is Well Suited For (junior And Senior) Undergraduate And Graduate Students Majoring In Computer Science Or Mathematics. Each Chapter Includes Roughly A Dozen Exercise Problems, So As To Help The Reader Understand The Concepts And Techniques Discussed.
Popular Among Students (18)
YAML Quick Start Including Data Processing And Generation With Python And PHP - 1st Edition
Mark B
ISBN: 1703404602, 978-1703404609
$0 $5.99
A Web Based Introduction To Programming Essential Algorithms Syntax And Control Structures Using PHP HTML And MariaDB MySQL - 5th Edition
Mike O'Kane
ISBN: 1531022103, 978-1531022105
$0 $14.62
1,531 ACT Practice Questions - 8th Edition
The Princeton Review
ISBN: 0593516605, 978-0593516607
$0 $8.90
Fundamentals Success NCLEX Style Q And A Review - 6th Edition
Barbara A. Vitale
ISBN: 1719646848, 978-1719646840
$0 $45.03
Financial Accounting Theory - 8th Edition
William R. Scott
ISBN: 013416668X, 978-0134166681
$0 $43.98
Higher CCEA GCSE Mathematics - 2nd Edition
Neill Hamilton
ISBN: 147188984X, 978-1471889844
$0 $51.48
Mathematical Logic In Computer Science Colloquia Mathematica Societatis Janos Bolyai 26 - 1st Edition
Domolki
ISBN: 0444854401, 9780444854407
$111.48 $159.25
Logic In Computer Science Modelling And Reasoning About Systems - 2nd Edition
Michael Huth
ISBN: 052154310X, 978-0521543101
$102.57 $146.53
Deontic Logic In Computer Science - 1st Edition
Alessio Lomuscio
ISBN: 3540221115, 3540259279, 9783540221111, 9783540259275
$0 $41.99
Linear Logic In Computer Science - 1st Edition
Thomas Ehrhard
ISBN: 0521608570, 978-0521608572
$0 $13.07
Introduction To Set Theory Revised And Expanded - 3rd Edition
Karel Hrbacek
ISBN: 0824779150, 1351990543, 9780824779153, 9781351990547
$83.13 $118.75
The Beauty Of Mathematics In Computer Science - 1st Edition
Jun Wu
ISBN: 1138049603, 978-1138049604
$62.83 $89.76
Estuary Restoration And Maintenance The National Estuary Program - 1st Edition
Michael J Kennish
ISBN: 0849307201, 978-0849307201
$56.69 $80.98
Introduction To Optoelectronic Sensors An - 1st Edition
Al Giancarlo C Righini Tajani Et
ISBN: 9812834125, 978-9812834126
$0 $19.40