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


“peter michael schuster”

1 - 12 de 12 resultados para “peter michael schuster”
Skip side bar filters

  • Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

    de Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg ...
    This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the ... Leer más

    $70.99 USD

La gente que leyó esto también disfrutó

  • A First Course in Analysis

    de John B. Conway ...
    Series series Cambridge Mathematical Textbooks
    This rigorous textbook is intended for a year-long analysis or advanced calculus course for advanced undergraduate or beginning graduate students. Starting with detailed, slow-paced proofs that allow students to acquire facility in reading and writing proofs, it clearly and concisely explains the basics of differentiation and integration of functions of one and several variables, and covers the ... Leer más

    $44.99 USD

  • Analytic Number Theory: An Introductory Course

    de Harold G Diamond, Paul Trevier Bateman ...
    Series Libro 1 - Monographs In Number Theory
    This valuable book focuses on a collection of powerful methods of analysis that yield deep number-theoretical estimates. Particular attention is given to counting functions of prime numbers and multiplicative arithmetic functions. Both real variable (”elementary”) and complex variable (”analytic”) methods are employed. The reader is assumed to have knowledge of elementary number theory (abstract ... Leer más

    $20.99 USD

  • Ideals, Varieties, and Algorithms

    An Introduction to Computational Algebraic Geometry and Commutative Algebra

    de David A. Cox, John Little, Donal O'Shea ...
    Series series Mathematics and Statistics (R0)
    This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry—the elimination theorem, ... Leer más

    $44.99 USD

  • Lambda Calculus with Types

    de Henk Barendregt, Wil Dekkers, Richard Statman ...
    Series series Perspectives in Logic
    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... Leer más

    $89.99 USD

  • On the Logic and Learning of Language

    de Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... Leer más

    $8.99 USD

  • Advances in Proof-Theoretic Semantics

    Edición de Thomas Piecha, Peter Schroeder-Heister ...
    Series series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Leer más

    Gratis

  • Generative Grammar

    Theory and its History

    de Robert Freidin ...
    Series series Routledge Leading Linguists
    Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation ... Leer más

    $68.99 USD

  • Discriminant Equations in Diophantine Number Theory

    de Jan-Hendrik Evertse, Kálmán Győry ...
    Series Libro 32 - New Mathematical Monographs
    Discriminant equations are an important class of Diophantine equations with close ties to algebraic number theory, Diophantine approximation and Diophantine geometry. This book is the first comprehensive account of discriminant equations and their applications. It brings together many aspects, including effective results over number fields, effective results over finitely generated domains, ... Leer más

    $164.99 USD

  • An Introduction to Substructural Logics

    de Greg Restall ...
    This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a ... Leer más

    $58.99 USD

  • Certain Number-Theoretic Episodes In Algebra, Second Edition

    de R Sivaramakrishnan ...
    The book attempts to point out the interconnections between number theory and algebra with a view to making a student understand certain basic concepts in the two areas forming the subject-matter of the book. ... Leer más

    $254.99 USD

  • Commutative Algebra

    Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions

    Edición de Marco Fontana, Sophie Frisch, Sarah Glaz ...
    This volume presents a multi-dimensional collection of articles highlighting recent developments in commutative algebra. It also includes an extensive bibliography and lists a substantial number of open problems that point to future directions of research in the represented subfields. The contributions cover areas in commutative algebra that have flourished in the last few decades and are not yet ... Leer más

    $89.99 USD