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...


1 - 12 de 12 resultados para “roman kossak”
Skip side bar filters

  • Mathematical Logic

    On Numbers, Sets, Structures, and Symmetry

    de Roman Kossak ...
    Series series Philosophy and Religion (R0)
    This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is ... Leer más

    $58.99 USD

  • Simplicity: Ideals of Practice in Mathematics and the Arts

    Edición de Philip Ording, Roman Kossak ...
    Series series Mathematics and Statistics (R0)
    To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematicians in Paris. At the same time, simplicity and economy of means are powerful impulses in the creation of artworks. This was an inspiration for a conference, titled the same as this volume, that took ... Leer más

    $35.99 USD

  • Mathematical Logic

    On Numbers, Sets, Structures, and Symmetry

    de Roman Kossak ...
    Series series Philosophy and Religion (R0)
    This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability ... Leer más

    $98.99 USD

La gente que leyó estos también disfrutó

  • Understanding Analysis

    de Stephen Abbott ...
    Series series Mathematics and Statistics (R0)
    This lively introductory text exposes the student to the rewards of a rigorous study of functions of a real variable. In each chapter, informal discussions of questions that give analysis its inherent fascination are followed by precise, but not overly formal, developments of the techniques needed to make sense of them. By focusing on the unifying themes of approximation and the resolution of ... Leer más

    $40.99 USD

  • The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs

    de Antonella Cupillari ...
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It ... Leer más

    $35.99 USD

  • Computability and Logic

    de George S. Boolos, John P. Burgess, Richard C. Jeffrey ...
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ... Leer más

    $36.99 USD

  • Understanding Analysis

    de Stephen Abbott ...
    Series series Mathematics and Statistics (R0)
    Understanding Analysis outlines an elementary, one-semester course designed to expose students to the rich rewards inherent in taking a mathematically rigorous approach to the study of functions of a real variable. The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on the ... Leer más

    $44.99 USD

  • Proofs and Algorithms

    An Introduction to Logic and Computability

    de Gilles Dowek ...
    Series series Computer Science (R0)
    Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results ... Leer más

    $31.49 USD

  • Mathematical Logic

    de Joseph R. Shoenfield ...
    This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and ... Leer más

    $70.99 USD

  • A First Course in Mathematical Analysis

    de David Alexander Brannan ...
    Mathematical Analysis (often called Advanced Calculus) is generally found by students to be one of their hardest courses in Mathematics. This text uses the so-called sequential approach to continuity, differentiability and integration to make it easier to understand the subject.Topics that are generally glossed over in the standard Calculus courses are given careful study here. For example, what ... Leer más

    $72.99 USD

  • Analysis

    de Ekkehard Kopp ...
    Series series Modular Mathematics Series
    Building on the basic concepts through a careful discussion of covalence, (while adhering resolutely to sequences where possible), the main part of the book concerns the central topics of continuity, differentiation and integration of real functions. Throughout, the historical context in which the subject was developed is highlighted and particular attention is paid to showing how precision allows ... Leer más

    $47.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