Basic kategória termékei

Elements of Mathematics - From euclid to Gödel

"The coherence of mathematics is on display in this masterful, beautifully written synthesis. With probing questions, lucid explanations,...

Modern Mathematical Logic

This book, meant for undergraduate mathematics students and teachers, introduces algebraic number theory through problems from ordinary n...

Algorithmic Composition - Paradigms of Automated Music Generation

Algorithmic composition - composing by means of formalizable methods - has a century old tradition not only in occidental music history. ...

Karl Menger, Ergebnisse eines Mathematischen Kolloquiums - Ergebnisse eines Mathematischen Kolloquiums

Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Gödel) herausgegebenen "Ergebnisse eines Mathematischen Kolloquiums" zählen zu...

An Introduction to the Language of Mathematics

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculu...

Applied Linear Algebra and Matrix Analysis

This new book offers a fresh approach to matrix and linear algebra by providing a balanced blend of applications, theory, and computation...

An Invitation to Model Theory

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

Topics in the Theory of Numbers

This rather unique book is a guided tour through number theory. While most introductions to number theory provide a systematic and exhaus...

INFINITY AND TRUTH

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National U...

Philosophical Applications of Modal Logic

This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an i...

Logics of Proofs and Justifications

Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification...

Proofs and Fundamentals - A First Course in Abstract Mathematics

This textbook is designed to introduce undergraduates to the writing of rigorous mathematical proofs, and to fundamental mathematical ide...

ACTA Numerica 2023: Volume 32

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific co...

Elements of ∞-Category Theory

The language of -categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challe...

Triangulated Manifolds

Written from a Computational Topology point-of-view the intention of this book is to provide the reader with an easy and up-to-date acces...

The Mathematical Contest in Modeling (MCM) Problem Book 1985-2021

The book will appeal to both instructors and students of mathematics with interest in solving real world problems. This book is a compend...

Basic Oka Theory in Several Complex Variables

This book provides a new, comprehensive, and self-contained account of Oka theory as an introduction to function theory of several comple...

1-Dimensional Flow Arrays and Bifurcations in Planar Polynomial Systems

This book introduces to 1-dimensional flow arrays and bifurcations in planar polynomial systems. The 1-dimensional source, sink and saddl...

Introduction to Integral Calculus

Introduction to mathematical philosophy