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 50
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 400 kr
    Medlemspris 405 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 50 kr
    Se vores konkurrenters priser her
    God 15.831 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

    MEDLEMSFORDELE
    GRATIS FRAGT
    SPAR OP TIL 90%
    Andre har også købt
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 170

    kr 270
    Normalpris
    kr 180
    Medlemspris
    SPAR
    kr 100
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 380

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

    kr 1.499
    Normalpris
    kr 923
    Medlemspris
    SPAR
    kr 640
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 214

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

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

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

    kr 299
    Normalpris
    kr 236
    Medlemspris
    SPAR
    kr 70
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 165

    kr 198
    Normalpris
    kr 168
    Medlemspris
    SPAR
    kr 33
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 154

    kr 229
    Normalpris
    kr 162
    Medlemspris
    SPAR
    kr 75
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 211

    kr 299
    Normalpris
    kr 220
    Medlemspris
    SPAR
    kr 88
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 223

    kr 299
    Normalpris
    kr 231
    Medlemspris
    SPAR
    kr 76
    BOG (INDBUNDET)
    Eksklusiv medlemspris kr 208

    kr 299
    Normalpris
    kr 217
    Medlemspris
    SPAR
    kr 91
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 27

    kr 227
    Normalpris
    kr 47
    Medlemspris
    SPAR
    kr 200
    BOG (HÆFTET)
    Eksklusiv medlemspris kr 154

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

    kr 299
    Normalpris
    kr 220
    Medlemspris
    SPAR
    kr 88
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 84

    kr 90
    Normalpris
    kr 85
    Medlemspris
    SPAR
    kr 6
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 89

    kr 249
    Normalpris
    kr 105
    Medlemspris
    SPAR
    kr 160
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 22

    kr 111
    Normalpris
    kr 31
    Medlemspris
    SPAR
    kr 89
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 229

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

    kr 320
    Normalpris
    kr 213
    Medlemspris
    SPAR
    kr 119
    Vi anbefaler også
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 378

    kr 496
    Normalpris
    kr 390
    Medlemspris
    SPAR
    kr 118
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 400

    kr 530
    Normalpris
    kr 413
    Medlemspris
    SPAR
    kr 130
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 761

    kr 1.014
    Normalpris
    kr 786
    Medlemspris
    SPAR
    kr 253
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 407

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

    kr 496
    Normalpris
    kr 407
    Medlemspris
    SPAR
    kr 99
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 443

    kr 563
    Normalpris
    kr 455
    Medlemspris
    SPAR
    kr 120
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 483

    kr 619
    Normalpris
    kr 497
    Medlemspris
    SPAR
    kr 136
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 925

    kr 1.126
    Normalpris
    kr 945
    Medlemspris
    SPAR
    kr 201
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 350

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

    kr 371
    Normalpris
    kr 341
    Medlemspris
    SPAR
    kr 33
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 455

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

    kr 523
    Normalpris
    kr 510
    Medlemspris
    SPAR
    kr 15
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 624

    kr 657
    Normalpris
    kr 627
    Medlemspris
    SPAR
    kr 33
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 312

    kr 337
    Normalpris
    kr 315
    Medlemspris
    SPAR
    kr 25
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 735

    kr 916
    Normalpris
    kr 753
    Medlemspris
    SPAR
    kr 181
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 742

    kr 949
    Normalpris
    kr 763
    Medlemspris
    SPAR
    kr 207
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 794

    kr 957
    Normalpris
    kr 810
    Medlemspris
    SPAR
    kr 163
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 759

    kr 1.014
    Normalpris
    kr 785
    Medlemspris
    SPAR
    kr 255
    BOG (PAPERBACK)
    Eksklusiv medlemspris kr 759

    kr 1.014
    Normalpris
    kr 785
    Medlemspris
    SPAR
    kr 255
    BOG (HARDBACK)
    Eksklusiv medlemspris kr 610

    kr 844
    Normalpris
    kr 633
    Medlemspris
    SPAR
    kr 234