skip to content
Mathematical logic for computer science Preview this item
ClosePreview this item
Checking...

Mathematical logic for computer science

Author: Chung-wen Lü
Publisher: Singapore ; River Edge, NJ : World Scientific, ©1998.
Series: Series in computer science, vol. 47.
Edition/Format:   Print book : English : 2nd edView all editions and formats
Summary:

Describes the aspects of mathematical logic which are related to computer science. This book deals with both the peculiarities of logical systems and the requirements of computer science. In this  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Chung-wen Lü
ISBN: 9810230915 9789810230913
OCLC Number: 40525013
Description: xi, 244 pages : illustrations ; 23 cm.
Contents: Part 1 Prerequisites: sets; inductive definitions and proofs; notations. Part 2 Classical propositional logic: propositions and connectives; propositional language; semantics; tautological consequence; formal deduction; disjunctive and conjunctive normal forms; adequate sets of connectives. Part 3 Classical first-order logic: proposition functions and quantifiers; first-order language; semantics; logical consequence; formal deduction; prenex normal form. Part 4 Axiomatic deduction system: axiomatic deduction system; relation between the two deduction systems. Part 5 Soundness and completeness: satisfiability and validity; soundness; completeness of propositional logic; completeness of first-order logic; completeness of first-order logic with equality; independence. Part 6 Compactness, Lowenheim-Skolem, and Herbrand theorems: compactness; Lowenheim-Skolem's theorem; Herbrand's theorem. Part 7 Constructive logic: constructivity of proofs; semantics; formal deduction; soundness; completeness. Part 8 Modal propositional logic: modal propositional language; semantics; formal deduction; soundness; completeness of T; completeness of S4, B, S5. Part 9 Modal first-order logic: modal first-order language; semantics; formal deduction; soundness; completeness; equality.
Series Title: Series in computer science, vol. 47.
Responsibility: Lu Zhongwan.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/40525013> # Mathematical logic for computer science
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "40525013" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/21593754#Place/river_edge_nj> ; # River Edge, NJ
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/21593754#Place/singapore> ; # Singapore
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/21593754#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/21593754#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookEdition "2nd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1998" ;
   schema:creator <http://viaf.org/viaf/18621825> ; # Chung-wen Lü
   schema:datePublished "1998" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/21593754> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21593754#Series/series_in_computer_science> ; # Series in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21593754#Series/world_scientific_series_in_computer_science> ; # World Scientific series in computer science ;
   schema:name "Mathematical logic for computer science"@en ;
   schema:productID "40525013" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40525013#PublicationEvent/singapore_river_edge_nj_world_scientific_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/21593754#Agent/world_scientific> ; # World Scientific
   schema:url <http://site.ebrary.com/id/10698989> ;
   schema:workExample <http://worldcat.org/isbn/9789810230913> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40525013> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/21593754#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/21593754#Series/series_in_computer_science> # Series in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40525013> ; # Mathematical logic for computer science
   schema:name "Series in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/21593754#Series/world_scientific_series_in_computer_science> # World Scientific series in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40525013> ; # Mathematical logic for computer science
   schema:name "World Scientific series in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/21593754#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21593754#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/18621825> # Chung-wen Lü
    a schema:Person ;
   schema:familyName "" ;
   schema:givenName "Chung-wen" ;
   schema:name "Chung-wen Lü" ;
    .

<http://worldcat.org/isbn/9789810230913>
    a schema:ProductModel ;
   schema:isbn "9810230915" ;
   schema:isbn "9789810230913" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.