Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Simple Type Theory
Af: William M. Farmer Engelsk Hardback
SPAR
kr 201
Simple Type Theory
Af: William M. Farmer Engelsk Hardback
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church''s formulation of simple type theory known as Church''s type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.

Topics and features:

  • Offers the first book-length introduction to simple type theory as a predicate logic
  • Provides the reader with a logic that is close to mathematical practice
  • Presents the tools needed to build libraries of mathematical knowledge
  • Employs two semantics, one for mathematics and one for logic
  • Emphasizes the model-theoretic view of predicate logic
  • Includes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks

Aimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas.

William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.

Eksklusiv medlemspris 643 kr
Medlemspris 663 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 844 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 201 kr
Se vores konkurrenters priser her
God 15.847 anmeldelser på
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church''s formulation of simple type theory known as Church''s type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.

Topics and features:

  • Offers the first book-length introduction to simple type theory as a predicate logic
  • Provides the reader with a logic that is close to mathematical practice
  • Presents the tools needed to build libraries of mathematical knowledge
  • Employs two semantics, one for mathematics and one for logic
  • Emphasizes the model-theoretic view of predicate logic
  • Includes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks

Aimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas.

William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.

Produktdetaljer
Sprog: Engelsk
Sider: 295
ISBN-13: 9783031211119
Indbinding: Hardback
Udgave:
ISBN-10: 3031211111
Kategori: Matematisk logik
Udg. Dato: 2 jan 2023
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Oplagsdato: 2 jan 2023
Forfatter(e): William M. Farmer
Forfatter(e) William M. Farmer


Kategori Matematisk logik


Sprog Engelsk


Indbinding Hardback


Sider 295


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm


Udg. Dato 2 jan 2023


Oplagsdato 2 jan 2023

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

kr 280
Normalpris
kr 198
Medlemspris
SPAR
kr 91
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

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

kr 299
Normalpris
kr 217
Medlemspris
SPAR
kr 91
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

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

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (INDBUNDET)
Eksklusiv medlemspris kr 183

kr 270
Normalpris
kr 192
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 220

kr 320
Normalpris
kr 230
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 27

kr 227
Normalpris
kr 47
Medlemspris
SPAR
kr 200
BOG (PAPERBACK)
Eksklusiv medlemspris kr 166

kr 201
Normalpris
kr 170
Medlemspris
SPAR
kr 35
BOG (HÆFTET)
Eksklusiv medlemspris kr 188

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

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (HÆFTET)
Eksklusiv medlemspris kr 297

kr 350
Normalpris
kr 302
Medlemspris
SPAR
kr 53
BOG (HÆFTET)
Eksklusiv medlemspris kr 59

kr 129
Normalpris
kr 66
Medlemspris
SPAR
kr 70
BOG (HÆFTET)
Eksklusiv medlemspris kr 314

kr 349
Normalpris
kr 318
Medlemspris
SPAR
kr 35
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

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

kr 269
Normalpris
kr 213
Medlemspris
SPAR
kr 62
BOG (PAPERBACK)
Eksklusiv medlemspris kr 106

kr 140
Normalpris
kr 109
Medlemspris
SPAR
kr 34
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
Vi anbefaler også
BOG (HARDBACK)
Eksklusiv medlemspris kr 564

kr 732
Normalpris
kr 581
Medlemspris
SPAR
kr 168
BOG (PAPERBACK)
Eksklusiv medlemspris kr 919

kr 1.239
Normalpris
kr 951
Medlemspris
SPAR
kr 320
BOG (PAPERBACK)
Eksklusiv medlemspris kr 409

kr 540
Normalpris
kr 422
Medlemspris
SPAR
kr 131
BOG (HARDBACK)
Eksklusiv medlemspris kr 958

kr 1.036
Normalpris
kr 966
Medlemspris
SPAR
kr 78
BOG (HARDBACK)
Eksklusiv medlemspris kr 402

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

kr 675
Normalpris
kr 587
Medlemspris
SPAR
kr 98
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
BOG (HARDBACK)
Eksklusiv medlemspris kr 796

kr 957
Normalpris
kr 812
Medlemspris
SPAR
kr 161
BOG (PAPERBACK)
Eksklusiv medlemspris kr 759

kr 782
Normalpris
kr 761
Medlemspris
SPAR
kr 23
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (HARDBACK)
Eksklusiv medlemspris kr 869

kr 1.092
Normalpris
kr 891
Medlemspris
SPAR
kr 223
BOG (PAPERBACK)
Eksklusiv medlemspris kr 350

kr 383
Normalpris
kr 353
Medlemspris
SPAR
kr 33
BOG (HARDBACK)
Eksklusiv medlemspris kr 779

kr 935
Normalpris
kr 795
Medlemspris
SPAR
kr 156
BOG (HARDBACK)
Eksklusiv medlemspris kr 971

kr 1.183
Normalpris
kr 992
Medlemspris
SPAR
kr 212
BOG (PAPERBACK)
Eksklusiv medlemspris kr 315

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

kr 1.050
Normalpris
kr 1.022
Medlemspris
SPAR
kr 31
BOG (HARDBACK)
Eksklusiv medlemspris kr 967

kr 996
Normalpris
kr 970
Medlemspris
SPAR
kr 29
BOG (PAPERBACK)
Eksklusiv medlemspris kr 201

kr 207
Normalpris
kr 202
Medlemspris
SPAR
kr 6
BOG (PAPERBACK)
Eksklusiv medlemspris kr 185

kr 235
Normalpris
kr 190
Medlemspris
SPAR
kr 50