Search

Logic as a Tool: A Concise Guide to Logical Reasoning | 1:a upplagan

av Valentin Goranko

Köp begagnad bok

Ej i lager. Bevaka denna bok.

Köp ny bok

Fakta

Förlag John Wiley And Sons Ltd
Språk Engelska
Bandtyp Häftad
Utgiven 2016-10-31
Upplaga 1
ISBN 9781118880005
Kategori(er)
Lägg i varukorgen

Används bl a i följande kurser

Beskrivning

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: https: //logicasatool.wordpress.com
Läs mer
,

Hittills har vi återanvänt

 2 

 4 

 9 

 3 

 0 

 6 

 4 

böcker.

Trustpilot

Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.

Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.

Prenumerera på vårt nyhetsbrev

Prenumerera för att ta del av våra bästa studenttips, erbjudanden och kampanjer.

Läs mer om hur vi hanterar persondata i vårt avsnitt om personuppgiftbehandling.

Passa på att köpa kontorsmaterial

Visa allt kontorsmaterial 👉
Söker...
Stäng