0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (290)
  • R250 - R500 (619)
  • R500+ (2,078)
  • -
Status
Format
Author / Contributor
Publisher

Books > Science & Mathematics > Mathematics > Mathematical foundations > General

Logic Year 1979-80 - The University of Connecticut, USA (Paperback, 1981 ed.): M. Lerman, J. H. Schmerl, R. I Soare Logic Year 1979-80 - The University of Connecticut, USA (Paperback, 1981 ed.)
M. Lerman, J. H. Schmerl, R. I Soare
R1,630 Discovery Miles 16 300 Ships in 18 - 22 working days
Model Theory and Arithmetic - Comptes Rendus D'une Action Thematique Programmee Du C.N.R.S. Sur La Theorie Des Modeles Et... Model Theory and Arithmetic - Comptes Rendus D'une Action Thematique Programmee Du C.N.R.S. Sur La Theorie Des Modeles Et L'arithmetique, Paris, France, 1979/80 (English, French, Paperback, 1981 ed.)
C. Berline, K. McAloon, J. -P Ressayre
R1,518 Discovery Miles 15 180 Ships in 18 - 22 working days
Cylindric Set Algebras (Paperback, 1981 ed.): L. Henkin, J.D. Monk, A. Tarski, H. Andreka, I. Nemeti Cylindric Set Algebras (Paperback, 1981 ed.)
L. Henkin, J.D. Monk, A. Tarski, H. Andreka, I. Nemeti
R1,624 Discovery Miles 16 240 Ships in 18 - 22 working days
Model Theory of Algebra and Arithmetic (English, French, Paperback, 1980 ed.): L. Pacholski, J. Wierzejewski, A. J. Wilkie Model Theory of Algebra and Arithmetic (English, French, Paperback, 1980 ed.)
L. Pacholski, J. Wierzejewski, A. J. Wilkie
R1,522 Discovery Miles 15 220 Ships in 18 - 22 working days
Analysis and Optimization of Systems - 4th International Conference: Papers (English, French, Paperback, 1980 ed.): A.... Analysis and Optimization of Systems - 4th International Conference: Papers (English, French, Paperback, 1980 ed.)
A. Bensoussan, J.L. Lions
R1,539 Discovery Miles 15 390 Ships in 18 - 22 working days

From the foreword: "This volume contains most of the 113 papers presented during the Eighth International Conference on Analysis and Optimization of Systems organized by the Institut National de Recherche en Informatique et en Automatique. Papers were presented by speakers coming from 21 different countries. These papers deal with both theoretical and practical aspects of Analysis and Optimization of Systems. Most of the topics of System Theory have been covered and five invited speakers of international reputation have presented the new trends of the field."

Constructive Mathematics - Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August... Constructive Mathematics - Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 (Paperback, 1981 ed.)
F Richman
R1,637 Discovery Miles 16 370 Ships in 18 - 22 working days
Recursion on the Countable Functionals (Paperback, 1980 ed.): D. Normann Recursion on the Countable Functionals (Paperback, 1980 ed.)
D. Normann
R1,103 Discovery Miles 11 030 Ships in 18 - 22 working days
Cabal Seminar 77 - 79 - Proceedings, Caltech-UCLA Logic Seminar 1977 - 79 (Paperback): A. S. Kechris, D. a. Martin, Y.N.... Cabal Seminar 77 - 79 - Proceedings, Caltech-UCLA Logic Seminar 1977 - 79 (Paperback)
A. S. Kechris, D. a. Martin, Y.N. Moschovakis
R1,428 Discovery Miles 14 280 Ships in 18 - 22 working days
Where Do Numbers Come From? (Hardcover): T. W. Koerner Where Do Numbers Come From? (Hardcover)
T. W. Koerner
R2,008 Discovery Miles 20 080 Ships in 10 - 15 working days

Why do we need the real numbers? How should we construct them? These questions arose in the nineteenth century, along with the ideas and techniques needed to address them. Nowadays it is commonplace for apprentice mathematicians to hear 'we shall assume the standard properties of the real numbers' as part of their training. But exactly what are those properties? And why can we assume them? This book is clearly and entertainingly written for those students, with historical asides and exercises to foster understanding. Starting with the natural (counting) numbers and then looking at the rational numbers (fractions) and negative numbers, the author builds to a careful construction of the real numbers followed by the complex numbers, leaving the reader fully equipped with all the number systems required by modern mathematical analysis. Additional chapters on polynomials and quarternions provide further context for any reader wanting to delve deeper.

Topological Model Theory (Paperback, 1980 ed.): Joerg Flum, Martin Ziegler Topological Model Theory (Paperback, 1980 ed.)
Joerg Flum, Martin Ziegler
R1,083 Discovery Miles 10 830 Ships in 18 - 22 working days
*- Autonomous Categories (Paperback, 1979 ed.): Po-Hsiang Chu *- Autonomous Categories (Paperback, 1979 ed.)
Po-Hsiang Chu; M. Barr
R1,074 Discovery Miles 10 740 Ships in 18 - 22 working days
5th Conference on Automated Deduction - Les Arcs, France, July 8-11, 1980 (Paperback, 1980 ed.): Wolfgang Bibel, R. Kowalski 5th Conference on Automated Deduction - Les Arcs, France, July 8-11, 1980 (Paperback, 1980 ed.)
Wolfgang Bibel, R. Kowalski
R1,552 Discovery Miles 15 520 Ships in 18 - 22 working days
Advanced Common Core Math Explorations - Ratios, Proportions, and Similarity (Grades 5-8) (Paperback): Jerry Burkhart Advanced Common Core Math Explorations - Ratios, Proportions, and Similarity (Grades 5-8) (Paperback)
Jerry Burkhart
R964 Discovery Miles 9 640 Ships in 10 - 15 working days

Stretch your students' mathematical imaginations to their limits as they solve challenging real-world and mathematical problems that extend concepts from the Common Core State Standards for Mathematics in Advanced Common Core Math Explorations: Ratios, Proportions, and Similarity. Model the solar system, count the fish in a lake, choose the best gear for a bike ride, solve a middle school's overcrowding problem, and explore the mysteries of Fibonacci numbers and the golden ratio. Each activity comes with extensive teacher support including student handouts, discussion guides, detailed solutions, and suggestions for extending the investigations. Grades 5-8

Fundamentals of Queueing Theory, Fifth Edition (Hardcover, 5th Edition): JF Shortle Fundamentals of Queueing Theory, Fifth Edition (Hardcover, 5th Edition)
JF Shortle
R3,560 Discovery Miles 35 600 Ships in 10 - 15 working days

The definitive guide to queuing theory and it practical applications features numerous real-world examples of scientific, engineering, and business applications Thoroughly updated and expanded to reflect the latest developments in the field, Fundamentals of Queueing Theory, Fifth Edition presents the statistical principles and processes involved in the analysis of the probabilistic nature of queues. Rather than focus narrowly on one or another application area, the authors illustrate the theory in practice across a range of fields, from computer science and various engineering disciplines to business and operations research. Critically, the text also provides a numerical approach to understanding and making estimations with queuing theory and provides comprehensive coverage of both simple and advanced queueing models. As with all preceding editions, this latest update of the classic text features a unique blend of the theoretical and timely real-world applications. The introductory section has been reorganized with expanded coverage of qualitative/non-mathematical approaches to queueing theory, including a high-level description of queues in everyday life. New sections on non-stationary fluid queues, fairness in queueing, and Little s Law have been added, as has expanded coverage of stochastic processes, including the Poisson process and Markov chains. * Each chapter provides a self-contained presentation of key concepts and formulas, to allow readers to focus independently on topics relevant to their interests * A summary table at the end of the book outlines the queues that have been discussed and the types of results that have been obtained for each queue * Examples from a range of disciplines highlight practical issues often encountered when applying the theory to real-world problems * A companion website features QtsPlus, an Excel-based software platform that provides computer-based solutions for most queueing models presented in the book. Featuring chapter-end exercises and problems all of which have been classroom-tested and refined by the authors in advanced undergraduate and graduate-level courses Fundamentals of Queueing Theory, Fifth Edition is an ideal textbook for courses in applied mathematics, queueing theory, probability and statistics, and stochastic processes. This book is also a valuable reference for practitioners in applied mathematics, operations research, engineering, and industrial engineering.

Mechanizing Hypothesis Formation - Mathematical Foundations for a General Theory (Paperback, Softcover reprint of the original... Mechanizing Hypothesis Formation - Mathematical Foundations for a General Theory (Paperback, Softcover reprint of the original 1st ed. 1978)
P. Hajek, T. Havranek
R1,455 Discovery Miles 14 550 Ships in 18 - 22 working days

Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"Can computers think?" is specified to the question ,"Can computers formulate and justify hypotheses?" Various attempts have been made to answer the latter question positively. The present book is one such attempt. Our aim is not to formalize and mechanize the whole domain of inductive reasoning. Our ultimate question is: Can computers formulate and justify scientific hypotheses? Can they comprehend empirical data and process them rationally, using the apparatus of modern mathematical logic and statistics to try to produce a rational image of the observed empirical world? Theories of hypothesis formation are sometimes called logics of discovery. Plotkin divides a logic of discovery into a logic of induction: studying the notion of justification of a hypothesis, and a logic of suggestion: studying methods of suggesting reasonable hypotheses. We use this division for the organization of the present book: Chapter I is introductory and explains the subject of our logic of discovery. The rest falls into two parts: Part A - a logic of induction, and Part B - a logic of suggestion.

Obstruction Theory - On Homotopy Classification of Maps (Paperback, 1977 ed.): H-J Baues Obstruction Theory - On Homotopy Classification of Maps (Paperback, 1977 ed.)
H-J Baues
R1,661 Discovery Miles 16 610 Ships in 18 - 22 working days
The Axiom of Constructibility - A Guide for the Mathematician (Paperback, 1977 ed.): K. J Devlin The Axiom of Constructibility - A Guide for the Mathematician (Paperback, 1977 ed.)
K. J Devlin
R1,050 Discovery Miles 10 500 Ships in 18 - 22 working days
First Order Categorical Logic - Model-Theoretical Methods in the Theory of Topoi and Related Categories (Paperback, 1977 ed.):... First Order Categorical Logic - Model-Theoretical Methods in the Theory of Topoi and Related Categories (Paperback, 1977 ed.)
M. Makkai, G.E. Reyes
R1,507 Discovery Miles 15 070 Ships in 18 - 22 working days
Fundamentals of Computation Theory - Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September... Fundamentals of Computation Theory - Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977 (Paperback, 1977 ed.)
Marek Karpinski
R1,635 Discovery Miles 16 350 Ships in 18 - 22 working days
The Homology of Iterated Loop Spaces (Paperback, 1976 ed.): F.R. Cohen, T. J. Lada, P.J. May The Homology of Iterated Loop Spaces (Paperback, 1976 ed.)
F.R. Cohen, T. J. Lada, P.J. May
R1,608 Discovery Miles 16 080 Ships in 18 - 22 working days
Cech and Steenrod Homotopy Theories with Applications to Geometric Topology (Paperback, 1976 ed.): D.A. Edwards, H. M. Hastings Cech and Steenrod Homotopy Theories with Applications to Geometric Topology (Paperback, 1976 ed.)
D.A. Edwards, H. M. Hastings
R1,612 Discovery Miles 16 120 Ships in 18 - 22 working days
Mathematics of Keno and Lotteries (Paperback): Mark Bollman Mathematics of Keno and Lotteries (Paperback)
Mark Bollman
R1,840 Discovery Miles 18 400 Ships in 10 - 15 working days

Mathematics of Keno and Lotteries is an elementary treatment of the mathematics, primarily probability and simple combinatorics, involved in lotteries and keno. Keno has a long history as a high-advantage, high-payoff casino game, and state lottery games such as Powerball are mathematically similar. MKL also considers such lottery games as passive tickets, daily number drawings, and specialized games offered around the world. In addition, there is a section on financial mathematics that explains the connection between lump-sum lottery prizes (as with Powerball) and their multi-year annuity options. So-called "winning systems" for keno and lotteries are examined mathematically and their flaws identified.

Infinitary Logic - In Memoriam Carol Karp (Paperback, 1975 ed.): D.W. Kueker Infinitary Logic - In Memoriam Carol Karp (Paperback, 1975 ed.)
D.W. Kueker
R1,792 Discovery Miles 17 920 Ships in 18 - 22 working days

A Collection of Papers by Varoius Authors

-Calculus and Computer Science Theory - Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le... -Calculus and Computer Science Theory - Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche (English, French, Paperback, 1975 ed.)
C Boehm
R1,446 Discovery Miles 14 460 Ships in 18 - 22 working days
Lectures on Boolean Algebras (Paperback, Softcover reprint of the original 1st ed. 1974): Steven Givant, PR Halmos Lectures on Boolean Algebras (Paperback, Softcover reprint of the original 1st ed. 1974)
Steven Givant, PR Halmos
R1,941 Discovery Miles 19 410 Ships in 18 - 22 working days

IN 1959 I lectured on Boolean algebras at the University of Chicago. A mimeographed version of the notes on which the lectures were based circulated for about two years; this volume contains those notes, corrected and revised. Most of the corrections were suggested by Peter Crawley. To judge by his detailed and precise suggestions, he must have read every word, checked every reference, and weighed every argument, and I am lIery grateful to hirn for his help. This is not to say that he is to be held responsible for the imperfec tions that remain, and, in particular, I alone am responsible for all expressions of personal opinion and irreverent view point. P. R. H. Ann Arbor, Michigan ] anuary, 1963 Contents Section Page 1 1 Boolean rings ............................ . 2 Boolean algebras ......................... . 3 9 3 Fields of sets ............................ . 4 Regular open sets . . . . . . . . . . . . . . . . . . . 12 . . . . . . 5 Elementary relations. . . . . . . . . . . . . . . . . . 17 . . . . . 6 Order. . . . . . . . . . . . . . . . . . . . . . . . . . . 21 . . . . . . . . . 7 Infinite operations. . .. . . . . . . . . . . . . . . . . 25 . . . . . 8 Subalgebras . . . . . . . . . . . . . . . . . . . . .. . . . 31 . . . . . . 9 Homomorphisms . . . . . . . . . . . . . . . . . . . . 35 . . . . . . . 10 Free algebras . . . . . . . . . . . . . . . . . . . . . . 40 . . . . . . . 11 Ideals and filters. . . . . . . . . . . . . . . . . . . . 47 . . . . . . 12 The homomorphism theorem. . . . . . . . . . . . .. . . 52 . . 13 Boolean a-algebras . . . . . . . . . . . . . . . . . . 55 . . . . . . 14 The countable chain condition . . . . . . . . . . . . 61 . . . 15 Measure algebras . . . . . . . . . . . . . . . . . . . 64 . . . . . . . 16 Atoms.. . . . .. . . . . .. .. . . . ... . . . . .. . . ... . . .. 69 17 Boolean spaces . . . . . . . . . . . . . . . . . . . . 72 . . . . . . . 18 The representation theorem. . . . . . . . . . . . . . 77 . . . 19 Duali ty for ideals . . . . . . . . . . . . . . . . . .. . . 81 . . . . . 20 Duality for homomorphisms . . . . . . . . . . . . . . 84 . . . . 21 Completion . . . . . . . . . . . . . . . . . . . . . . . 90 . . . . . . . . 22 Boolean a-spaces . . . . . . . . . . . . . . . . . .. . . 97 . . . . . 23 The representation of a-algebras . . . . . . . . .. . . 100 . 24 Boolean measure spaces . . . . . . . . . . . . . .. . . 104 . . . 25 Incomplete algebras . . . . . . . . . . . . . . . .. . . 109 . . . . . 26 Products of algebras . . . . . . . . . . . . . . . .. . . 115 . . . . 27 Sums of algebras . . . . . . . . . . . . . . . . . .. . . 119 . . . . . 28 Isomorphisms of factors . . . . . . . . . . . . . .. . . 122 . . ."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Nobody's Fool
Harlan Coben Paperback R395 R353 Discovery Miles 3 530
Object Relations in Gestalt Therapy
Gilles Delisle Paperback R1,137 Discovery Miles 11 370
Ethics in Counseling & Psychotherapy
Elizabeth Welfel Paperback R1,339 R1,242 Discovery Miles 12 420
Dead At First Sight
Peter James Paperback  (2)
R473 R391 Discovery Miles 3 910
Caring for the Retarded in America - A…
Leland Bell, Peter L. Tyor Hardcover R2,803 R2,537 Discovery Miles 25 370
Die Verevrou
Jan van Tonder Paperback R385 R344 Discovery Miles 3 440
Sleeper
Mike Nicol Paperback R300 R277 Discovery Miles 2 770
Crossfire
Wilbur Smith, David Churchill Hardcover R399 R362 Discovery Miles 3 620
Monster
Rudie van Rensburg Paperback R365 R326 Discovery Miles 3 260
A Workbook of Ethical Case Scenarios in…
Darren Sush, Adel Najdowski Paperback R1,250 Discovery Miles 12 500

 

Partners