skip to content
Logic for computer scientists Preview this item
ClosePreview this item
Checking...

Logic for computer scientists

Author: Uwe Schöning
Publisher: Boston : Birkhäuser, ©2008.
Series: Modern Birkhäuser classics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises,  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:
Schöning, Uwe, 1955-
Logic for computer scientists.
Boston : Birkhauser, 2008
(OCoLC)191760026
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Uwe Schöning
ISBN: 9780817647636 0817647635
OCLC Number: 501804196
Notes: "Reprint of the 1989 Edition."
Description: 1 online resource (166 pages) : illustrations.
Contents: Propositional Logic --
Predicate Logic --
Logic Programming.
Series Title: Modern Birkhäuser classics.
Other Titles: Logik für Informatiker.
Responsibility: Uwe Schöning.

Abstract:

This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists.... Schoning decides to concentrate on computational issues, and gives 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/501804196> # Logic for computer scientists
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "501804196" ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/21965557#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/21965557#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/21965557#Topic/informatique> ; # Informatique
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "2008" ;
   schema:creator <http://viaf.org/viaf/108228765> ; # Uwe Schöning
   schema:datePublished "2008" ;
   schema:description "Propositional Logic -- Predicate Logic -- Logic Programming."@en ;
   schema:description "This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists ... Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline ... I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow ... This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level. - SIGACT News Contains examples and 126 interesting exercises which put the student in an active reading mode ... Would provide a good university short course introducing computer science students to theorem proving and logic programming. - Mathematical Reviews This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages ... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence. - Zentralblatt MATH."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/21965557> ; # Logik für Informatiker.
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21965557#Series/modern_birkhauser_classics> ; # Modern Birkhäuser classics.
   schema:isSimilarTo <http://www.worldcat.org/oclc/191760026> ;
   schema:name "Logic for computer scientists"@en ;
   schema:productID "501804196" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/501804196#PublicationEvent/boston_birkhauser_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/21965557#Agent/birkhauser> ; # Birkhäuser
   schema:url <http://dx.doi.org/10.1007/978-0-8176-4763-6> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-0-8176-4763-6> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-0-8176-4762-9> ;
   schema:workExample <http://worldcat.org/isbn/9780817647636> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/501804196> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/21965557#Series/modern_birkhauser_classics> # Modern Birkhäuser classics.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/501804196> ; # Logic for computer scientists
   schema:name "Modern Birkhäuser classics." ;
   schema:name "Modern Birkhäuser classics" ;
    .

<http://experiment.worldcat.org/entity/work/data/21965557#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21965557#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
   schema:name "Logic programming"@en ;
    .

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

<http://link.springer.com/openurl?genre=book&isbn=978-0-8176-4762-9>
   rdfs:comment "Springer eBooks (Mathematics and Statistics 2008)" ;
    .

<http://viaf.org/viaf/108228765> # Uwe Schöning
    a schema:Person ;
   schema:birthDate "1955" ;
   schema:familyName "Schöning" ;
   schema:givenName "Uwe" ;
   schema:name "Uwe Schöning" ;
    .

<http://worldcat.org/entity/work/id/21965557> # Logik für Informatiker.
   schema:name "Logik für Informatiker." ;
    .

<http://worldcat.org/isbn/9780817647636>
    a schema:ProductModel ;
   schema:isbn "0817647635" ;
   schema:isbn "9780817647636" ;
    .

<http://www.worldcat.org/oclc/191760026>
    a schema:CreativeWork ;
   rdfs:label "Logic for computer scientists." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/501804196> ; # Logic for computer scientists
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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