Författare
Valentin Goranko
Valentin Goranko är en uppskattad författare inom Filosofi och religion med totalt 1 bok tillgängliga på Bokkollen.
Bland verken finns Logic as a Tool, som toppar listan över Valentin Gorankos populäraste böcker. Verken spänner över filosofi & religion och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Valentin Gorankos författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Valentin Goranko hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Logic as a Tool
This textbook, written in a concise yet user-friendly style, will guide the reader in understanding and mastering the use of classical logic as a tool for performing logically correct reasoning. It offers a systematic and precise exposition of classical logic on both propositional and first-order level with many examples and exercises and only the necessary minimum of theory. Most of the exercises are provided with answers or detailed solutions. The book explains the grammar, semantics, and use of classical logical languages and teaches the reader how to grasp the meaning and translate the formulae of classical logic to and from natural language. It illustrates with many detailed examples the use of the most popular deductive systems - axiomatic systems, semantic tableaux, natural deduction, and resolution - for formalizing and automating logical reasoning and provides the reader with the technical skills needed for practical derivations. Systematic guidelines are offered on how to carry out logically correct and well-structured reasoning using the proof strategies and techniques that these deductive systems employ. The book is accompanied with a set of detailed slides available online and can be used as a textbook for introductory or intermediate courses in classical logic for students in mathematics, computer science, philosophy, or related disciplines, as well as for self-study.
Hela bibliografin
Utforska alla Valentin Gorankos publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Valentin Goranko kommer du förmodligen att uppskatta även dessa författare inom filosofi & religion.