My account  |  My order  |  Login   |  Register  |  View Cart (0)
Advanced search
Browse for Books
Botany
Botany: GeneralPteridophytes
FlowersMedicinal Plant
PhycologyMycology
view all 
Zoology
EntomologyInvertebrates
MolluscaOrnithology
MammalsHerpetology
view all 
Earth Science
GlaciologyGeology
ClimatologyRemote Sensing
HazardsDesert
view all 
Paleontology
GeneralVertebrate
Micropaleontolo Paleobotany
InvertebrateStratigraphy
view all 
Biology & Ecology
BiodiversityMarine Biology
BiotechnologyEnvironment
MicrobiologyBiomedicine
view all 
Sciences
Science: GeneralMathematics
ChemistryMechanics
GeographyAerospace
view all 
Technology
AgricultureForestry
Civil Engineeri Energy
MetallurgyTransportation
view all 
Social Sciences
Culture and ArtHistory
PoliticsLanguage
StatisticsEconomics
view all 
Browse History
Introduction to Mathematical Logic and Resolution Principle– Mathematics Monograph Series 13
Larger Image
Price: US$ 39.00
Introduction to Mathematical Logic and Resolution Principle– Mathematics Monograph Series 13
数理逻辑引论与归结原理(英文版)
Language:  English
Author:  Guojun Wang
Pub. Date:  2009-01 Weight:   kg ISBN:  7030228994
Format:  Hardcover Pages:  345 pp.
Subject:  Sciences > Mathematics
Series:  Mathematics Monograph Series Size:  175*245mm
                    Add Favourite
 
  • Description
  • Contents
  • Details
  • Review
  • The author

Introduction to Mathematical Logic Resolution Principle, Second Edition, in nine chapters, discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principle theory and the latest theory of multivalue logic.
CONTENTS
Chapter 1 Preliminaries
  1.1 Partially ordered sets
  1.2 Lattices
  1.3 Boolean algebras
Chapter 2 Propositional Calculus
  2.1 Propositions and their symbolization
  2.2 Semantics of propositional calculus
  2.3 Syntax of propositional calculus
Chapter 3 Semantics of First Order Predicate Calculus
  3.1 First order languages
  3.2 Interpretations and logically valid formulas
  3.3 Logical equivalences
Chapter 4 Syntax of First Order Predicate Calculus
Chapter 5 Skolem's Standerd Forms and Herbrand's Theorems
Chapter 6 Resolution Principle
Chapter 7 Refinements of Resolution
Chapter 8 Many-Valued Logic Calculi
Chapter 9 Quantitative Logic
 






Related Books
Related Papers (PDF Download free)

China Scientific Book Services Co. Ltd., CSBS Bookstore  Join Our Mailing List
Address:  A-1120, Kingsound (Jiahao) International Center, No.116, Zi Zhu Yuan Road, Haidian District, Beijing 100097, China
TeL: +86-10-58930115, Fax: +86-10-80115555-702074  Email: hceis@hceis.com  All Right Reserved