Modern Logic
A Text in Elementary Symbolic Logic
-
10% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár GBP 148.99
-
67 268 Ft (64 065 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 10% (kb. 6 727 Ft)
- Kedvezményes ár 60 541 Ft (57 659 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
67 268 Ft
Beszerezhetőség
Megrendelésre a kiadó utánnyomja a könyvet. Rendelhető, de a szokásosnál kicsit lassabban érkezik meg.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó OUP USA
- Megjelenés dátuma 1994. április 7.
- ISBN 9780195080292
- Kötéstípus Puhakötés
- Terjedelem416 oldal
- Méret 234x165x15 mm
- Súly 658 g
- Nyelv angol
- Illusztrációk line illustrations 0
Kategóriák
Rövid leírás:
Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis is on giving the student a thorough understanding of the concepts rather than just a facility with formal procedures.
TöbbHosszú leírás:
Modern Logic is a text designed for a first course in symbolic logic for students in philosophy, mathematics, computer science, or linguistics. The book covers classical sentential logic, monadic predicate logic, and full first-order logic with identity, in three separate sections. Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis throughout is to give the student a thorough understanding of the concepts rather than just a facility with formal procedures.
TöbbTartalomjegyzék:
Introduction
Part I: Classical Sentential Logic
What is logic?
First steps in symbolization
Semantics for sentential logic
Part II: Monadic Predicate Logic
Predication and quantification in English
Validity and provability in monadic predicate logic
Part III: First-Order Logic with Identity
Advanced symbolizations
Validity and provability in first-order logic with identity
Part IV: Extensions and Alternatives
An extension to classical logic: Modal logic
Alternatives to classical logic (I): Intuitionism
Alternatives to classical logic (II): Fuzzy logic
Solutions to selected exercises
Bibliography
Index
