.png){kind=logo}
Mathematical foundations
Results 601 - 620 of 1147
Mathematical foundations
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
€ 97.32€ 74.75
€ 97.32
€ 74.75
Paperback. Series: The Wadsworth & Brooks/Cole Mathematics Series (Closed). Num Pages: 352 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 19. Weight in Grams: 614.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 352
- Condition
- New
- SKU
- V9781461572909
- ISBN
- 9781461572909
Paperback
Condition: New
€ 68.05
€ 68.05
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
€ 114.01
€ 114.01
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.48
€ 60.48
Paperback. An introduction to important features of formal languages and automata theory. It includes coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; and, propositional logic and first order predicate logic. Num Pages: 351 pages, biography. BIC Classification: PBCD; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 351
- Condition
- New
- SKU
- V9781852334642
- ISBN
- 9781852334642
Paperback
Condition: New
€ 99.09
€ 99.09
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.54
€ 200.54
Paperback. Num Pages: 430 pages, 37 black & white tables, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 676.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2007
- Condition
- New
- SKU
- V9783642071447
- ISBN
- 9783642071447
Paperback
Condition: New
€ 250.89
€ 250.89
Paperback. An introduction to modern cardinal arithmetic is presented in this volume, in addition to a survey of results. A discussion of classical theory is included, paired with investigations in pcf theory, which answers questions left open since the 1970's. Series: Modern Birkhauser Classics. Num Pages: 304 pages, biography. BIC Classification: PBCH. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 16. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 1st ed.1999. 2nd printing 2009
- Number of pages
- 304
- Condition
- New
- SKU
- V9783034603270
- ISBN
- 9783034603270
Paperback
Condition: New
€ 81.51
€ 81.51
Hardcover. This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual. Series: Undergraduate Texts in Mathematics. Num Pages: 574 pages, 10 black & white illustrations, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 1122.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9780387402932
- ISBN
- 9780387402932
Hardback
Condition: New
€ 76.87
€ 76.87
paperback. This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual. Series: Undergraduate Texts in Mathematics. Num Pages: 588 pages, 10 black & white illustrations, biography. BIC Classification: PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 588
- Condition
- New
- SKU
- V9781441923240
- ISBN
- 9781441923240
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback. Series: Graduate Texts in Mathematics. Num Pages: 256 pages, biography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 229 x 152 x 14. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 2nd ed. 1982
- Number of pages
- 256
- Condition
- New
- SKU
- V9781461381709
- ISBN
- 9781461381709
Paperback
Condition: New
€ 116.23
€ 116.23
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.05
€ 54.05
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€ 10.89
€ 11.99
€ 10.89
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
Gauthier, Yvon (University Of Montreal, Canad...
paperback. Series: Synthese Library. Num Pages: 251 pages, biography. BIC Classification: HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 251
- Condition
- New
- SKU
- V9789048160525
- ISBN
- 9789048160525
Paperback
Condition: New
€ 127.78
€ 127.78
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
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 472 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 26. Weight in Grams: 748.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642058806
- ISBN
- 9783642058806
Paperback
Condition: New
€ 107.64
€ 107.64
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.63
€ 148.63
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 69.10
€ 69.10
Hardcover. This monograph offers a flexible tool for strategic management which is based upon ideas from both graph theory and game theory. The approach is demonstrated to handle a finite number of decision-makers, each of whom controls a number of actions. Series: Wiley Series in Systems Engineering and Management. Num Pages: 240 pages, graphs. BIC Classification: GPQ; KJMD; KJT; PBC; PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 162 x 23. Weight in Grams: 566.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 240
- Condition
- New
- SKU
- V9780471592372
- ISBN
- 9780471592372
Hardback
Condition: New
€ 249.01
€ 249.01
Hardback. Examines principles, methodologies, and applications of fuzzy systems, neural networks and genetic algorithms. The study reviews concepts and models, focusing on methodologies common to fuzzy systems, neural networks and evolutionary computation, emphasizing co-operative models of hybrid systems. Editor(s): Ruan, Da. Num Pages: 373 pages, biography. BIC Classification: PBCD; PBWX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 373
- Condition
- New
- SKU
- V9780792399995
- ISBN
- 9780792399995
Hardback
Condition: New
€ 201.53
€ 201.53