HSPLS site
Login
My List - 0
Help
Search
My Account
Databases
HI Newspaper
eBooks/Audiobooks
Learning
PC Reservation
Reading Program
Basic
Advanced
Power
History
Search:
Title Browse
Author Browse
Subject Browse
Best Seller Browse
Music Title Browse
Video/DVD Title Browse
Journal/Newspaper Title Browse
Serial Title Browse
Series Browse (includes Bestseller List)
General Keyword
Title Keyword
Author Keyword
Subject Keyword
Name Keyword
Series Keyword
Score Title Browse
Talking Book Title Browse
Awards Note Browse
Bib No.
Barcode
Refine Search
> You're searching:
HAWAII STATE PUBLIC LIBRARY SYSTEM
Item Information
Summary
More Content
More by this author
Goranko, Valentin, author.
Subjects
Logic -- Textbooks.
Browse Catalog
by author:
Goranko, Valentin, author.
by title:
Logic as a tool [ele...
MARC Display
Logic as a tool [electronic resource] : a guide to formal logical reasoning / Valentin Goranko.
by
Goranko, Valentin, author.
Chichester, UK ; Hoboken, NJ : Wiley, 2016.
Subjects
Logic -- Textbooks.
Electronic Resource
http://link.overdrive.com/?websiteID=50&titleID=2715708
This title is available online; click here to access
Electronic Resource
http://images.contentreserve.com/ImageType-100/0128-1/{2EC5889C-52BE-4EBD-8DF9-C6964F1643AC}Img100.jpg
ISBN:
9781118880043 (electronic book)
1118880048 (electronic book)
9781118880005 (cloth)
1118880005 (cloth)
Description:
1 online resource.
Contents:
Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.
Requests:
0
Summary:
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. -Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples -Emphasis both on conceptual understanding and on developing practical skills -Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic -Includes extensive sets of exercises, many of them provided with solutions or answers-Supplemented by a website including detailed slides, additional exercises and solutionsFor more information browse the book's website at:
Copy/Holding information
No Item Information
Horizon Information Portal 3.25_9884
© 2001-2013
SirsiDynix
All rights reserved.