Logic as a Tool : A Guide to Formal Logical Reasoning

Valentin Goranko

7 valutazioni di Goodreads

Lingua: inglese

Editore: College Publications, 2024

1848904606 / 9781848904606

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Venditore AbeBooks dal 14 agosto 2006

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 61,72

EUR 30,50 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

nach der Bestellung gedruckt Neuware - Printed after ordering - 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 ¿rst-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.

Codice articolo 9781848904606

Dati bibliografici

Titolo
Logic as a Tool : A Guide to Formal Logical Reasoning
Autore
Valentin Goranko
Editore
College Publications
Anno di pubblicazione
2024
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
1848904606
ISBN 13
9781848904606
Peso dell'articolo
649 grammi
Dimensioni
234x156x24 mm

AHA-BUCH GmbH

Einbeck, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 14 agosto 2006

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 5 a 7 giorni lavorativiDa 7 a 10 giorni lavorativi
Primo articoloEUR 30,50EUR 30,50
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Specializzazione

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Informazioni sull’azienda del venditore

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Germania 37574