Home    Business    Database    Graphic Design    Hardware    Internet    Microsoft    Web Development    Programming    Engineering    Magazine    Personality
Home>Study>IT Certification>
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Author: , Date: 2008-05-25, View: ,




This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.

Download:

http://depositfiles.com/files/5582232

Ebooks related to "Modal Logic (Cambridge Tracts in Theoretical Computer Science)" :
Leading IT Projects: The IT Manager's Guide
IT for Learning Enhancement
Innovative Lernsysteme: Kompetenzentwicklung mit Blended Learning und Social
Image Processing with LabVIEW and IMAQ Vision
Curves and Surfaces with Applications in CAGD (Curves & Surfaces)
Logic and Computer Design Fundamentals, Third Edition
Selected Readings on Global InformationTechnology: Contemporary Applications
Selected Readings on the Human Side of Information Technology
The Boundary Element Method with Programming: For Engineers and Scientists
Computer-Aided Materials Selection During Structural Design
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately. email: chenjian21@gmail.com