Sälj dina kursböcker, vinn presentkort på 1000 kr. Kom igång här
Logic as a Tool | 1:a upplagan
- Danskt band, Engelska, 2016
- Författare: Valentin Goranko
- Betyg:
Välj skick:
Bästa pris
450
kr
Skickas nästa vardag
Du sparar 349 kr
(44%)
mot nypris
799
kr
Skickas nästa vardag
Butikslager
Onlinelager
4 st i lager
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 solutions
For more information browse the book's website at: https://logicasatool.wordpress.com
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 solutions
For more information browse the book's website at: https://logicasatool.wordpress.com
Om denna bok
Logic as a Tool av Valentin Goranko är en Danskt band bok med 384 sidor på Engelska. Detta är den 1:a upplagan som utgavs 2016 av John Wiley And Sons Ltd.
Spara pengar – köp begagnad från Campusbokhandeln
Köp Logic as a Tool begagnad från Campusbokhandeln och spara upp till 44% jämfört med nypris. Begagnade exemplar finns från 450 kr medan nya kostar 799 kr – en besparing på 349 kr. Köp tryggt med Campusbokhandeln.
Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.
Används vid svenska universitet
Denna kurslitteratur används aktivt i 7 universitetskurser vid lärosäten runt om i Sverige, inklusive:
Produktinformation
Kategori:
Okänd
Bandtyp:
Danskt band
Språk:
Engelska
ISBN:
9781118880005
Upplaga:
1
Utgiven:
2016-10-31
Förlag:
John Wiley And Sons Ltd
Sidantal:
384