.png){kind=logo}
Mathematical foundations
Results 1041 - 1060 of 1149
Mathematical foundations
Hardback. Presents the mathematical theory of combining and decomposing logics. This book covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). It is suitable for those in mathematical logic, and theory of computation. Series: Applied Logic Series. Num Pages: 602 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1039.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 602
- Condition
- New
- SKU
- V9781402067815
- ISBN
- 9781402067815
Hardback
Condition: New
€ 197.92
€ 197.92
Induction, Algorithmic Learning Theory, and Philosophy
. Ed(S): Friend, Michele; Goethe, Norma B.; H...
Hardback. Includes essays that provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic of algorithmic learning theory and the epistemology of science, both from a philosophical and a mathematical viewpoint. Editor(s): Friend, Michele; Goethe, Norma B.; Harizanov, Valentina S. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 304 pages, biography. BIC Classification: HPK; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9781402061264
- ISBN
- 9781402061264
Hardback
Condition: New
€ 199.83
€ 199.83
Hardback. Can a line be analyzed mathematically such a way that it does not fall apart into a set of discrete points? Are there objects of pure mathematics that can change through time? This book subjects Brouwer's choice sequences to a phenomenological critique in the style of Husserl. Series: Synthese Library. Num Pages: 206 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 14. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 206
- Condition
- New
- SKU
- V9781402050862
- ISBN
- 9781402050862
Hardback
Condition: New
€ 200.50
€ 200.50
Hardback. Fuzzy logic has been a conceptual process applied in the field of risk management. This book is intended for professional engineers and students and those with an interest in exploring the potential of fuzzy logic as an information processing kit with a variety of practical applications in the field of engineering science. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 244 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 2006
- Number of pages
- 244
- Condition
- New
- SKU
- V9781402040771
- ISBN
- 9781402040771
Hardback
Condition: New
€ 198.67
€ 198.67
Hardback. Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant's theory of intuition to be obsolete. This work explores various views of intuition and the axiomatic method, with Kant's approach. It covers logical and non-logical, and systematic issues in mathematics and physics. Editor(s): Carson, Emily; Huber, Renate. Series: The Western Ontario Series in Philosophy of Science. Num Pages: 324 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9781402040399
- ISBN
- 9781402040399
Hardback
Condition: New
€ 200.55
€ 200.55
Structural Theory of Automata, Semigroups, and Universal Algebra
. Ed(S): Kudryavtev, Valery B. (M.V. Lomonoso...
Paperback. Semigroups, Automata, Universal Algebra, Varieties Editor(s): Kudryavtev, Valery B. (M.V. Lomonosov Moscow State University); Rosenberg, I. G. Series: NATO Science Series II. Num Pages: 434 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 434
- Condition
- New
- SKU
- V9781402038167
- ISBN
- 9781402038167
Paperback
Condition: New
€ 129.35
€ 129.35
Structural Theory of Automata, Semigroups, and Universal Algebra
. Ed(S): Kudryavtsev, Valery B. (M.V. Lomonos...
Hardback. Covers Semigroups, Automata, Universal Algebra, and Varieties. Editor(s): Kudryavtsev, Valery B. (M.V. Lomonosov Moscow State University); Rosenberg, Ivo G. Series: NATO Science Series II. Num Pages: 434 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 434
- Condition
- New
- SKU
- V9781402038150
- ISBN
- 9781402038150
Hardback
Condition: New
€ 136.71
€ 136.71
Hardback. The macroscopic porous media theory has made decisive progress concerning the fundamentals of the theory and the development of mathematical models. This book provides an outline of modern theory of porous media and shows some trends in theory and in applications. It is useful for those working in engineering, physics, and mathematics. Series: Theory and Applications of Transport in Porous Media. Num Pages: 282 pages, biography. BIC Classification: PBC; RBK; TNCC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 1310.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 282
- Condition
- New
- SKU
- V9781402031434
- ISBN
- 9781402031434
Hardback
Condition: New
€ 133.41
€ 133.41
Classical and New Paradigms of Computation and Their Complexity Hierar...
. Ed(S): Lowe, Benedikt; Piwinger, Boris; Ras...
Hardback. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume investigates mathematical properties of complexity hierarchies, and also discusses algorithms and computational properties. It is of interest to both mathematical logicians and theoretical computer scientists. Editor(s): Lowe, Benedikt; Piwinger, Boris; Rasch, Thoralf. Series: Trends in Logic. Num Pages: 260 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9781402027758
- ISBN
- 9781402027758
Hardback
Condition: New
€ 254.59
€ 254.59
Hardback. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 341
- Condition
- New
- SKU
- V9781402026522
- ISBN
- 9781402026522
Hardback
Condition: New
€ 195.76
€ 195.76
Hardback. Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 Editor(s): Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Lawson, J.A.; Liu, Ying Ming; Luo, M-.K. Series: Semantics Structures in Computation. Num Pages: 197 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 197
- Condition
- New
- SKU
- V9781402018329
- ISBN
- 9781402018329
Hardback
Condition: New
€ 194.34
€ 194.34
Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Ran...
Li, Shoumei; Ogura, Yukio; Kreinovich, Vladik
hardcover. Presents a systematic treatment of convergence theorems of set-valued random variables and fuzzy set-valued random variables. This book includes the author's developments on martingale convergence theorems and their applications to data processing. Series: Theory and Decision Library B. Num Pages: 394 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 394
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402009181
- ISBN
- 9781402009181
Hardback
Condition: New
€ 135.77
€ 135.77
Hardback. The approach to probability theory followed in this book characterizes probability as a linear operator, and is based on the concept of coherence. It is a 'flexible' and unifying tool suited for handling partial probability assessments, and conditional independence, in a way that avoids the inconsistencies related to logical dependence. Series: Trends in Logic. Num Pages: 295 pages, biography. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 295
- Condition
- New
- SKU
- V9781402009174
- ISBN
- 9781402009174
Hardback
Condition: New
€ 133.53
€ 133.53
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 259.12
€ 259.12
Hardback. Developed in the context of a radical arithmetization of mathematics and logic, this book covers the many-faceted heritage of Kronecker's work, which includes Hilbert and also Frege, Cantor, Husserl and Brouwer. It is useful for those interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. Series: Synthese Library. Num Pages: 251 pages, biography. BIC Classification: 3JH; 3JJF; 3JJG; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 251
- Condition
- New
- SKU
- V9781402006890
- ISBN
- 9781402006890
Hardback
Condition: New
€ 132.86
€ 132.86
Hardback. Discusses the aspect of non-connectivity hidden under the convexity. This book contains the classification of 100 notions of convexity, using a generalised convexity notion, which is the classifier, ordering the domain of concepts of convex sets. Series: Applied Optimization. Num Pages: 388 pages, 1 black & white illustrations, biography. BIC Classification: PBCH; PBM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 724.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 388
- Condition
- New
- SKU
- V9781402006241
- ISBN
- 9781402006241
Hardback
Condition: New
€ 135.39
€ 135.39
Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 415
- Condition
- New
- SKU
- V9781402006081
- ISBN
- 9781402006081
Paperback
Condition: New
€ 72.70
€ 72.70
Paperback. Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 444
- Condition
- New
- SKU
- V9781402003684
- ISBN
- 9781402003684
Paperback
Condition: New
€ 73.04
€ 73.04
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 135.45
€ 135.45
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Paperback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title deals with the work of Stig Kanger. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001123
- ISBN
- 9781402001123
Paperback
Condition: New
€ 130.88
€ 130.88