Logics for Computer Science (Google eBook)

Front Cover
PHI Learning Pvt. Ltd., Aug 1, 2004 - Computer logic - 369 pages
0 Reviews
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

First Order Logic
51
Resolution
115
Proofs in PL and FL
152
Program Verification
233
Modal Logics
280
Some Other Logics
336
References
357
Copyright

Common terms and phrases

Popular passages

Page 22 - A 2), (A4) x A (x V y) = x, x V (x A y) = x, (A5) (xA(->x)) Vy = y, (x V (-.x)) A y = y.
Page 9 - The length of an expression is the number of occurrences of symbols in it.] What are the results of your work with Exercise 1.2?

Bibliographic information