0
Your cart

Your cart is empty

Browse All Departments
Price
  • R250 - R500 (2)
  • R500+ (284)
  • -
Status
Format
Author / Contributor
Publisher

Books > Academic & Education > Professional & Technical > Mathematics

History of Topology (Hardcover, 1st ed): I. M. James History of Topology (Hardcover, 1st ed)
I. M. James
R6,491 Discovery Miles 64 910 Ships in 12 - 17 working days

Topology, for many years, has been one of the most exciting and influential fields of research in modern mathematics. Although its origins may be traced back several hundred years, it was Poincare who "gave topology wings" in a classic series of articles published around the turn of the century. While the earlier history, sometimes called the prehistory, is also considered, this volume is mainly concerned with the more recent history of topology, from Poincare onwards.
As will be seen from the list of contents the articles cover a wide range of topics. Some are more technical than others, but the reader without a great deal of technical knowledge should still find most of the articles accessible. Some are written by professional historians of mathematics, others by historically-minded mathematicians, who tend to have a different viewpoint.

Numbers and Proofs (Paperback): Reg Allenby Numbers and Proofs (Paperback)
Reg Allenby
R1,394 R1,303 Discovery Miles 13 030 Save R91 (7%) Ships in 12 - 17 working days

'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as well as construct their own. Useful methods of proof are illustrated in the context of studying problems concerning mainly numbers (real, rational, complex and integers). An indispensable guide to all students of mathematics. Each proof is preceded by a discussion which is intended to show the reader the kind of thoughts they might have before any attempt proof is made. Established proofs which the student is in a better position to follow then follow.
Presented in the author's entertaining and informal style, and written to reflect the changing profile of students entering universities, this book will prove essential reading for all seeking an introduction to the notion of proof as well as giving a definitive guide to the more common forms. Stressing the importance of backing up "truths" found through experimentation, with logically sound and watertight arguments, it provides an ideal bridge to more complex undergraduate maths.

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
R1,043 Discovery Miles 10 430 Ships in 12 - 17 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"

Probability - Modular Mathematics Series (Paperback): John McColl Probability - Modular Mathematics Series (Paperback)
John McColl
R905 Discovery Miles 9 050 Ships in 12 - 17 working days

Probability is relevant to so many different subject areas that its importance as a mathematical technique cannot be underestimated. This book provides a comprehensive, user-friendly introduction to the subject. The step-by-step approach taken by the author allows students to develop knowledge at their own pace and, by working through the numerous exercises, they are ensured a full understanding of the material before moving on to more advanced sections. Traditional examples of probablistic theory, such as coins and dice, are included but the author has also used many exercises based on real-life problems. The result is an introduction to probability that avoids the overly confusing, theoretical approach often adopted in this area, and provides a simple and concise text that will be invaluable to all studying first and second year courses on the subject.

Algorithms and Complexity, Volume A (Hardcover): Author Unknown Algorithms and Complexity, Volume A (Hardcover)
Author Unknown
R1,491 Discovery Miles 14 910 Ships in 12 - 17 working days

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Pattern Recognition (Hardcover, 4th edition): Konstantinos Koutroumbas, Sergios Theodoridis Pattern Recognition (Hardcover, 4th edition)
Konstantinos Koutroumbas, Sergios Theodoridis
R2,736 R2,400 Discovery Miles 24 000 Save R336 (12%) Ships in 12 - 17 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. "

Group Theory in Physics - Volume 1 (Paperback, New edition): John F. Cornwell Group Theory in Physics - Volume 1 (Paperback, New edition)
John F. Cornwell
R1,874 R1,678 Discovery Miles 16 780 Save R196 (10%) Ships in 12 - 17 working days

Techniques of physics find wide application in biology, medicine, engineering and technology generally. This series is devoted to techniques which have found and are finding application. The aim is to clarify the principles of each technique, to emphasize and illustrate the applications and to draw attention to new fields of possible employment.

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,597 R2,243 Discovery Miles 22 430 Save R354 (14%) Ships in 12 - 17 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.

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
R2,328 Discovery Miles 23 280 Ships in 12 - 17 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

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
R2,172 Discovery Miles 21 720 Ships in 12 - 17 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.

Problems in Real Analysis (Hardcover, 2nd edition): Charalambos D. Aliprantis, Owen Burkinshaw Problems in Real Analysis (Hardcover, 2nd edition)
Charalambos D. Aliprantis, Owen Burkinshaw
R2,210 Discovery Miles 22 100 Ships in 12 - 17 working days

A collection of problems and solutions in real analysis based on the major textbook, "Principles of Real Analysis" (also by Aliprantis and Burkinshaw), "Problems in Real Analysis" is the ideal companion for senior science and engineering undergraduates and first-year graduate courses in real analysis. It is intended for use as an independent source, and is an invaluable tool for students who wish to develop a deep understanding and proficiency in the use of integration methods.
"Problems in Real Analysis" teaches the basic methods of proof and problem-solving by presenting the complete solutions to over 600 problems that appear in "Principles of Real Analysis, Third Edition." The problems are distributed in forty sections, and cover the entire spectrum of difficulty.

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,492 R1,392 Discovery Miles 13 920 Save R100 (7%) Ships in 12 - 17 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.

The Theory of Matrices - With Applications (Hardcover, 2nd edition): Peter Lancaster, Miron Tismenetsky The Theory of Matrices - With Applications (Hardcover, 2nd edition)
Peter Lancaster, Miron Tismenetsky
R4,145 Discovery Miles 41 450 Ships in 12 - 17 working days

In this book the authors try to bridge the gap between the treatments of matrix theory and linear algebra. It is aimed at graduate and advanced undergraduate students seeking a foundation in mathematics, computer science, or engineering. It will also be useful as a reference book for those working on matrices and linear algebra for use in their scientific work.

Engineering Materials 2 - An Introduction to Microstructures and Processing (Paperback, 4th edition): David R.H. Jones, Michael... Engineering Materials 2 - An Introduction to Microstructures and Processing (Paperback, 4th edition)
David R.H. Jones, Michael F. Ashby
R1,596 Discovery Miles 15 960 Ships in 12 - 17 working days

"Engineering Materials 2" is one of the leading self-contained texts for more advanced students of materials science and mechanical engineering. The book provides a concise introduction to the microstructures and processing of materials and shows how these are related to the properties required in engineering design. As with previous editions, each chapter is designed to provide the content of one 50-minute lecture. The fourth edition has been updated to include new case studies, more worked examples, links to relevant websites and video clips. Other changes include an increased emphasis on the relationship between structure, processing and properties, and integration of the popular tutorial on phase diagrams into the main text.

"Engineering Materials 2, Fourth Edition" is perfect as a stand-alone text for an advanced course in engineering materials or a second text with its companion "Engineering Materials 1: An Introduction to Properties, Applications, and Design, Fourth Edition" in a two-semester course or sequence.
Many new or revised applications-based case studies and examplesTreatment of phase diagrams integrated within the main textIncreased emphasis on the relationship between structure, processing and properties, in both conventional and innovative materialsFrequent worked examples - to consolidate, develop, and challengeMany 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"

Analysis and Probability (Hardcover, New): Aurel Spataru Analysis and Probability (Hardcover, New)
Aurel Spataru
R3,191 R2,777 Discovery Miles 27 770 Save R414 (13%) Ships in 12 - 17 working days

Probability theory is a rapidly expanding field and is used in many areas of science and technology. Beginning from a basis of abstract analysis, this mathematics book develops the knowledge needed for advanced students to develop a complex understanding of probability. The first part of the book systematically presents concepts and results from analysis before embarking on the study of probability theory. The initial section will also be useful for those interested in topology, measure theory, real analysis and functional analysis. The second part of the book presents the concepts, methodology and fundamental results of probability theory. Exercises are included throughout the text, not just at the end, to teach each concept fully as it is explained, including presentations of interesting extensions of the theory. The complete and detailed nature of the book makes it ideal as a reference book or for self-study in probability and related fields.
Covers a wide range of subjects including f-expansions, Fuk-Nagaev inequalities and Markov triples.Provides multiple clearly worked exercises with complete proofs.Guides readers through examples so they can understand and write research papers independently.

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
R2,493 R2,239 Discovery Miles 22 390 Save R254 (10%) Ships in 12 - 17 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"

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,923 Discovery Miles 19 230 Ships in 12 - 17 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"

A Concrete Approach to Abstract Algebra - From the Integers to the Insolvability of the Quintic (Paperback): Jeffrey Bergen A Concrete Approach to Abstract Algebra - From the Integers to the Insolvability of the Quintic (Paperback)
Jeffrey Bergen
R2,873 Discovery Miles 28 730 Ships in 9 - 15 working days

"A Concrete Approach to Abstract Algebra"begins with a concrete and thorough examination of familiar objects like integers, rational numbers, real numbers, complex numbers, complex conjugation and polynomials, in this unique approach, the author builds upon these familar objects and then uses them to introduce and motivate advanced concepts in algebra in a manner that is easier to understand for most students.The text will be of particular interest to teachers and future teachers as it links abstract algebra to many topics wich arise in courses in algebra, geometry, trigonometry, precalculus and calculus. The final four chapters presentthe more theoretical material needed for graduate study.

Ancillary list: * Online ISM- http: //textbooks.elsevier.com/web/manuals.aspx?isbn=9780123749413 * Online SSM- http: //www.elsevierdirect.com/product.jsp?isbn=9780123749413 * Ebook- http: //www.elsevierdirect.com/product.jsp?isbn=9780123749413
Presents a more natural 'rings first' approachto effectively leading the student into the the abstract material of the course by the use of motivating concepts from previous math courses to guide the discussion of abstract algebraBridges the gap for students by showing how most of the concepts within an abstract algebra course are actually tools used to solve difficult, but well-known problems Builds on relatively familiar material (Integers, polynomials) and moves onto more abstract topics, while providing a historical approach of introducing groups first as automorphisms Exercises provide a balanced blend of difficulty levels, while the quantity allows the instructor a latitude of choices

"

Computational Theory of Iterative Methods, Volume 15 (Hardcover, 15th edition): Ioannis Argyros Computational Theory of Iterative Methods, Volume 15 (Hardcover, 15th edition)
Ioannis Argyros
R6,212 Discovery Miles 62 120 Ships in 10 - 15 working days

The book is designed for researchers, students and practitioners interested in using fast and efficient iterative methods to approximate solutions of nonlinear equations. The following four major problems are addressed. Problem 1: Show that the iterates are well defined. Problem 2: concerns the convergence of the sequences generated by a process and the question of whether the limit points are, in fact solutions of the equation. Problem 3: concerns the economy of the entire operations. Problem 4: concerns with how to best choose a method, algorithm or software program to solve a specific type of problem and its description of when a given algorithm succeeds or fails. The book contains applications in several areas of applied sciences including mathematical programming and mathematical economics. There is also a huge number of exercises complementing the theory.
- Latest convergence results for the iterative methods
- Iterative methods with the least computational cost
- Iterative methods with the weakest convergence conditions
- Open problems on iterative methods

Handbook of Quantum Logic and Quantum Structures - Quantum Structures (Hardcover): Kurt Engesser, Dov M. Gabbay, Daniel Lehmann Handbook of Quantum Logic and Quantum Structures - Quantum Structures (Hardcover)
Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
R7,306 Discovery Miles 73 060 Ships in 10 - 15 working days

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics" quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.
Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures is appropriate.
The chapters of this Handbook, which are authored by the most eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic and quantum structures. Much of the material presented is of recent origin representing the frontier of the subject.
The present volume focuses on quantum structures. Among the structures studied extensively in this volume are, just to name a few, Hilbert lattices, D-posets, effect algebras MV algebras, partially ordered Abelian groups and those structures underlying quantum probability.
- Written by eminent scholars in the field of logic
- A comprehensive presentation of the theory, approaches and results in the field of quantum logic
- Volume focuses on quantum structures

Numerical Methods for Roots of Polynomials - Part I, Volume 14 (Hardcover, 14th edition): J. M. McNamee Numerical Methods for Roots of Polynomials - Part I, Volume 14 (Hardcover, 14th edition)
J. M. McNamee
R5,052 Discovery Miles 50 520 Ships in 10 - 15 working days

This book (along with volume 2 covers most of the traditional methods for polynomial root-finding such as Newton s, as well as numerous variations on them invented in the last few decades. Perhaps more importantly it covers recent developments such as Vincent s method, simultaneous iterations, and matrix methods. There is an extensive chapter on evaluation of polynomials, including parallel methods and errors. There are pointers to robust and efficient programs. In short, it could be entitled A Handbook of Methods for Polynomial Root-finding . This book will be invaluable to anyone doing research in polynomial roots, or teaching a graduate course on that topic.


- First comprehensive treatment of Root-Finding in several decades.
- Gives description of high-grade software and where it can be down-loaded.
- Very up-to-date in mid-2006; long chapter on matrix methods.
- Includes Parallel methods, errors where appropriate.
- Invaluable for research or graduate course.

"

Viability, Invariance and Applications, Volume 207 (Hardcover, 207th edition): Ovidiu Carja, Mihai Necula, Ioan I. Vrabie Viability, Invariance and Applications, Volume 207 (Hardcover, 207th edition)
Ovidiu Carja, Mihai Necula, Ioan I. Vrabie
R4,086 Discovery Miles 40 860 Ships in 10 - 15 working days

The book is an almost self-contained presentation of the most important concepts and results in viability and invariance. The viability of a set K with respect to a given function (or multi-function) F, defined on it, describes the property that, for each initial data in K, the differential equation (or inclusion) driven by that function or multi-function) to have at least one solution. The invariance of a set K with respect to a function (or multi-function) F, defined on a larger set D, is that property which says that each solution of the differential equation (or inclusion) driven by F and issuing in K remains in K, at least for a short time.
The book includes the most important necessary and sufficient conditions for viability starting with Nagumo's Viability Theorem for ordinary differential equations with continuous right-hand sides and continuing with the corresponding extensions either to differential inclusions or to semilinear or even fully nonlinear evolution equations, systems and inclusions. In the latter (i.e. multi-valued) cases, the results (based on two completely new tangency concepts), all due to the authors, are original and extend significantly, in several directions, their well-known classical counterparts.
- New concepts for multi-functions as the classical tangent vectors for functions
- Provides the very general and necessary conditions for viability in the case of differential inclusions, semilinear and fully nonlinear evolution inclusions
- Clarifying examples, illustrations and numerous problems, completely and carefully solved
- Illustrates the applications from theory into practice
- Very clear and elegant style

Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 (Hardcover, 151st edition): Nikolaos Galatos,... Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 (Hardcover, 151st edition)
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
R4,125 Discovery Miles 41 250 Ships in 10 - 15 working days

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics.
As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones.
Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric.
- Considers both the algebraic and logical perspective within a common framework.
- Written by experts in the area.
- Easily accessible to graduate students and researchers from other fields.
- Results summarized in tables and diagrams to provide an overview of the area.
- Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions.
- Provides a concise introduction to the subject and leads directly to research topics.
- The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level.

Open Problems in Topology II (Hardcover, 2nd edition): Elliott M. Pearl Open Problems in Topology II (Hardcover, 2nd edition)
Elliott M. Pearl
R3,311 Discovery Miles 33 110 Ships in 10 - 15 working days

This volume is a collection of surveys of research problems in topology and its applications. The topics covered include general topology, set-theoretic topology, continuum theory, topological algebra, dynamical systems, computational topology and functional analysis.
* New surveys of research problems in topology
* New perspectives on classic problems
* Representative surveys of research groups from all around the world

Handbook of Latent Variable and Related Models, Volume 1 (Hardcover): Sik--Yum Lee Handbook of Latent Variable and Related Models, Volume 1 (Hardcover)
Sik--Yum Lee
R4,950 Discovery Miles 49 500 Ships in 10 - 15 working days

This Handbook covers latent variable models, which are a flexible class of models for modeling multivariate data to explore relationships among observed and latent variables.
- Covers a wide class of important models
- Models and statistical methods described provide tools for analyzing a wide spectrum of complicated data
- Includes illustrative examples with real data sets from business, education, medicine, public health and sociology.
- Demonstrates the use of a wide variety of statistical, computational, and mathematical techniques.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Digital Signal Processing and…
Dag Stranneby Paperback R1,403 Discovery Miles 14 030
Mathematics NQF Level 2 - Student's Book
A. Hurjunlal, H. Junak, … Paperback R328 R289 Discovery Miles 2 890
Control Systems
William Bolton Paperback R1,065 R1,010 Discovery Miles 10 100
Process Selection - From Design to…
K. G Swift, J.D. Booker Paperback R1,311 R1,231 Discovery Miles 12 310
Multigrid
Ulrich Trottenberg, Cornelius W. Oosterlee, … Hardcover R2,315 Discovery Miles 23 150
Mathematics for Engineers and…
Huw Fox, William Bolton Paperback R1,411 R1,321 Discovery Miles 13 210
Finite Element Programming
Leanne Hinton, D.R.J. Owen Paperback R1,477 R1,377 Discovery Miles 13 770
Introduction to Digital Signal…
Robert Meddins Paperback R1,435 R1,338 Discovery Miles 13 380
Active Control of Sound
P.A. Nelson Hardcover R1,407 Discovery Miles 14 070
Strength of Materials and Structures
Carl T.F. Ross, John Case, … Paperback R2,992 R2,732 Discovery Miles 27 320

 

Partners