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

Mathematical logic for computer science

Author: M Ben-Ari
Publisher: London : Springer, 2012.
Edition/Format:   eBook : Document : English : 3rd edView all editions and formats
Summary:
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the  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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Ben-Ari, M., 1948-
Mathematical logic for computer science.
London : Springer, 2012
(OCoLC)793689283
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: M Ben-Ari
ISBN: 9781447141297 1447141296
OCLC Number: 795994032
Language Note: English.
Description: 1 online resource
Contents: Introduction --
Propositional Logic: Formulas, Models, Tableaux --
Propositional Logic: Deductive Systems --
Propositional Logic: Resolution --
Propositional Logic: Binary Decision Diagrams --
Propositional Logic: SAT Solvers --
First-Order Logic: Formulas, Models, Tableaux --
First-Order Logic: Deductive Systems --
First-Order Logic: Terms and Normal Forms --
First-Order Logic: Resolution --
First-Order Logic: Logic Programming --
First-Order Logic: Undecidability and Model Theory * --
Temporal Logic: Formulas, Models, Tableaux --
Temporal Logic: A Deductive System --
Verification of Sequential Programs --
Verification of Concurrent Programs.
Responsibility: Mordechai Ben-Ari.

Abstract:

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Asst. Prof. Manoj Raut, Dhirubhai Ambani Institute of Information and Communication Technology, IndiaExcerpts from full review posted Jan 15 2013 to Computing Reviews [Review #: CR140831]I have used Read more...

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

Tags

Be the first.

Similar Items

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/795994032> # Mathematical logic for computer science
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "795994032" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/511.3/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/10736566#Topic/informatique> ; # Informatique
    schema:bookEdition "3rd ed." ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/101893996> ; # M. Ben-Ari
    schema:datePublished "2012" ;
    schema:description "Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/10736566> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/793689283> ;
    schema:name "Mathematical logic for computer science"@en ;
    schema:productID "795994032" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/795994032#PublicationEvent/london_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/10736566#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-1-4471-4129-7> ;
    schema:url <http://site.ebrary.com/id/10651862> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4471-4128-0> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4128-0> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-1-4471-4129-7> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-1-4471-4129-7> ;
    schema:workExample <http://worldcat.org/isbn/9781447141297> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4471-4129-7> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB245425> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/795994032> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/101893996> # M. Ben-Ari
    a schema:Person ;
    schema:birthDate "1948" ;
    schema:familyName "Ben-Ari" ;
    schema:givenName "M." ;
    schema:name "M. Ben-Ari" ;
    .

<http://worldcat.org/isbn/9781447141297>
    a schema:ProductModel ;
    schema:isbn "1447141296" ;
    schema:isbn "9781447141297" ;
    .

<http://www.worldcat.org/oclc/793689283>
    a schema:CreativeWork ;
    rdfs:label "Mathematical logic for computer science." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/795994032> ; # Mathematical logic for computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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