Mathematical foundations
Results 861 - 880 of 1202
Mathematical foundations
Hardback. Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 737.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 395
- Condition
- New
- SKU
- V9780792359043
- ISBN
- 9780792359043
Hardback
Condition: New
€ 195.34
€ 195.34
Hardback. Shows that the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. This book is suitable as an introductory text in categorical proof theory. Series: Trends in Logic. Num Pages: 229 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9780792357209
- ISBN
- 9780792357209
Hardback
Condition: New
€ 192.35
€ 192.35
Hardback. Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792356592
- ISBN
- 9780792356592
Hardback
Condition: New
€ 128.89
€ 128.89
hardcover. Examines the philosophical foundations of intuitionism since Oscar Becker's (1927) "Mathematische Existenz". This book examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. It examines centres on the questions of the intersubjectivity of mathematics. Series: Synthese Library. Num Pages: 220 pages, 1 black & white illustrations, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 297 x 210 x 14. Weight in Grams: 494.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer United States
- Edition
- 1999th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792356301
- ISBN
- 9780792356301
Hardback
Condition: New
€ 127.73
€ 127.73
Hardback. Cellular automata can be viewed both as computational models and modeling systems of real processes. This book covers massive parallel algorithms (firing squad, life, Fischer's primes recognition). It also surveys their computational power and the specific complexity classes they determine. Editor(s): Delorme, M.; Mazoyer, J. Series: Mathematics and its Applications. Num Pages: 374 pages, biography. BIC Classification: PBCD; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 374
- Condition
- New
- SKU
- V9780792354932
- ISBN
- 9780792354932
Hardback
Condition: New
€ 195.12
€ 195.12
Hardback. Presents a treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. This book shows that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction. Series: Trends in Logic. Num Pages: 299 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 299
- Condition
- New
- SKU
- V9780792352389
- ISBN
- 9780792352389
Hardback
Condition: New
€ 247.10
€ 247.10
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Belief change is a field of artificial intelligence and information science dedicated to the dynamics of information. This is a study of addition, deletion and combination of pieces of information, and the revision, updating and fusion of knowledge bases, offering a numerical view of belief change. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 453 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9780792351627
- ISBN
- 9780792351627
Hardback
Condition: New
€ 250.09
€ 250.09
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Heijmans, Henk J. A. M.; Roerdink, J...
Hardback. The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing. Editor(s): Heijmans, Henk J. A. M.; Roerdink, Jos B. T. M. Series: Computational Imaging and Vision. Num Pages: 452 pages, biography. BIC Classification: PBC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 25. Weight in Grams: 813.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 452
- Condition
- New
- SKU
- V9780792351337
- ISBN
- 9780792351337
Hardback
Condition: New
€ 132.30
€ 132.30
Hardback. Presents the foundations of mathematics, examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models. Series: Jaakko Hintikka Selected Papers. Num Pages: 250 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 250
- Condition
- New
- SKU
- V9780792347668
- ISBN
- 9780792347668
Hardback
Condition: New
€ 192.67
€ 192.67
Hardback. Starts with the basic concepts of Fuzzy Logic: the membership function, the intersection and the union of fuzzy sets, fuzzy numbers, and the extension principle underlying the algorithmic operations. This book includes chapters devoted to applications of Fuzzy Logic in Operations Research. Series: Applied Optimization. Num Pages: 208 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 208
- Condition
- New
- SKU
- V9780792346814
- ISBN
- 9780792346814
Hardback
Condition: New
€ 127.48
€ 127.48
Hardback. Points out gaps in the way data fusion problems are conceptually treated and addresses this issue by exhibiting mathematical tools which treat combination of evidence in the presence of uncertainty in a more systematic way. This book offers research progress on data fusion and serves as an introduction to powerful techniques. Series: Theory and Decision Library B. Num Pages: 508 pages, biography. BIC Classification: PBCH; TBJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 906.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 508
- Condition
- New
- SKU
- V9780792346746
- ISBN
- 9780792346746
Hardback
Condition: New
€ 154.96
€ 154.96
Hardback. In the period between the two World Wars, Stanislaw Lesniewski, the Polish logician, created his system of the foundations of mathematics, a system comprising three deductive theories: protothetic, ontology, and mereology. This volume is a collection of the major contributions to protothetic. Editor(s): Srzednicki, Jan T.J.; Stachniak, Zbigniew. Series: Nijhoff International Philosophy Series. Num Pages: 326 pages, biography. BIC Classification: HPL; PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9780792345046
- ISBN
- 9780792345046
Hardback
Condition: New
€ 247.47
€ 247.47
Hardback. This text provides a presentation of general philosophical approaches, more technical foundational discussions, questions related to the application of mathematics, and historical analyses. Editor(s): Agazzi, Evandro; Darvas, Gyorgy. Series: Episteme. Num Pages: 361 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 361
- Condition
- New
- SKU
- V9780792343431
- ISBN
- 9780792343431
Hardback
Condition: New
€ 126.05
€ 126.05
Hardback. Introduces the reader to basic concepts and techniques in the field of fuzzy sets and gives an account of the literature. This book covers topics including: basic set theory, basic lattice theory, operations on fuzzy sets, t-norms and t-conorms, special types of fuzzy sets, fuzzy relations, functions working on fuzzy sets, and fuzzy real numbers. Num Pages: 408 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 408
- Condition
- New
- SKU
- V9780792340577
- ISBN
- 9780792340577
Hardback
Condition: New
€ 131.71
€ 131.71
Hardback. Contains problems on such topics as Boolean algebra, k-valued logics, graphs and networks, elements of coding theory, automata theory, algorithms theory, combinatorics, Boolean minimization and logical design. This book is suitable for undergraduate students of discrete mathematics, and also to postgraduates and researchers. Series: Texts in the Mathematical Sciences. Num Pages: 424 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 424
- Condition
- New
- SKU
- V9780792340362
- ISBN
- 9780792340362
Hardback
Condition: New
€ 164.06
€ 164.06
Hardback. Looks at the problem of applying the theory of verisimilitude to cognitive problems of a quantitative nature. This work is focused on hypotheses concerned with (physical or other) systems whose state can be represented with an element of a multidimensional state space, but hypotheses concerned with quantitative laws are also explored. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: HPK; PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792340058
- ISBN
- 9780792340058
Hardback
Condition: New
€ 128.15
€ 128.15
hardcover. Presents a unified approach to the mathematical theory of a wide class of non-additive set functions, the so called null-additive set functions, which also includes classical measure theory. This volume includes set functions such as capacities, triangular set functions, some fuzzy measures, submeasures, and decomposable measures. Series: Mathematics and its Applications. Num Pages: 315 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer United States
- Edition
- 1995th Edition
- Number of pages
- 315
- Condition
- New
- SKU
- V9780792336587
- ISBN
- 9780792336587
Hardback
Condition: New
€ 129.92
€ 129.92
Hardback. Offers a collection of research papers in optimization and approximation that covers the research on optimization problems, including scheduling, location, assignment, linear and nonlinear programming problems as well as problems in molecular biology. This book focuses on algorithmic aspects of research work in optimization. Editor(s): Du, Ding-Zhu; Sun, Jie. Series: Nonconvex Optimization and Its Applications. Num Pages: 404 pages, biography. BIC Classification: PBC; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1650.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 404
- Condition
- New
- SKU
- V9780792327851
- ISBN
- 9780792327851
Hardback
Condition: New
€ 195.49
€ 195.49
Hardback. Since the 1960s, comparisons have been made between Frege's semantic views and Husserl's theory of intentional acts concerning the foundations of logic and mathematics. This book brings together a number of articles by well-known authors and gives a survey of recent developments in the field. Editor(s): Haaparanta, Leila. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792327035
- ISBN
- 9780792327035
Hardback
Condition: New
€ 129.21
€ 129.21
hardcover. Since their appearance in the late 19th century, the Cantor-Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy. This title is suitable for historians and philosophers of mathematics as well as mathematicians who are concerned with the foundations of their subject. Editor(s): Ehrlich, Philip. Series: Synthese Library. Num Pages: 288 pages, biography. BIC Classification: PBCD; PBH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 634.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1994th Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780792326892
- ISBN
- 9780792326892
Hardback
Condition: New
€ 193.81
€ 193.81