Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


“michal walicki”

1 - 12 de 12 resultados para “michal walicki”
Skip side bar filters

  • Introduction To Mathematical Logic (Extended Edition)

    de Michal Walicki ...
    This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and ... Leer más

    $34.99 USD

La gente que leyó esto también disfrutó

  • Gödel's Proof

    de Ernest Nagel, James R Newman, Douglas R. Hofstadter ...
    An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in ... Leer más

    $12.99 USD o gratis con Kobo Plus

    Disponible también en: Audiolibro

    Disponible también en: Audiolibro

  • From 0 to Infinity in 26 Centuries

    The Extraordinary Story of Maths

    de Chris Waring ...
    We may remember their equations and discoveries from school, but do we remember who the men behind the maths were? From the theories of Pythagoras (and did you know he ran a secret brotherhood that studied maths, music and gymnastics?) to coining the term 'Googol', "Fom 0 to Infinity in 26 Centuries: The Extraordinary Story of Maths" is packed full of fascinating stories and amazing facts from ... Leer más

    $2.99 USD

  • Geometry

    Tutorial and Practical Problems

    de Sonal Bhatt, Rebecca Dayton ...
    Series series Idiot's Guides
    Covering everything a student would encounter in a high school or college course, Idiot's Guides: Geometry explains concepts in the easiest possible manner. Content includes everything from the basics of geometry; reasoning and proof; triangles; quadrilaterals; area and volume; similarity, perpendicular and parallel lines; and much more. This all-new book integrates a practice problems section to ... Leer más

    $10.99 USD

  • Introducing Infinity

    A Graphic Guide

    de Brian Clegg ...
    Series series Graphic Guides
    Infinity is a profoundly counter-intuitive and brain-twisting subject that has inspired some great thinkers – and provoked and shocked others.The ancient Greeks were so horrified by the implications of an endless number that they drowned the man who gave away the secret. And a German mathematician was driven mad by the repercussions of his discovery of transfinite numbers.Brian Clegg and Oliver ... Leer más

    $5.99 USD o gratis con Kobo Plus

  • Taking Sudoku Seriously

    The Math Behind the World's Most Popular Pencil Puzzle

    de Jason Rosenhouse, Laura Taalman ...
    Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a ... Leer más

    $36.89 USD

  • Methods of Argumentation

    de Douglas Walton ...
    Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and business. The best way to learn it is to try it out on real instances of arguments found in everyday conversational exchanges and legal argumentation. The introductory chapter of this book gives a ... Leer más

    $31.99 USD

  • Computational Logic and Set Theory

    Applying Formalized Logic to Analysis

    de Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ...
    Series series Computer Science (R0)
    This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a ... Leer más

    $49.99 USD

  • Lectures on the Curry-Howard Isomorphism

    de Morten Heine Sørensen, Pawel Urzyczyn ...
    Series Libro 149 - Studies in Logic and the Foundations of Mathematics
    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 ... Leer más

    $152.99 USD

  • That's Maths

    The Mathematical Magic in Everyday Life

    de Peter Lynch ...
    From atom bombs to rebounding slinkies, open your eyes to the mathematical magic in the everyday. Mathematics isn't just for academics and scientists, a fact meteorologist and blogger Peter Lynch has spent the past several years proving through his Irish Times newspaper column and blog, That's Maths.Here, he shows how maths is all around us, with chapters on the beautiful equations behind ... Leer más

    $5.99 USD o gratis con Kobo Plus

  • The Infinite in Mathematics

    Logico-mathematical writings

    Traducido por Paul Foulkes ...
    de Felix Kaufmann ...
    Series series Philosophy and Religion (R0)
    The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of ... Leer más

    $143.99 USD

  • Mathematical Formulas for Economics and Business: A Simple Introduction

    Simple Introductions, #10

    de K.H. Erickson ...
    Series Libro 10 - Simple Introductions
    Mathematical Formulas for Economics and Business: A Simple Introduction includes over 100 formulas in the field, alongside relevant definitions and explanations. The formulas cover the areas of supply and demand, market equilibrium, non-linear functions, financial mathematics, differentiation, functions of several variables, integration, and matrix algebra. ... Leer más

    $4.99 USD o gratis con Kobo Plus