Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Three Views of Logic
SPAR
kr 131
Three Views of Logic

The first interdisciplinary textbook to introduce students to three critical areas in applied logic

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers'' capabilities and mathematical maturity.

The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap''s relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time.

Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings.

  • Gives an exceptionally broad view of logic
  • Treats traditional logic in a modern format
  • Presents relevance logic with applications
  • Provides an ideal text for a variety of one-semester upper-level undergraduate courses
Eksklusiv medlemspris 409 kr
Medlemspris 422 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 540 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 131 kr
Se vores konkurrenters priser her
God 15.866 anmeldelser på

The first interdisciplinary textbook to introduce students to three critical areas in applied logic

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers'' capabilities and mathematical maturity.

The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap''s relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time.

Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings.

  • Gives an exceptionally broad view of logic
  • Treats traditional logic in a modern format
  • Presents relevance logic with applications
  • Provides an ideal text for a variety of one-semester upper-level undergraduate courses
Produktdetaljer
Sprog: Engelsk
Sider: 344
ISBN-13: 9780691160443
Indbinding: Paperback
Udgave:
ISBN-10: 0691160449
Kategori: Filosofi: logik
Udg. Dato: 26 jan 2014
Længde: 21mm
Bredde: 252mm
Højde: 178mm
Oplagsdato: 26 jan 2014
Forfatter(e) S. G. Sterrett, Richard Hodel, Donald W. Loveland


Kategori Filosofi: logik


Sprog Engelsk


Indbinding Paperback


Sider 344


Udgave


Længde 21mm


Bredde 252mm


Højde 178mm


Udg. Dato 26 jan 2014


Oplagsdato 26 jan 2014

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (HÆFTET)
Eksklusiv medlemspris kr 200

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (HÆFTET)
Eksklusiv medlemspris kr 188

kr 269
Normalpris
kr 196
Medlemspris
SPAR
kr 81
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
LYDBOG
Eksklusiv medlemspris kr 95

kr 129
Normalpris
kr 98
Medlemspris
SPAR
kr 34
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

kr 227
Normalpris
kr 45
Medlemspris
SPAR
kr 202
BOG (ANDET)
Eksklusiv medlemspris kr 306

kr 450
Normalpris
kr 320
Medlemspris
SPAR
kr 144
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (INDBUNDET)
Eksklusiv medlemspris kr 220

kr 320
Normalpris
kr 230
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (INDBUNDET)
Eksklusiv medlemspris kr 270

kr 399
Normalpris
kr 283
Medlemspris
SPAR
kr 129
BOG (HÆFTET)
Eksklusiv medlemspris kr 183

kr 269
Normalpris
kr 192
Medlemspris
SPAR
kr 86
BOG (INDBUNDET)
Eksklusiv medlemspris kr 229

kr 299
Normalpris
kr 236
Medlemspris
SPAR
kr 70
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 437

kr 495
Normalpris
kr 443
Medlemspris
SPAR
kr 58
BOG (PAPERBACK)
Eksklusiv medlemspris kr 315

kr 337
Normalpris
kr 317
Medlemspris
SPAR
kr 22
BOG (PAPERBACK)
Eksklusiv medlemspris kr 236

kr 243
Normalpris
kr 237
Medlemspris
SPAR
kr 7
BOG (PAPERBACK)
Eksklusiv medlemspris kr 339

kr 394
Normalpris
kr 345
Medlemspris
SPAR
kr 55
BOG (HARDBACK)
Eksklusiv medlemspris kr 490

kr 563
Normalpris
kr 497
Medlemspris
SPAR
kr 73
BOG (HARDBACK)
Eksklusiv medlemspris kr 604

kr 709
Normalpris
kr 615
Medlemspris
SPAR
kr 105
BOG (HARDBACK)
Eksklusiv medlemspris kr 556

kr 573
Normalpris
kr 558
Medlemspris
SPAR
kr 17
BOG (HARDBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 455

kr 518
Normalpris
kr 461
Medlemspris
SPAR
kr 63
BOG (PAPERBACK)
Eksklusiv medlemspris kr 376

kr 416
Normalpris
kr 380
Medlemspris
SPAR
kr 40
BOG (PAPERBACK)
Eksklusiv medlemspris kr 402

kr 450
Normalpris
kr 407
Medlemspris
SPAR
kr 48
BOG (HARDBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 293

kr 427
Normalpris
kr 306
Medlemspris
SPAR
kr 134
BOG (HARDBACK)
Eksklusiv medlemspris kr 604

kr 709
Normalpris
kr 615
Medlemspris
SPAR
kr 105
BOG (PAPERBACK)
Eksklusiv medlemspris kr 271

kr 281
Normalpris
kr 272
Medlemspris
SPAR
kr 10
BOG (HARDBACK)
Eksklusiv medlemspris kr 210

kr 224
Normalpris
kr 211
Medlemspris
SPAR
kr 14
BOG (HARDBACK)
Eksklusiv medlemspris kr 367

kr 404
Normalpris
kr 371
Medlemspris
SPAR
kr 37
BOG (PAPERBACK)
Eksklusiv medlemspris kr 210

kr 224
Normalpris
kr 211
Medlemspris
SPAR
kr 14
BOG (PAPERBACK)
Eksklusiv medlemspris kr 490

kr 563
Normalpris
kr 497
Medlemspris
SPAR
kr 73