Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
Af: Mircea S. Reghis, Eugene Roventa Engelsk Hardback
SPAR
kr 48
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
Af: Mircea S. Reghis, Eugene Roventa Engelsk Hardback
Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.
Exploring the parallels between classical and fuzzy mathematical logic, the book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
Specific issues discussed include:
  • Propositional and predicate logic
  • Logic networks
  • Logic programming
  • Proof of correctness
  • Semantics
  • Syntax
  • Completenesss
  • Non-contradiction
  • Theorems of Herbrand and Kalman
    The authors consider that the teaching of logic for computer science is biased by the absence of motivations, comments, relevant and convincing examples, graphic aids, and the use of color to distinguish language and metalanguage. Classical and Fuzzy Concepts in Mathematical Logic and Applications discusses how the presence of these facts trigger a stirring, decisive insight into the understanding process. This view shapes this work, reflecting the authors'' subjective balance between the scientific and pedagogic components of the textbook.
    Usually, problems in logic lack relevance, creating a gap between classroom learning and applications to real-life problems. The book includes a variety of application-oriented problems at the end of almost every section, including programming problems in PROLOG III. With the possibility of carrying out proofs with PROLOG III and other software packages, readers will gain a first-hand experience and thus a deeper understanding of the idea of formal proof.
  • Eksklusiv medlemspris 402 kr
    Medlemspris 407 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 450 kr
    Fragt: 59 kr
    23 - 25 hverdage
    20 kr
    Pakkegebyr
    Spar 48 kr
    Se vores konkurrenters priser her
    God 15.866 anmeldelser på
    Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.
    Exploring the parallels between classical and fuzzy mathematical logic, the book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
    Specific issues discussed include:
  • Propositional and predicate logic
  • Logic networks
  • Logic programming
  • Proof of correctness
  • Semantics
  • Syntax
  • Completenesss
  • Non-contradiction
  • Theorems of Herbrand and Kalman
    The authors consider that the teaching of logic for computer science is biased by the absence of motivations, comments, relevant and convincing examples, graphic aids, and the use of color to distinguish language and metalanguage. Classical and Fuzzy Concepts in Mathematical Logic and Applications discusses how the presence of these facts trigger a stirring, decisive insight into the understanding process. This view shapes this work, reflecting the authors'' subjective balance between the scientific and pedagogic components of the textbook.
    Usually, problems in logic lack relevance, creating a gap between classroom learning and applications to real-life problems. The book includes a variety of application-oriented problems at the end of almost every section, including programming problems in PROLOG III. With the possibility of carrying out proofs with PROLOG III and other software packages, readers will gain a first-hand experience and thus a deeper understanding of the idea of formal proof.
  • Produktdetaljer
    Sprog: Engelsk
    Sider: 378
    ISBN-13: 9780849331978
    Indbinding: Hardback
    Udgave:
    ISBN-10: 0849331978
    Kategori: Matematisk logik
    Udg. Dato: 20 maj 1998
    Længde: 0mm
    Bredde: 234mm
    Højde: 156mm
    Oplagsdato: 20 maj 1998
    Forfatter(e) Mircea S. Reghis, Eugene Roventa


    Kategori Matematisk logik


    Sprog Engelsk


    Indbinding Hardback


    Sider 378


    Udgave


    Længde 0mm


    Bredde 234mm


    Højde 156mm


    Udg. Dato 20 maj 1998


    Oplagsdato 20 maj 1998

    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 (HÆFTET)
    Eksklusiv medlemspris kr 188

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

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

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

    kr 299
    Normalpris
    kr 217
    Medlemspris
    SPAR
    kr 91
    LYDBOG
    Eksklusiv medlemspris kr 95

    kr 129
    Normalpris
    kr 98
    Medlemspris
    SPAR
    kr 34
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 203

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

    kr 320
    Normalpris
    kr 211
    Medlemspris
    SPAR
    kr 121
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 919

    kr 1.499
    Normalpris
    kr 977
    Medlemspris
    SPAR
    kr 580
    BOG (ANDET)
    Eksklusiv medlemspris kr 306

    kr 450
    Normalpris
    kr 320
    Medlemspris
    SPAR
    kr 144
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 203

    kr 300
    Normalpris
    kr 213
    Medlemspris
    SPAR
    kr 97
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 154

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

    kr 399
    Normalpris
    kr 283
    Medlemspris
    SPAR
    kr 129
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 220

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

    kr 320
    Normalpris
    kr 233
    Medlemspris
    SPAR
    kr 97
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 183

    kr 269
    Normalpris
    kr 192
    Medlemspris
    SPAR
    kr 86
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 184

    kr 299
    Normalpris
    kr 196
    Medlemspris
    SPAR
    kr 115
    BOG (HÆFTET)
    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
    Vi anbefaler også
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 387

    kr 506
    Normalpris
    kr 399
    Medlemspris
    SPAR
    kr 119
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 409

    kr 540
    Normalpris
    kr 422
    Medlemspris
    SPAR
    kr 131
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 407

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

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

    kr 563
    Normalpris
    kr 458
    Medlemspris
    SPAR
    kr 117
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 485

    kr 619
    Normalpris
    kr 498
    Medlemspris
    SPAR
    kr 134
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 367

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

    kr 383
    Normalpris
    kr 353
    Medlemspris
    SPAR
    kr 33
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 455

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

    kr 535
    Normalpris
    kr 522
    Medlemspris
    SPAR
    kr 15
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 421

    kr 506
    Normalpris
    kr 430
    Medlemspris
    SPAR
    kr 85
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 367

    kr 450
    Normalpris
    kr 375
    Medlemspris
    SPAR
    kr 83
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 437

    kr 495
    Normalpris
    kr 443
    Medlemspris
    SPAR
    kr 58
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 556

    kr 573
    Normalpris
    kr 558
    Medlemspris
    SPAR
    kr 17
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 437

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

    kr 427
    Normalpris
    kr 306
    Medlemspris
    SPAR
    kr 134
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 407

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

    kr 506
    Normalpris
    kr 452
    Medlemspris
    SPAR
    kr 60
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 407

    kr 506
    Normalpris
    kr 417
    Medlemspris
    SPAR
    kr 99