Mathematical foundations
Results 181 - 200 of 268
Mathematical foundations
Hardcover. This reference is the first rigorous application of algebraic topology and one of the earliest applications of graph theory to ecology. Num Pages: 224 pages. BIC Classification: PBCD; PSVS. Category: (G) General (US: Trade). Dimension: 230 x 150 x 18. Weight in Grams: 422.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- J. Ross Publishing
- Condition
- New
- SKU
- V9781604271287
- ISBN
- 9781604271287
Hardback
Condition: New
€ 144.12
€ 144.12
Paperback. This extensively revised new edition of the concise introductory text on mathematical logic retains its numerous exercises and applications, but now has a fresh chapter on model theory and new section on topics such as definability and quantifier eliminations. Series: Universitext. Num Pages: 198 pages, biography. BIC Classification: PBC; PBF; UYA. Category: (P) Professional & Vocational. Dimension: 154 x 236 x 13. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2nd ed. 2013
- Condition
- New
- SKU
- V9781461457459
- ISBN
- 9781461457459
Paperback
Condition: New
€ 82.54
€ 82.54
Hardcover.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781461436300
- ISBN
- 9781461436300
Hardback
Condition: New
€ 96.58
€ 96.58
Hardcover. Written in the Socratic/Moore method, this book presents a sequence of problems which develop aspects in the field of semigroups of operators. The reader can discover important developments of the subject and quickly arrive at the point of independent research. Series: Problem Books in Mathematics. Num Pages: 142 pages, biography. BIC Classification: PBC; PBF; PBG. Category: (P) Professional & Vocational. Dimension: 248 x 167 x 14. Weight in Grams: 370. Series: Problem Books in Mathematics. 148 pages, black & white illustrations. Written in the Socratic/Moore method, this book presents a sequence of problems which develop aspects in the field of semigroups of operators. The reader can discover important developments of the subject and quickly arrive at the point of independent research. Cateogry: (P) Professional & Vocational. BIC Classification: PBC; PBF; PBG. Dimension: 248 x 167 x 14. Weight: 370.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Number of pages
- 148
- Condition
- New
- SKU
- V9781461404293
- ISBN
- 9781461404293
Hardback
Condition: New
€ 66.95
€ 66.95
Mathematical Logic and Model Theory: A Brief Introduction (Universitex...
Prestel, Alexander, Delzell, Charles N.
Paperback. This book presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. Includes a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. Series: Universitext. Num Pages: 204 pages, biography. BIC Classification: PBCD; PBF; PBWH. Category: (P) Professional & Vocational. Dimension: 236 x 162 x 12. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9781447121756
- ISBN
- 9781447121756
Paperback
Condition: New
€ 83.54
€ 83.54
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Campbell, Stephen L., Chancelier, Jean-Philip...
Hardcover. Scilab is a free open-source software package for scientific computation. This is the first book to focus on simulation and modeling, and to put a major emphasis on Scicos and discuss it in depth. This new edition includes expanded chapters and major rewrites. Num Pages: 330 pages, 9 black & white tables, biography. BIC Classification: PBC; PBK; UY. Category: (P) Professional & Vocational. Dimension: 265 x 188 x 25. Weight in Grams: 790.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 2nd ed. 2010
- Number of pages
- 341
- Condition
- New
- SKU
- V9781441955265
- ISBN
- 9781441955265
Hardback
Condition: New
€ 75.87
€ 75.87
Hardback. Robert A Rankin is one of the world's foremost authorities on modular forms. This work collects together 25 papers reflecting Rankin's range of interests within number theory. Many of these papers reflect Rankin's primary focus in modular forms. This volume is useful to students and researchers in the areas of number theory and modular forms. Editor(s): Berndt, Bruce C.; Ono, Ken. Series: Developments in Mathematics. Num Pages: 400 pages, biography. BIC Classification: PBCD; PBH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 1660.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 400
- Condition
- New
- SKU
- V9781402076152
- ISBN
- 9781402076152
Hardback
Condition: New
€ 135.73
€ 135.73
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.73
€ 135.73
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.49
€ 133.49
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.06
€ 259.06
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.82
€ 132.82
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.35
€ 135.35
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.69
€ 72.69
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.01
€ 73.01
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.41
€ 135.41
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. 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 contains critical essays on the various aspects of Kanger's work. 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: 244 x 170 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 281
- Condition
- New
- SKU
- V9781402001116
- ISBN
- 9781402001116
Hardback
Condition: New
€ 133.22
€ 133.22
Collected Papers of Stig Kanger with Essays on His Life and Work
. Ed(S): Holmstrom-Hintikka, Ghita; Lindstrom...
Hardback. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781402000218
- ISBN
- 9781402000218
Hardback
Condition: New
€ 133.76
€ 133.76
Paperback. This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics Series: History of Analytic Philosophy. Num Pages: 218 pages, biography. BIC Classification: HPC; HPCF5; HPL; PBB; PBC; PBX. Category: (G) General (US: Trade). Dimension: 216 x 140 x 12. Weight in Grams: 300.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Edition
- 1st ed. 2013
- Number of pages
- 218
- Condition
- New
- SKU
- V9781349453733
- ISBN
- 9781349453733
Paperback
Condition: New
€ 66.95
€ 66.95
Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9780792351306
- ISBN
- 9780792351306
Hardback
Condition: New
€ 258.12
€ 258.12
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 259.27
€ 259.27