Logic for Computer Science: Foundations of Automatic Theorem Proving
(eBook)
Description
Loading Description...
Also in this Series
Checking series information...
More Details
Format
eBook
Language
English
ISBN
9780486805085
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Jean H. Gallier., & Jean H. Gallier|AUTHOR. (2015). Logic for Computer Science: Foundations of Automatic Theorem Proving . Dover Publications.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Jean H. Gallier and Jean H. Gallier|AUTHOR. 2015. Logic for Computer Science: Foundations of Automatic Theorem Proving. Dover Publications.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Jean H. Gallier and Jean H. Gallier|AUTHOR. Logic for Computer Science: Foundations of Automatic Theorem Proving Dover Publications, 2015.
MLA Citation, 9th Edition (style guide)Jean H. Gallier, and Jean H. Gallier|AUTHOR. Logic for Computer Science: Foundations of Automatic Theorem Proving Dover Publications, 2015.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouping Information
Grouped Work ID | 2962b6a1-fd15-871d-aca0-a19dfd49838e-eng |
---|---|
Full title | logic for computer science foundations of automatic theorem proving |
Author | gallier jean h |
Grouping Category | book |
Last Update | 2023-12-01 18:07:10PM |
Last Indexed | 2024-04-24 02:46:56AM |
Book Cover Information
Image Source | hoopla |
---|---|
First Loaded | Mar 5, 2020 |
Last Used | Feb 8, 2024 |
Hoopla Extract Information
stdClass Object ( [year] => 2015 [artist] => Jean H. Gallier [fiction] => [coverImageUrl] => https://cover.hoopladigital.com/csp_9780486805085_270.jpeg [titleId] => 11607580 [isbn] => 9780486805085 [abridged] => [language] => ENGLISH [profanity] => [title] => Logic for Computer Science [demo] => [segments] => Array ( ) [pages] => 528 [children] => [artists] => Array ( [0] => stdClass Object ( [name] => Jean H. Gallier [artistFormal] => Gallier, Jean H. [relationship] => AUTHOR ) ) [genres] => Array ( [0] => Logic [1] => Mathematics ) [price] => 2.99 [id] => 11607580 [edited] => [kind] => EBOOK [active] => 1 [upc] => [synopsis] => This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. [url] => https://www.hoopladigital.com/title/11607580 [pa] => [subtitle] => Foundations of Automatic Theorem Proving [publisher] => Dover Publications [purchaseModel] => INSTANT )