Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “bilal said”
Skip side bar filters

  • Kripke’s Worlds

    An Introduction to Modal Logics via Tableaux

    by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber ...
    Series series Mathematics and Statistics (R0)
    Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, ... Read more

    $108.89 CAD

People who read this also enjoyed

  • Visions of Infinity

    The Great Mathematical Problems

    by Ian Stewart ...
    It is one of the wonders of mathematics that, for every problem mathematicians solve, another awaits to perplex and galvanize them. Some of these problems are new, while others have puzzled and bewitched thinkers across the ages. Such challenges offer a tantalizing glimpse of the field's unlimited potential, and keep mathematicians looking toward the horizons of intellectual possibility.In Visions ... Read more

    $15.99 CAD

  • 1089 and All That: A Journey into Mathematics

    A Journey into Mathematics

    by David Acheson ...
    David Acheson's extraordinary little book makes mathematics accessible to everyone. From very simple beginnings he takes us on a thrilling journey to some deep mathematical ideas. On the way, via Kepler and Newton, he explains what calculus really means, gives a brief history of pi, and even takes us to chaos theory and imaginary numbers. Every short chapter is carefully crafted to ensure that no ... Read more

    $17.89 CAD

  • Lewis Carroll in Numberland

    His Fantastical Mathematical Logical Life

    by Robin Wilson ...
    Lewis Carroll's books have delighted children and adults for generations, but behind their exuberant fantasy and delightful nonsense was the mind of a brilliant mathematician.Now his forgotten achievements in the world of numbers are brought to light by acclaimed author and mathematician Robin Wilson. Here he explores the curious imagination of a man whose pioneering work at Oxford University ... Read more

    $10.99 CAD

  • Enlightening Symbols

    A Short History of Mathematical Notation and Its Hidden Powers

    by Joseph Mazur ...
    "[A] fascinating narrative. . . . This is a nuanced, intelligently framed chronicle . . . In a word: enlightening." —George Szpiro, NatureWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did ... Read more

    $23.19 CAD or Free with Kobo Plus

  • The philosophy of mathematics

    by Auguste Comte ...
    The pleasure and profit which the translator has received from the great work here presented, have induced him to lay it before his fellow-teachers and students of Mathematics in a more accessible form than that in which it has hitherto appeared. The want of a comprehensive map of the wide region of mathematical science—a bird's-eye view of its leading features, and of the true bearings and ... Read more

    $1.36 CAD or Free with Kobo Plus

  • Godel's Mistake

    The Role of Meaning in Mathematics

    by Ashish Dalela ...
    Gödel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing’s Halting problem is a foundational result in computing proving that computers cannot know if a program will halt. Gödel’s Mistake connects these theorems to the question of meaning. The book shows that the proofs arise due to ... Read more

    $4.11 CAD

  • One Hundred Prisoners and a Light Bulb

    by Hans van Ditmarsch, Barteld Kooi ...
    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

    $25.69 CAD

  • Introducing Stephen Hawking

    A Graphic Guide

    by J.P. McEvoy ...
    Series series Graphic Guides
    'An ideal introduction [to Stephen Hawking]' - Independent'Astonishingly comprehensive - clearer than Hawking himself' - FocusStephen Hawking was a world-famous physicist with a cameo in The Simpsons on his CV, but outside of his academic field his work was little understood. To the public he was a tragic figure - a brilliant scientist and author of the 9 million-copy-selling A Brief History of ... Read more

    $6.99 CAD or Free with Kobo Plus

  • Set Theory

    A First Course

    by Daniel W. Cunningham ...
    Series series Cambridge Mathematical Textbooks
    Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets, ... Read more

    $66.99 CAD

  • Taming the Unknown

    A History of Algebra from Antiquity to the Early Twentieth Century

    by Victor J. Katz, Karen Hunger Parshall ...
    What is algebra? For some, it is an abstract language of x's and y’s. For mathematics majors and professional mathematicians, it is a world of axiomatically defined constructs like groups, rings, and fields. Taming the Unknown considers how these two seemingly different types of algebra evolved and how they relate. Victor Katz and Karen Parshall explore the history of algebra, from its roots in ... Read more

    $72.59 CAD

  • A Logical Introduction to Proof

    by Daniel W. Cunningham ...
    Series series Mathematics and Statistics (R0)
    The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of ... Read more

    $64.99 CAD