Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Symbolic Logic: Syntax, Semantics, and - Paperback, by Agler David - Very Good
US $27,55
Ca.CHF 22,25
Artikelzustand:
Sehr gut
Buch, das nicht neu aussieht und gelesen wurde, sich aber in einem hervorragenden Zustand befindet. Der Einband weist keine offensichtlichen Beschädigungen auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos USPS Media MailTM.
Standort: Philadelphia, Pennsylvania, USA
Lieferung:
Lieferung zwischen Fr, 8. Aug und Do, 14. Aug nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Verkäufer zahlt Rückversand.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:146645298379
Artikelmerkmale
- Artikelzustand
- Book Title
- Symbolic Logic: Syntax, Semantics, and Proof
- ISBN
- 1442217421
Über dieses Produkt
Product Identifiers
Publisher
Rowman & Littlefield Publishers, Incorporated
ISBN-10
1442217421
ISBN-13
9781442217423
eBay Product ID (ePID)
117187311
Product Key Features
Number of Pages
375 Pages
Language
English
Publication Name
Symbolic Logic : Syntax, Semantics, and Proof
Publication Year
2012
Subject
Logic
Type
Textbook
Subject Area
Mathematics, Philosophy
Format
Trade Paperback
Dimensions
Item Height
0.8 in
Item Weight
24.2 Oz
Item Length
10 in
Item Width
7 in
Additional Product Features
Intended Audience
College Audience
LCCN
2012-026304
Reviews
"The author provides visually convincing examples that illustrate the concepts of symbolic logic effectively, a feature not commonly found in similar textbooks. The abundance of sample symbolizations and proofs in this book makes it ideal for classroom use." --Masato Ishida, University of Hawaii "Agler's Symbolic Logic: Syntax, Semantics, and Proof is a remarkably clear and systematic introduction to first-order formal logic. Notably, Agler does an excellent job in showing why we use these particular rules through multiple examples and step-by-step explanations of how they develop from general considerations of meaning and truth. This method of building up to the rules of symbolic logic will be incredibly helpful in improving student understanding, since it presents the formalism as something to be understood, rather than simply memorized." --Daniel Brunson, Morgan State University, The author provides visually convincing examples that illustrate the concepts of symbolic logic effectively, a feature not commonly found in similar textbooks. The abundance of sample symbolizations and proofs in this book makes it ideal for classroom use., Agler's Symbolic Logic: Syntax, Semantics, and Proof is a remarkably clear and systematic introduction to first-order formal logic. Notably, Agler does an excellent job in showing why we use these particular rules through multiple examples and step-by-step explanations of how they develop from general considerations of meaning and truth. This method of building up to the rules of symbolic logic will be incredibly helpful in improving student understanding, since it presents the formalism as something to be understood, rather than simply memorized.
Dewey Edition
23
Grade From
College Freshman
Illustrated
Yes
Grade To
College Senior
Dewey Decimal
511.3
Table Of Content
Acknowledgments Introduction Chapter 1 Propositions, Arguments, and Logical Properties Chapter 2 Language, Syntax, and Semantics Chapter 3 Truth Tables Chapter 4 Truth Trees Chapter 5 Propositional Logic Derivations Chapter 6 Predicate Language, Syntax, and Semantics Chapter 7 Predicate Truth Trees Chapter 8 Predicate Logic Derivations Further Reading
Synopsis
Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal langua≥ how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings., Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs., Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings.
LC Classification Number
BC38.A35 2012
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
BooksRun
99,2% positive Bewertungen•848 Tsd. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Beliebte Kategorien in diesem Shop
Verkäuferbewertungen (175'755)
Dieser Artikel (1)
Alle Artikel (175'755)
- 1***h (314)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufAwesome product, loved it.
- a***k (372)- Bewertung vom Käufer.Letzter MonatBestätigter KaufMany thanks for your great service!
- 3***u (940)- Bewertung vom Käufer.Letzter MonatBestätigter Kaufgreat
- 1***1 (142)- Bewertung vom Käufer.Letzter MonatBestätigter KaufHard to find item so I’m thankful you had it available at a reasonable price.
Noch mehr entdecken:
- David Baldacci Belletristik-Bücher,
- Hörbücher David Baldacci,
- Hörbücher David Sedaris,
- Hörbücher David Walliams,
- Hörbücher David Nathan,
- David Baldacci Hörbücher Krimis & Thriller,
- David Walliams Belletristik-Bücher,
- Bücher über Thriller David Baldacci Belletristik,
- Englische Belletristik David Baldacci Bücher,
- Bücher über Literatur David Baldacci Belletristik
Beliebte Kategorien in diesem Shop
Verkäuferbewertungen (175'755)
Dieser Artikel (1)
Alle Artikel (175'755)
- 1***h (314)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufAwesome product, loved it.
- a***k (372)- Bewertung vom Käufer.Letzter MonatBestätigter KaufMany thanks for your great service!
- 3***u (940)- Bewertung vom Käufer.Letzter MonatBestätigter Kaufgreat
- 1***1 (142)- Bewertung vom Käufer.Letzter MonatBestätigter KaufHard to find item so I’m thankful you had it available at a reasonable price.