0
Your cart

Your cart is empty

Browse All departments
Price
  • R100 - R250 (1)
  • R250 - R500 (1)
  • R500+ (335)
  • -
Status
Format
Author / Contributor
Publisher

Books > Academic & Education > Professional & Technical > Mathematics

Mathematics NQF Level 2 - Student's Book (Paperback): A. Hurjunlal, H. Junak, A. Naicker Mathematics NQF Level 2 - Student's Book (Paperback)
A. Hurjunlal, H. Junak, A. Naicker
R250 R221 Discovery Miles 2 210 Save R29 (12%) Shipped within 4 - 9 working days

This series is designed to meet the needs of students and lecturers of the National Certificate Vocational. Features for the student include: Easy-to-understand language; Real-life examples; A key word feature for important subject terms; A dictionary feature for difficult words; A reflect-on-how-you-learn feature to explore personal learning styles; Workplace-oriented activities; and Chapter summaries that are useful for exam revision.

Essential MATLAB for Engineers and Scientists (Paperback, 5th edition): Brian D. Hahn, Daniel T. Valentine Essential MATLAB for Engineers and Scientists (Paperback, 5th edition)
Brian D. Hahn, Daniel T. Valentine
R1,010 Discovery Miles 10 100 In stock

The fifth edition of "Essential MATLAB for Engineers and Scientists" provides a concise, balanced overview of MATLAB's functionality that facilitates independent learning, with coverage of both the fundamentals and applications. The essentials of MATLAB are illustrated throughout, featuring complete coverage of the software's windows and menus. Program design and algorithm development are presented clearly and intuitively, along with many examples from a wide range of familiar scientific and engineering areas.

This is an ideal book for a first course on MATLAB or for an engineering problem-solving course using MATLAB, as well as a self-learning tutorial for professionals and students expected to learn and apply MATLAB.
Updated with the features of MATLAB R2012bExpanded discussion of writing functions and scriptsRevised and expanded Part II: ApplicationsExpanded section on GUIsMore exercises and examples throughoutCompanion website for students providing M-files used within the book and selected solutions to end-of-chapter problems"

Introduction to Optimum Design (Hardcover, 3rd edition): Jasbir Arora Introduction to Optimum Design (Hardcover, 3rd edition)
Jasbir Arora
R2,635 Discovery Miles 26 350 In stock

Introduction to Optimum Design 3e describes an organized approach to engineering design optimization in a rigorous yet simplified manner. It illustrates various concepts and procedures with simple examples and demonstrates their applicability to engineering design problems. Formulation of a design problem as an optimization problem is emphasized and illustrated throughout the text. Excel and MATLAB are featured as learning and teaching aids. * Basic concepts of optimality conditions and numerical methods are described with simple and practical examples, making the material highly teachable and learnable* Includes applications of optimization methods for structural, mechanical, aerospace, and industrial engineering problems* Introduction to MATLAB Optimization Toolbox* Practical design examples introduce students to the use of optimization methods early in the book* New example problems throughout the text are enhanced with detailed illustrations* Optimum design with Excel Solver has been expanded into a full chapter* New chapter on several advanced optimum design topics serves the needs of instructors who teach more advanced courses

Foundations of Analog and Digital Electronic Circuits (Paperback): Anant Agarwal, Jeffrey Lang Foundations of Analog and Digital Electronic Circuits (Paperback)
Anant Agarwal, Jeffrey Lang
R2,005 R1,476 Discovery Miles 14 760 Save R529 (26%) Shipped within 7 - 12 working days

Unlike books currently on the market, this book attempts to satisfy two goals: combine circuits and electronics into a single, unified treatment, and establish a strong connection with the contemporary world of digital systems. It will introduce a new way of looking not only at the treatment of circuits, but also at the treatment of introductory coursework in engineering in general.
Using the concept of ''abstraction, '' the book attempts to form a bridge between the world of physics and the world of large computer systems. In particular, it attempts to unify electrical engineering and computer science as the art of creating and exploiting successive abstractions to manage the complexity of building useful electrical systems. Computer systems are simply one type of electrical systems.
+Balances circuits theory with practical digital electronics applications.
+Illustrates concepts with real devices.
+Supports the popular circuits and electronics course on the MIT OpenCourse Ware from which professionals worldwide study this new approach.
+Written by two educators well known for their innovative teaching and research and their collaboration with industry.
+Focuses on contemporary MOS technology.

Mathematical Methods for Physicists - A Comprehensive Guide (Hardcover, 7th edition): George B. Arfken, Hans J. Weber, Frank E.... Mathematical Methods for Physicists - A Comprehensive Guide (Hardcover, 7th edition)
George B. Arfken, Hans J. Weber, Frank E. Harris
R2,445 R1,870 Discovery Miles 18 700 Save R575 (24%) Shipped within 7 - 12 working days

Now inits 7th edition, "Mathematical Methods for Physicists" continues to provide all the mathematical methods that aspiring scientists and engineers are likely to encounter as students and beginning researchers. This bestselling text provides mathematical relations and their proofs essential to the study of physics and related fields. While retaining thekey features of the 6th edition, the new edition provides a more careful balance of explanation, theory, and examples. Taking a problem-solving-skills approach to incorporating theorems with applications, the book's improved focus will help students succeed throughout their academic careers and well into their professions. Some notable enhancements include more refined and focused content in important topics, improved organization, updated notations, extensive explanations and intuitive exercise sets, a wider range of problem solutions, improvement in the placement, and a wider range of difficulty of exercises.
Revised and updated version of the leading text in mathematical physicsFocuses on problem-solving skills and active learning, offering numerous chapter problemsClearly identified definitions, theorems, and proofs promote clarity and understanding

New to this edition: Improved modular chaptersNew up-to-date examplesMore intuitive explanations"

Digital Signal Processing - Fundamentals and Applications (Hardcover, 2nd edition): Jean Jiang, Li Tan Digital Signal Processing - Fundamentals and Applications (Hardcover, 2nd edition)
Jean Jiang, Li Tan
R1,544 Discovery Miles 15 440 Shipped within 7 - 11 working days

"Digital Signal Processing, Second Edition "enables electrical engineers and technicians in the fields of biomedical, computer, and electronics engineering to master the essential fundamentals of DSP principles and practice. Many instructive worked examples are used to illustrate the material, and the use of mathematics is minimized for easier grasp of concepts. As such, this title is also useful to undergraduates in electrical engineering, and as a reference for science students and practicing engineers.

The book goes beyond DSP theory, to show implementation of algorithms in hardware and software. Additional topics covered include adaptive filtering with noise reduction and echo cancellations, speech compression, signal sampling, digital filter realizations, filter design, multimedia applications, over-sampling, etc. More advanced topics are also covered, such as adaptive filters, speech compression such as PCM, u-law, ADPCM, and multi-rate DSP and over-sampling ADC.

New to this edition: MATLAB projects dealing with practical applications added throughout the bookNew chapter (chapter 13) covering sub-band coding and wavelet transforms, methods that have become popular in the DSP fieldNew applications included in many chapters, including applications of DFT to seismic signals, electrocardiography data, and vibration signalsAll real-time C programs revised for the TMS320C6713 DSK
Covers DSP principles with emphasis on communications and control applicationsChapter objectives, worked examples, and end-of-chapter exercises aid the reader in grasping key concepts and solving related problemsWebsite with MATLAB programs for simulation and C programs for real-time DSP

Differential Equations, Dynamical Systems, and an Introduction to Chaos (Hardcover, 3rd edition): Morris W. Hirsch, Stephen... Differential Equations, Dynamical Systems, and an Introduction to Chaos (Hardcover, 3rd edition)
Morris W. Hirsch, Stephen Smale, Robert L. Devaney
R1,926 R1,562 Discovery Miles 15 620 Save R364 (19%) Shipped within 7 - 12 working days

Hirsch, Devaney, and Smale s classic "Differential Equations, Dynamical Systems, and an Introduction to Chaos" has been used by professors as the primary text for undergraduate and graduate level courses covering differential equations. It provides a theoretical approach to dynamical systems and chaos written for a diverse student population among the fields of mathematics, science, and engineering. Prominent experts provide everything students need to know about dynamical systems as students seek to develop sufficient mathematical skills to analyze the types of differential equations that arise in their area of study. The authors provide rigorous exercises and examples clearly and easily by slowly introducing linear systems of differential equations. Calculus is required as specialized advanced topics not usually found in elementary differential equations courses are included, such as exploring the world of discrete dynamical systems and describing chaotic systems.
Classic text bythree of the world s most prominent mathematicians Continues the tradition of expository excellenceContains updated material and expanded applications for use in applied studies"

Particulate Morphology - Mathematics Applied to Particle Assemblies (Hardcover, New): Keishi Gotoh Particulate Morphology - Mathematics Applied to Particle Assemblies (Hardcover, New)
Keishi Gotoh
R1,550 R1,269 Discovery Miles 12 690 Save R281 (18%) Shipped within 7 - 12 working days

Encompassing over fifty years of research, Professor Gotoh addresses the correlation function of spatial structures and the statistical geometry of random particle assemblies. In this book morphological study is formed into random particle assemblies to which various mathematics are applied such as correlation function, radial distribution function and statistical geometry. This leads to the general comparison between the thermodynamic state such as gases and liquids and the random particle assemblies. Although structures of molecular configurations change at every moment due to thermal vibration, liquids can be regarded as random packing of particles. Similarly, gaseous states correspond to particle dispersion. If physical and chemical properties are taken away from the subject, the remainder is the structure itself. Hence, the structural study is ubiquitous and of fundamental importance. This book will prove useful to chemical engineers working on powder technology as well as mathematicians interested in learning more about the subject.
Concisely explains various mathematics and tools applied to the subject.Incorporates multiple fields to give a clear view of the application of mathematics in powder technology.

Engineering Materials 1 - An Introduction to Properties, Applications and Design (Paperback, 4th edition): Michael F. Ashby,... Engineering Materials 1 - An Introduction to Properties, Applications and Design (Paperback, 4th edition)
Michael F. Ashby, D.R.H. Jones
R1,235 R1,070 Discovery Miles 10 700 Save R165 (13%) Shipped within 7 - 12 working days

Widely adopted around the world, "Engineering Materials 1" is a core materials science and engineering text for third- and fourth-year undergraduate students; it provides a broad introduction to the mechanical and environmental properties of materials used in a wide range of engineering applications. The text is deliberately concise, with each chapter designed to cover the content of one lecture. As in previous editions, chapters are arranged in groups dealing with particular classes of properties, each group covering property definitions, measurement, underlying principles, and materials selection techniques. Every group concludes with a chapter of case studies that demonstrate practical engineering problems involving materials.

"Engineering Materials 1, Fourth Edition" is perfect as a stand-alone text for a one-semester course in engineering materials or a first text with its companion "Engineering Materials 2: An Introduction to Microstructures and Processing, " in a two-semester course or sequence.

New and Key Features Include:

Many new design case studies and design-based examplesRevised and expanded treatments of stress-strain, fatigue, creep, and corrosionAdditional worked examples-to consolidate, develop, and challengeCompendia of results for elastic beams, plastic moments, and stress intensity factorsMany new photographs and links to Google Earth, websites, and video clipsAccompanying companion site with access to instructors resources, including a suite of interactive materials science tutorials, a solutions manual, and an image bank of figures from the book"

Actuaries' Survival Guide - How to Succeed in One of the Most Desirable Professions (Paperback, 2nd edition): Fred Szabo Actuaries' Survival Guide - How to Succeed in One of the Most Desirable Professions (Paperback, 2nd edition)
Fred Szabo
R793 R747 Discovery Miles 7 470 Save R46 (6%) Shipped within 7 - 12 working days

What would you like to do with your life? What career would allow you to fulfill your dreams of success? If you like mathematics-and the prospect of a highly mobile, international profession-consider becoming an actuary.

Szabo s "Actuaries Survival Guide, Second Edition" explains what actuaries are, what they do, and where they do it. It describes exciting combinations of ideas, techniques, and skills involved in the day-to-day work of actuaries. This second edition has been updated to reflect the rise of social networking and the internet, the progress toward a global knowledge-based economy, and the global expansion of the actuarial field that has occurred since the first edition.
Includes details on the new structures of the Society of Actuaries (SOA) and Casualty Actuarial Society (CAS) examinations, as well as sample questions and answersPresents an overview of career options, includes profiles of companies & agencies that employ actuaries. Provides a link between theory and practice and helps readers understand the blend of qualitative and quantitative skills and knowledge required to succeed in actuarial examsIncludes insights provided by over 50 actuaries and actuarial students about the actuarial professionAuthor Fred Szabo has directed the Actuarial Co-op Program at Concordia for over fifteen years"

Process Planning - The Design/Manufacture Interface (Paperback, New): Peter Scallan Process Planning - The Design/Manufacture Interface (Paperback, New)
Peter Scallan
R1,069 Discovery Miles 10 690 Shipped within 7 - 12 working days

Process Planning covers the selection of processes, equipment, tooling and the sequencing of operations required to transform a chosen raw material into a finished product. Initial chapters review materials and processes for manufacturing and are followed by chapters detailing the core activities involved in process planning, from drawing interpretation to preparing the final process plan. The concept of maximising or 'adding value' runs throughout the book and is supported with activities.
Designed as a teaching and learning resource, each chapter begins with learning objectives, explores the theory behind process planning, and sets it in a 'real-life' context through the use of case studies and examples. Furthermore, the questions in the book develop the problem-solving skills of the reader.
ISO standards are used throughout the book (these are cross-referenced to corresponding British standards).
This is a core textbook, aimed at undergraduate students of manufacturing engineering, mechanical engineering with manufacturing options and materials science.
* Features numerous case studies and examples from industry to help provide an easy guide to a complex subject
* Fills a gap in the market for which there are currently no suitable texts
* Learning aims and objectives are provided at the beginning of each chapter - a user-friendly method to consolidate learning

Analysis on Real and Complex Manifolds, Volume 35 (Hardcover, 2nd edition): R. Narasimhan Analysis on Real and Complex Manifolds, Volume 35 (Hardcover, 2nd edition)
R. Narasimhan
R1,134 R1,057 Discovery Miles 10 570 Save R77 (7%) Shipped within 7 - 12 working days

Chapter 1 presents theorems on differentiable functions often used in differential topology, such as the implicit function theorem, Sard's theorem and Whitney's approximation theorem.
The next chapter is an introduction to real and complex manifolds. It contains an exposition of the theorem of Frobenius, the lemmata of Poincare and Grothendieck with applications of Grothendieck's lemma to complex analysis, the imbedding theorem of Whitney and Thom's transversality theorem.
Chapter 3 includes characterizations of linear differentiable operators, due to Peetre and Hormander. The inequalities of Garding and of Friedrichs on elliptic operators are proved and are used to prove the regularity of weak solutions of elliptic equations. The chapter ends with the approximation theorem of Malgrange-Lax and its application to the proof of the Runge theorem on open Riemann surfaces due to Behnke and Stein.

A Course in Real Analysis (Hardcover, 2nd edition): John N. McDonald, Neil A Weiss A Course in Real Analysis (Hardcover, 2nd edition)
John N. McDonald, Neil A Weiss
R1,339 Discovery Miles 13 390 Shipped within 7 - 12 working days

The second edition of "A Course in Real Analysis" provides a solid foundation of real analysis concepts and principles, presenting a broad range of topics in a clear and concise manner. The book is excellent at balancing theory and applications with a wealth of examples and exercises. The authors take a progressive approach of skill building to help students learn to absorb the abstract. Real world applications, probability theory, harmonic analysis, and dynamical systems theory are included, offering considerable flexibility in the choice of material to cover in the classroom. The accessible exposition not only helps students master real analysis, but also makes the book useful as a reference.
* New chapter on Hausdorff Measure and Fractals
* Key concepts and learning objectives give studentsa deeper understanding of the material to enhance learning
* More than 200 examples (not including parts) are used to illustrate definitions and results
* Over 1300 exercises (not including parts) are provided to promote understanding
* Each chapter begins with a brief biography of a famous mathematician"

Pattern Recognition (Hardcover, 4th edition): Sergios Theodoridis, Konstantinos Koutroumbas Pattern Recognition (Hardcover, 4th edition)
Sergios Theodoridis, Konstantinos Koutroumbas
R2,208 R1,786 Discovery Miles 17 860 Save R422 (19%) Shipped within 7 - 12 working days

This book considers classical and current theory and practice, of supervised, unsupervised and semi-supervised pattern recognition, to build a complete background for professionals and students of engineering. The authors, leading experts in the field of pattern recognition, have provided an up-to-date, self-contained volume encapsulating this wide spectrum of information. The very latest methods are incorporated in this edition: semi-supervised learning, combining clustering algorithms, and relevance feedback.

. Thoroughly developed to include many more worked examples to give greater understanding of the various methods and techniques

. Many more diagrams included--now in two color--to provide greater insight through visual presentation

. Matlab code of the most common methods are given at the end of each chapter.

. More Matlab code is available, together with an accompanying manual, via this site

. Latest hot topics included to further the reference value of the text including non-linear dimensionality reduction techniques, relevance feedback, semi-supervised learning, spectral clustering, combining clustering algorithms.

. An accompanying book with Matlab code of the most common methods and algorithms in the book, together with a descriptive summary, and solved examples including real-life data sets in imaging, and audio recognition. The companion book will be available separately or at a special packaged price (ISBN: 9780123744869).
Thoroughly developed to include many more worked examples to give greater understanding of the various methods and techniques Many more diagrams included--now in two color--to provide greater insight through visual presentation Matlab code of the most common methods are given at the end of each chapter An accompanying book with Matlab code of the most common methods and algorithms in the book, together with a descriptive summary and solved examples, and including real-life data sets in imaging and audio recognition. The companion book is available separately or at a special packaged price (Book ISBN: 9780123744869. Package ISBN: 9780123744913) Latest hot topics included to further the reference value of the text including non-linear dimensionality reduction techniques, relevance feedback, semi-supervised learning, spectral clustering, combining clustering algorithms Solutions manual, powerpoint slides, and additional resources are available to faculty using the text for their course. Register at www.textbooks.elsevier.com and search on "Theodoridis" to access resources for instructor. "

An Introduction to Differentiable Manifolds and Riemannian Geometry, Revised, Volume 120 (Paperback, 2nd edition): William M.... An Introduction to Differentiable Manifolds and Riemannian Geometry, Revised, Volume 120 (Paperback, 2nd edition)
William M. Boothby; Edited by (editors-in-chief) William M. Boothby
R1,826 R1,685 Discovery Miles 16 850 Save R141 (8%) Shipped within 7 - 12 working days

The second edition of this text has sold over 6,000 copies since publication in 1986 and this revision will make it even more useful. This is the only book available that is approachable by "beginners" in this subject. It has become an essential introduction to the subject for mathematics students, engineers, physicists, and economists who need to learn how to apply these vital methods. It is also the only book that thoroughly reviews certain areas of advanced calculus that are necessary to understand the subject.

Line and surface integrals
Divergence and curl of vector fields

Fractional Differential Equations, Volume 198 - An Introduction to Fractional Derivatives, Fractional Differential Equations,... Fractional Differential Equations, Volume 198 - An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications (Hardcover)
Igor Podlubny
R2,028 R1,868 Discovery Miles 18 680 Save R160 (8%) Shipped within 7 - 12 working days

This book is a landmark title in the continuous move from integer to non-integer in mathematics: from integer numbers to real numbers, from factorials to the gamma function, from integer-order models to models of an arbitrary order. For historical reasons, the word 'fractional' is used instead of the word 'arbitrary'.
This book is written for readers who are new to the fields of fractional derivatives and fractional-order mathematical models, and feel that they need them for developing more adequate mathematical models.
In this book, not only applied scientists, but also pure mathematicians will find fresh motivation for developing new methods and approaches in their fields of research.
A reader will find in this book everything necessary for the initial study and immediate application of fractional derivatives fractional differential equations, including several necessary special functions, basic theory of fractional differentiation, uniqueness and existence theorems, analytical numerical methods of solution of fractional differential equations, and many inspiring examples of applications.

Key Features
* A unique survey of many applications of fractional calculus
* Presents basic theory
* Includes a unified presentation of selected classical results, which are important for applications
* Provides many examples
* Contains a separate chapter of fractional order control systems, which opens new perspectives in control theory
* The first systematic consideration of Caputo's fractional derivative in comparison with other selected approaches
* Includes tables of fractional derivatives, which can be used for evaluation of all considered types of fractional derivatives

Sobolev Spaces, Volume 140 (Hardcover, 2nd edition): Robert A. Adams, John J.F. Fournier Sobolev Spaces, Volume 140 (Hardcover, 2nd edition)
Robert A. Adams, John J.F. Fournier
R3,316 R2,624 Discovery Miles 26 240 Save R692 (21%) Shipped within 7 - 12 working days

Sobolev Spaces presents an introduction to the theory of Sobolev Spaces and other related spaces of function, also to the imbedding characteristics of these spaces. This theory is widely used in pure and Applied Mathematics and in the Physical Sciences.
This second edition of Adam's 'classic' reference text contains many additions and much modernizing and refining of material. The basic premise of the book remains unchanged: Sobolev Spaces is intended to provide a solid foundation in these spaces for graduate students and researchers alike.
* Self-contained and accessible for readers in other disciplines.
* Written at elementary level making it accessible to graduate students.

Noncommutative Geometry (Hardcover): Alain Connes Noncommutative Geometry (Hardcover)
Alain Connes
R1,171 R1,094 Discovery Miles 10 940 Save R77 (7%) Shipped within 7 - 12 working days

This English version of the path-breaking French book on this subject gives the definitive treatment of the revolutionary approach to measure theory, geometry, and mathematical physics developed by Alain Connes. Profusely illustrated and invitingly written, this book is ideal for anyone who wants to know what noncommutative geometry is, what it can do, or how it can be used in various areas of mathematics, quantization, and elementary particles and fields.
Key Features
* First full treatment of the subject and its applications
* Written by the pioneer of this field
* Broad applications in mathematics
* Of interest across most fields
* Ideal as an introduction and survey
* Examples treated include:
@subbul* the space of Penrose tilings
* the space of leaves of a foliation
* the space of irreducible unitary representations of a discrete group
* the phase space in quantum mechanics
* the Brillouin zone in the quantum Hall effect
* A model of space time

Set Theory An Introduction To Independence Proofs, Volume 102 (Hardcover, New edition): Kenneth Kunen Set Theory An Introduction To Independence Proofs, Volume 102 (Hardcover, New edition)
Kenneth Kunen
R1,124 R1,047 Discovery Miles 10 470 Save R77 (7%) Shipped within 7 - 12 working days

Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.

Lectures on the Curry-Howard Isomorphism, Volume 149 (Hardcover, 149th edition): Morten Heine Sorensen, Pawel Urzyczyn Lectures on the Curry-Howard Isomorphism, Volume 149 (Hardcover, 149th edition)
Morten Heine Sorensen, Pawel Urzyczyn
R2,781 R2,552 Discovery Miles 25 520 Save R229 (8%) Shipped within 7 - 12 working days

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,
minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.
The isomorphism has many aspects, even at the syntactic level:
formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc.
But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms
proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.


Key features
- The Curry-Howard Isomorphism treated as common theme
- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics
- Thorough study of the connection between calculi and logics
- Elaborate study of classical logics and control operators
- Account of dialogue games for classical and intuitionistic logic
- Theoretical foundations of computer-assisted reasoning


. The Curry-Howard Isomorphism treated as the common theme.
. Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
. Thorough study of the connection between calculi and logics.
. Elaborate study of classical logics and control operators.
. Account of dialogue games for classical and intuitionistic logic.
. Theoretical foundations of computer-assisted reasoning"

Algorithmic Graph Theory and Perfect Graphs, Volume 57 (Hardcover, 2nd edition): Martin Charles Golumbic Algorithmic Graph Theory and Perfect Graphs, Volume 57 (Hardcover, 2nd edition)
Martin Charles Golumbic
R1,394 R1,293 Discovery Miles 12 930 Save R101 (7%) Shipped within 7 - 12 working days

Algorithmic Graph Theory and Perfect Graphs, first published in 1980, has become the classic introduction to the field. This new Annals edition continues to convey the message that intersection graph models are a necessary and important tool for solving real-world problems. It remains a stepping stone from which the reader may embark on one of many fascinating research trails.
The past twenty years have been an amazingly fruitful period of research in algorithmic graph theory and structured families of graphs. Especially important have been the theory and applications of new intersection graph models such as generalizations of permutation graphs and interval graphs. These have lead to new families of perfect graphs and many algorithmic results. These are surveyed in the new Epilogue chapter in this second edition.
-New edition of the "Classic" book on the topic
-Wonderful introduction to a rich research area
-Leading author in the field of algorithmic graph theory
-Beautifully written for the new mathematician or computer scientist
-Comprehensive treatment

An Introduction to Non-Harmonic Fourier Series, Revised Edition, 93 (Hardcover, 2nd edition): Robert M Young An Introduction to Non-Harmonic Fourier Series, Revised Edition, 93 (Hardcover, 2nd edition)
Robert M Young
R1,651 Discovery Miles 16 510 Shipped within 7 - 12 working days

An Introduction to Non-Harmonic Fourier Series, Revised Edition is an update of a widely known and highly respected classic textbook.
Throughout the book, material has also been added on recent developments, including stability theory, the frame radius, and applications to signal analysis and the control of partial differential equations.

Approximation and Optimization of Discrete and Differential Inclusions (Hardcover): Approximation and Optimization of Discrete and Differential Inclusions (Hardcover)
R2,424 R1,969 Discovery Miles 19 690 Save R455 (19%) Shipped within 7 - 12 working days

Optimal control theory has numerous applications in both science and engineering.

This book presents basic concepts and principles of mathematical programming in terms of set-valued analysis and develops a comprehensive optimality theory of problems described by ordinary and partial differential inclusions.

In addition to including well recognized results of variational analysis and optimization, the book includes a number of new and important ones
Includes practical examples

Semi-Riemannian Geometry With Applications to Relativity, Volume 103 (Hardcover): Barrett O'Neill Semi-Riemannian Geometry With Applications to Relativity, Volume 103 (Hardcover)
Barrett O'Neill
R1,139 R1,062 Discovery Miles 10 620 Save R77 (7%) Shipped within 7 - 12 working days

This book is an exposition of "semi-Riemannian geometry" (also called "pseudo-Riemannian geometry")--the study of a smooth manifold furnished with a metric tensor of arbitrary signature. The principal special cases are Riemannian geometry, where the metric is positive definite, and Lorentz geometry. For many years these two geometries have developed almost independently: Riemannian geometry reformulated in coordinate-free fashion and directed toward global problems, Lorentz geometry in classical tensor notation devoted to general relativity. More recently, this divergence has been reversed as physicists, turning increasingly toward invariant methods, have produced results of compelling mathematical interest.

Mathematical Modeling (Hardcover, 4th edition): Mathematical Modeling (Hardcover, 4th edition)
R1,724 Discovery Miles 17 240 Shipped within 7 - 12 working days

The new edition of "Mathematical Modeling," the survey text of choice for mathematical modeling courses, adds ample instructor support and online delivery for solutions manuals and software ancillaries.

From genetic engineering to hurricane prediction, mathematical models guide much of the decision making in our society. If the assumptions and methods underlying the modeling are flawed, the outcome can be disastrously poor. With mathematical modeling growing rapidly in so many scientific and technical disciplines, "Mathematical Modeling, Fourth Edition" provides a rigorous treatment of the subject. The book explores a range of approaches including optimization models, dynamic models and probability models.
Offers increased support for instructors, including MATLAB material as well as other on-line resourcesFeatures new sections on time series analysis and diffusion modelsProvides additional problems with international focus such as whale and dolphin populations, plus updated optimization problems

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Feature Extraction and Image Processing…
Mark Nixon, Alberto S. Aguado Paperback R1,358 R1,264 Discovery Miles 12 640
A Guide to Microsoft Excel 2007 for…
Bernard V Liengme Paperback R742 R702 Discovery Miles 7 020
A Mathematical Introduction to Logic
Herbert B. Enderton Hardcover R1,720 Discovery Miles 17 200
Up and Running with AutoCAD 2013 - 2D…
Elliot Gindis Paperback R1,490 R1,261 Discovery Miles 12 610
Thermodynamic Tables to Accompany Modern…
Robert T. Balmer Paperback R446 Discovery Miles 4 460
Up and Running with AutoCAD 2010
Elliot Gindis Paperback R967 R753 Discovery Miles 7 530
Plastics - Microstructure and…
Mike Jenkins, Nigel Mills Paperback R1,673 Discovery Miles 16 730
Mechatronics - Principles and…
Godfrey C. Onwubolu Paperback R1,902 Discovery Miles 19 020
Introduction to Linear Circuit Analysis…
Luis Moura, Izzat Darwazeh Paperback R1,498 Discovery Miles 14 980
Control Systems
William Bolton Paperback R1,107 Discovery Miles 11 070

 

Partners