Mathematical foundations
Results 121 - 140 of 268
Mathematical foundations
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 137.03
€ 137.03
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 148.65
€ 148.65
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
Paperback. Compact INTRODUCING guide to a boundlessly intriguing topic. Illustrator(s): Pugh, Oliver. Series: Introducing.. Num Pages: 176 pages, B/w throughout. BIC Classification: PBCD; PDZM. Category: (G) General (US: Trade). Dimension: 168 x 119 x 14. Weight in Grams: 162.
- Publisher
- Icon Books United Kingdom
- Number of pages
- 176
- Format
- Paperback
- Publication date
- 2012
- Condition
- New
- SKU
- V9781848314061
- ISBN
- 9781848314061
Paperback
Condition: New
€ 11.99€ 9.82
€ 11.99
€ 9.82
paperback. Num Pages: black & white tables, diagrams, figures. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 226 x 160 x 8. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Brooks/Cole United States
- Condition
- New
- Edition
- New
- SKU
- V9780547165387
- ISBN
- 9780547165387
Paperback
Condition: New
€ 54.53
€ 54.53
Hardback. Treats fuzzy methodology in hardware reliability and software reliability. This book discusses how to calculate probist system reliability when the component reliabilities are represented by fuzzy numbers, and how to analyze fault trees when probabilities of basic events are fuzzy. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 311 pages, biography. BIC Classification: PBCH; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 311
- Condition
- New
- SKU
- V9780792397373
- ISBN
- 9780792397373
Hardback
Condition: New
€ 200.47
€ 200.47
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 60.36
€ 60.36
Paperback. Series: Dover Books on Mathematics. Num Pages: 272 pages. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 214 x 136 x 13. Weight in Grams: 287.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9780486284620
- ISBN
- 9780486284620
Paperback
Condition: New
€ 16.99€ 16.81
€ 16.99
€ 16.81
paperback. An introduction to propositional logic (specifically, proofs, truth tables, and truth trees) that uses examples culled from newspapers, magazines, television, etc. in an attempt to show students how to assess the worth of arguments. The CD-ROM contains Proplogic 1.0, a tutorial program that illustr Num Pages: 276 pages, illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 15. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Pearson United States
- Edition
- 3rd Edition
- Number of pages
- 276
- Condition
- New
- SKU
- V9780130258496
- ISBN
- 9780130258496
Paperback
Condition: New
€ 113.97
€ 113.97
Paperback. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic. Series: Annals of Mathematics Studies. Num Pages: 392 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 542.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Princeton University Press United States
- Number of pages
- 392
- Condition
- New
- SKU
- V9780691029061
- ISBN
- 9780691029061
Paperback
Condition: New
€ 96.57€ 74.75
€ 96.57
€ 74.75
Paperback. Introduction to Probability with Texas Hold em Examples illustrates both standard and advanced probability topics using the popular poker game of Texas Hold em, rather than the typical balls in urns. The author uses students natural interest in poker to teach important concepts in probability." Num Pages: 296 pages, 7 black & white illustrations, 29 colour illustrations. BIC Classification: PBC; PBT. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 143 x 217 x 18. Weight in Grams: 430.
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781498776189
- ISBN
- 9781498776189
Paperback
Condition: New
€ 93.09
€ 93.09
Hardback. A text for mathematics courses that covers the basics such as relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It includes material on normal forms and Goodstein sequences. It provides important ideas including filters, ultrafilters, closed unbounded and stationary sets, and partitions. Series: Chapman & Hall/CRC Pure and Applied Mathematics. Num Pages: 310 pages, illustrations. BIC Classification: PBCH. Category: (UU) Undergraduate. Dimension: 238 x 157 x 22. Weight in Grams: 572.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 310
- Format
- Hardback
- Publication date
- 1999
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780824779153
- ISBN
- 9780824779153
Hardback
Condition: New
€ 126.74
€ 126.74
Hardback. Offers a self contained presentation of H', its known isomorphic invariants and a classification of H' on spaces of homogeneous type. Series: Monografie Matematyczne. Num Pages: 472 pages, biography. BIC Classification: PBCD. Category: (U) Tertiary Education (US: College); (UF) Further/Higher Education; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 27. Weight in Grams: 991.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 472
- Condition
- New
- SKU
- V9783764324315
- ISBN
- 9783764324315
Hardback
Condition: New
€ 131.35
€ 131.35
Paperback. Inventor of logarithms, John Napier made one of the greatest advances in the history of mathematics. The 16th century Scot was also a remarkable astronomer. This new edition has been redesigned and has a new cover. Num Pages: 80 pages, 30 colour/black+white. BIC Classification: BGT; PBC; PBX. Category: (G) General (US: Trade). Dimension: 235 x 159 x 7. Weight in Grams: 220.
- Publisher
- NMSE - Publishing Ltd United Kingdom
- Number of pages
- 80
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Revised edition
- Condition
- New
- SKU
- V9781905267668
- ISBN
- 9781905267668
Paperback
Condition: New
€ 8.32
€ 8.32
Hardback. Num Pages: 296 pages, 64 line illus. 48 tables. BIC Classification: 3JD; PBC; PBX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 239 x 175 x 23. Weight in Grams: 574.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780691155708
- ISBN
- 9780691155708
Hardback
Condition: New
€ 46.99€ 33.81
€ 46.99
€ 33.81
Hardcover. Praise for William Dunham s Journey Through Genius The Great Theorems of Mathematics "Dunham deftly guides the reader through the verbal and logical intricacies of major mathematical questions and proofs, conveying a splendid sense of how the greatest mathematicians from ancient to modern times presented their arguments. Num Pages: 320 pages, illustrations; portraits. BIC Classification: PBB; PBC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 230 x 158 x 28. Weight in Grams: 638.
- Publisher
- Wiley
- Number of pages
- 320
- Format
- Hardback
- Publication date
- 1990
- Edition
- 1st
- Condition
- New
- SKU
- V9780471500308
- ISBN
- 9780471500308
Hardback
Condition: New
€ 40.99€ 28.96
€ 40.99
€ 28.96
Hardback. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 292
- Condition
- New
- SKU
- V9780792377498
- ISBN
- 9780792377498
Hardback
Condition: New
€ 200.09
€ 200.09
Paperback. Features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. Num Pages: 466 pages, 7 black & white illustrations, biography. BIC Classification: PBCH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 172 x 26. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2 Rev ed
- Number of pages
- 466
- Condition
- New
- SKU
- V9783764383497
- ISBN
- 9783764383497
Paperback
Condition: New
€ 130.26
€ 130.26
Hardcover. This book gives an account of combinatory logic and lambda-calculus models. Num Pages: 358 pages, 10 b/w illus. 1 table 55 exercises. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 237 x 159 x 24. Weight in Grams: 688.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 358
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521898850
- ISBN
- 9780521898850
Hardback
Condition: New
€ 85.97
€ 85.97
Lanczos Algorithms for Large Symmetric Eigenvalue Computations
Cullum, Jane K.; Willoughby, Ralph A.
Paperback. Series: Progress in Scientific Computing. Num Pages: 500 pages, biography. BIC Classification: PBC; PBCN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 500
- Condition
- New
- SKU
- V9781468491807
- ISBN
- 9781468491807
Paperback
Condition: New
€ 69.08
€ 69.08