Mathematical foundations
Results 261 - 268 of 268
Mathematical foundations
Hardcover. Contains translations of papers on propositional satisfiability and related logical problems which appeared in ""Problemy Sokrashcheniya Perebora"", published in Russian in 1987. Editor(s): Kreinovich, Vladik; Mints, G. Series: American Mathematical Society Translations: Series 2. Num Pages: 190 pages, Illustrations. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230. Weight in Grams: 567.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821803868
- ISBN
- 9780821803868
Hardback
Condition: New
€ 199.77
€ 199.77
Hardcover. Num Pages: 224 pages. BIC Classification: PBCD; UYM. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119193180
- ISBN
- 9781119193180
Hardback
Condition: New
€ 138.34
€ 138.34
Hardcover. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 365 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 160 x 25. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 365
- Condition
- New
- SKU
- V9780471570356
- ISBN
- 9780471570356
Hardback
Condition: New
€ 204.50
€ 204.50
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. Tries to display the value (and joy!) of starting from a mathematically amorphous problem and combining ideas from diverse sources to produce new and significant mathematics - mathematics unforeseen from the motivating problem. This book focuses on aperiodic tilings; the best-known example is the 'kite and dart' tiling. Series: Student Mathematical Library. Num Pages: 128 pages, illustrations, references, index. BIC Classification: PBCD; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 217 x 140 x 7. Weight in Grams: 172.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Amer Mathematical Society
- Condition
- New
- SKU
- V9780821819333
- ISBN
- 9780821819333
Paperback
Condition: New
€ 59.01
€ 59.01
Paperback. .
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 182
- Format
- Paperback
- Publication date
- 2005
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781568812380
- ISBN
- 9781568812380
Paperback
Condition: New
€ 49.02
€ 49.02
Hardback. A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. Num Pages: 394 pages, biography. BIC Classification: PBCD; TJFC. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 394
- Condition
- New
- SKU
- V9780792398929
- ISBN
- 9780792398929
Hardback
Condition: New
€ 135.61
€ 135.61
Paperback. Num Pages: 364 pages, 379 black & white illustrations, 4 black & white tables. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 204 x 18. Weight in Grams: 760.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 364
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781466567917
- ISBN
- 9781466567917
Paperback
Condition: New
€ 73.22
€ 73.22
Hardback. The book extends the development of probability logic-a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives "not," "and," and "or" are described in depth to include quantified formulas. Also discussed is the notion of the suppositional and resolution of the paradox of confirmation. Num Pages: 126 pages, Illustrations. BIC Classification: PBCD; PBT. Category: (G) General (US: Trade). Dimension: 239 x 162 x 14. Weight in Grams: 342.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Lehigh University Press United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9781611460100
- ISBN
- 9781611460100
Hardback
Condition: New
€ 110.84
€ 110.84
Paperback. Written for engineering students, this textbook on numerical methods stresses the typical methods that engineers use in daily practice. A chapter on design introduces problems which bring relevance to the use of this tool in engineering situations. Num Pages: 410 pages, bibliography, index. BIC Classification: PBC; PDE; TBJ. Category: (UU) Undergraduate. Dimension: 238 x 191 x 24. Weight in Grams: 756.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780471575238
- ISBN
- 9780471575238
Paperback
Condition: New
€ 284.68
€ 284.68
Hardback. Series: Pure and Applied Undergraduate Texts. Num Pages: 217 pages. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 266 x 187 x 18. Weight in Grams: 566.
- Publisher
- American Mathematical Society
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781470428990
- ISBN
- 9781470428990
Hardback
Condition: New
€ 99.78
€ 99.78
Paperback. Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn about the philosophy of mathematics and the philosophy of logic. Editor(s): Shapiro, Stewart. Series: Oxford Handbooks. Num Pages: 832 pages, 9 line illustrations. BIC Classification: HPL; PBB; PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 247 x 176 x 54. Weight in Grams: 1472.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Oxford University Press Inc United States
- Number of pages
- 850
- Condition
- New
- SKU
- V9780195325928
- ISBN
- 9780195325928
Paperback
Condition: New
€ 85.73
€ 85.73
Hardcover. This book takes the reader on a journey around the globe and through centuries of history, exploring the transformations that mathematical proof has undergone from its inception at the time of Euclid and Pythagoras to its versatile, present-day use. Num Pages: 264 pages, 83 black & white illustrations, 5 colour illustrations, biography. BIC Classification: PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 260 x 180 x 17. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2011th Edition
- Number of pages
- 281
- Condition
- New
- SKU
- V9780387489087
- ISBN
- 9780387489087
Hardback
Condition: New
€ 53.99€ 45.29
€ 53.99
€ 45.29
Paperback. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. Series: Oxford Logic Guides. Num Pages: 336 pages, figures. BIC Classification: HPL; PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 156 x 19. Weight in Grams: 494.
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 336
- Format
- Paperback
- Publication date
- 2010
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780199237180
- ISBN
- 9780199237180
Paperback
Condition: New
€ 80.88
€ 80.88
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 248 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 174 x 234 x 15. Weight in Grams: 392. Series: Texts in Theoretical Computer Science: An EATCS Series. 267 pages, black & white illustrations. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 174 x 234 x 15. Weight: 392.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Number of pages
- 267
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642057465
- ISBN
- 9783642057465
Paperback
Condition: New
€ 66.95
€ 66.95
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
Paperback. Schaum's Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. Series: Schaum's Outline Series. Num Pages: 240 pages, illustrations. BIC Classification: PBCH. Category: (U) Tertiary Education (US: College). Dimension: 275 x 208 x 13. Weight in Grams: 446.
- Publisher
- McGraw-Hill Education - Europe United States
- Number of pages
- 240
- Format
- Paperback
- Publication date
- 1998
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780070381599
- ISBN
- 9780070381599
Paperback
Condition: New
€ 34.99€ 25.52
€ 34.99
€ 25.52
hardcover. Num Pages: 224 pages. BIC Classification: PBCN; PBH; PBT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 260 x 180. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Nova Science Pub Inc United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9781634844529
- ISBN
- 9781634844529
Hardback
Condition: New
€ 240.24€ 179.69
€ 240.24
€ 179.69
Paperback.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer
- Edition
- Corrected
- Condition
- New
- SKU
- V9780387977102
- ISBN
- 9780387977102
Paperback
Condition: New
€ 77.49
€ 77.49
Hardback. .
- Publisher
- CLANRYE INTERNATIONAL
- Format
- Hardback
- Publication date
- 2015
- Condition
- New
- SKU
- V9781632403780
- ISBN
- 9781632403780
Hardback
Condition: New
€ 149.16
€ 149.16