Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

A Guide to Classical and Modern Model Theory, Marcja Annalisa, Toffalori Carlo



Варианты приобретения
Цена: 12126р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 19 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Marcja Annalisa, Toffalori Carlo
Название:  A Guide to Classical and Modern Model Theory
ISBN: 9781402013317
Издательство: Springer
Классификация:
ISBN-10: 1402013310
Обложка/Формат: Paperback
Страницы: 384
Вес: 1.2 кг.
Дата издания: 01.06.2003
Серия: Trends in Logic
Язык: English
Иллюстрации: Biography
Размер: 24.18 x 16.00 x 2.18
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Формат: 240x160
Круг читателей: Trainees, professional model theorists, mathematicians
Ключевые слова:
Язык: eng





Classical Recursion Theory, Volume II,

Автор: P. Odifreddi
Название: Classical Recursion Theory, Volume II,
ISBN: 044450205X ISBN-13(EAN): 9780444502056
Издательство: Elsevier Science
Рейтинг:
Цена: 16517 р.
Наличие на складе: Поставка под заказ.

Описание: Describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. This book presents a detailed picture of the computable sets from the perspective of theoretical computer science. It is suitable for those interested in complexity and computability theory.

A Modern Perspective on Type Theory / From its Origins until Today

Автор: Kamareddine F.D., Laan T., Nederpelt Rob
Название: A Modern Perspective on Type Theory / From its Origins until Today
ISBN: 1402023340 ISBN-13(EAN): 9781402023347
Издательство: Springer
Рейтинг:
Цена: 20784 р.
Наличие на складе: Поставка под заказ.

Описание: This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

Finite and Algorithmic Model Theory

Автор: Esparza
Название: Finite and Algorithmic Model Theory
ISBN: 0521718201 ISBN-13(EAN): 9780521718202
Издательство: Cambridge Academ
Рейтинг:
Цена: 8216 р.
Наличие на складе: Поставка под заказ.

Описание: Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research.

Classical Galois theory with examples, 2 nd ed.

Автор: Gaal, Lisl,
Название: Classical Galois theory with examples, 2 nd ed.
ISBN: 0821813757 ISBN-13(EAN): 9780821813751
Издательство: Oxford Academ
Рейтинг:
Цена: 4923 р.
Наличие на складе: Невозможна поставка.

Описание: Galois theory is one of the most beautiful subjects in mathematics, but it is heard to appreciate this fact fully without seeing specific examples. Numerous examples are therefore included throughout the text, in the hope that they will lead to a deeper understanding and genuine appreciation of the more abstract and advanced literature on Galois theory. This book is intended for beginning graduate students who already have some background in algebra, including some elementary theory of groups, rings and fields. The expositions and proofs are intended to present Galois theory in as simple a manner as possible, sometimes at the expense of brevity. The book is for students and intends to make them take an active part in mathematics rather than merely read, nod their heads at appropriate places, skip the exercises, and continue on to the next section.

Classical Recursion Theory,

Автор: P. Odifreddi
Название: Classical Recursion Theory,
ISBN: 0444894837 ISBN-13(EAN): 9780444894830
Издательство: Elsevier Science
Рейтинг:
Цена: 8657 р.
Наличие на складе: Поставка под заказ.

Описание: Includes a number of applications to logic (in particular Godel`s theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensive reference for the subject starting from first principles.

Classical Descriptive Set Theory

Автор: Kechris
Название: Classical Descriptive Set Theory
ISBN: 0387943749 ISBN-13(EAN): 9780387943749
Издательство: Springer
Рейтинг:
Цена: 6924 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory.
This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation.

Problems and Theorems in Classical Set Theory

Автор: Komj?th
Название: Problems and Theorems in Classical Set Theory
ISBN: 038730293X ISBN-13(EAN): 9780387302935
Издательство: Springer
Рейтинг:
Цена: 6929 р.
Наличие на складе: Поставка под заказ.

Описание: This volume contains a variety of problems from classical set theory. Many of these problems are also related to other fields of mathematics, including algebra, combinatorics, topology and real analysis. The problems vary in difficulty, and are organized in such a way that earlier problems help in the solution of later ones. For many of the problems, the authors also trace the history of the problems and then provide proper reference at the end of the solution.

The Theory of Classical Valuations

Автор: Ribenboim
Название: The Theory of Classical Valuations
ISBN: 0387985255 ISBN-13(EAN): 9780387985251
Издательство: Springer
Рейтинг:
Цена: 19056 р.
Наличие на складе: Поставка под заказ.

Описание: Kurschak formally introduced the concept of a valuation of a field, as being real valued functions on the set of non-zero elements of the field satisfying certain properties, like the p-adic valuations. Ostrowski, Hasse, Schmidt and others developed this theory. These are the topics which are the object of this book.

Exercises in Classical Ring Theory

Автор: Lam T.Y.
Название: Exercises in Classical Ring Theory
ISBN: 0387005005 ISBN-13(EAN): 9780387005003
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: This useful book, which grew out of the author's lectures at Berkeley, presents some 400 exercises of varying degrees of difficulty in classical ring theory, together with complete solutions, background information, historical commentary, bibliographic details, and indications of possible improvements or generalizations. The book should be especially helpful to graduate students as a model of the problem-solving process and an illustration of the applications of different theorems in ring theory. The author also discusses "the folklore of the subject: the `tricks of the trade' in ring theory, which are well known to the experts in the field but may not be familiar to others, and for which there is usually no good reference". The problems are from the following areas: the Wedderburn-Artin theory of semisimple rings, the Jacobson radical, representation theory of groups and algebras, (semi)prime rings, (semi)primitive rings, division rings, ordered rings, (semi)local rings, the theory of idempotents, and (semi)perfect rings. Problems in the areas of module theory, category theory, and rings of quotients are not included, since they will appear in a later book. T. W. Hungerford, Mathematical Reviews

Introduction to Modern Number Theory / Fundamental Problems, Ideas and Theories

Автор: Manin Yu.I., Panchishkin Alexei A.
Название: Introduction to Modern Number Theory / Fundamental Problems, Ideas and Theories
ISBN: 3540203648 ISBN-13(EAN): 9783540203643
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: Introduction to Modern Number Theory surveys from a unified point of view both the modern state and the trends of continuing development of various branches of number theory. Motivated by elementary problems, the central ideas of modern theories are exposed. Some topics covered include non-Abelian generalizations of class field theory, recursive computability and Diophantine equations, zeta- and L-functions. This substantially revised and expanded new edition contains several new sections, such as Wiles' proof of Fermat's Last Theorem, and relevant techniques coming from a synthesis of various theories. Moreover, the authors have added a part dedicated to arithmetical cohomology and noncommutative geometry, a report on point counts on varieties with many rational points, the recent polynomial time algorithm for primality testing, and some others subjects.

Automata Theory with Modern Applications

Автор: James A. Anderson
Название: Automata Theory with Modern Applications
ISBN: 0521848873 ISBN-13(EAN): 9780521848879
Издательство: Cambridge Academ
Рейтинг:
Цена: 13694 р.
Наличие на складе: Поставка под заказ.

Описание: Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.

The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400-1700

Автор: Friedman R.L., Nielsen L.O.
Название: The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400-1700
ISBN: 140201631X ISBN-13(EAN): 9781402016318
Издательство: Springer
Рейтинг:
Цена: 22521 р.
Наличие на складе: Поставка под заказ.

Описание: The thirteen articles brought together in this volume explore key aspects of the transmission of learning and the transformation of thought from the late Middle Ages to the early modern period. Focusing on important topics in early modern metaphysics, philosophical theology, and modal theory, the contributions gathered here view developments in the early modern period against the backdrop of late-medieval scholasticism. This approach not only reveals the continuity of Western intellectual life in a period of profound change, but also makes it possible to identify with precision what is original in early modern thought. The topics dealt with include metaphysics as a science, the rise of probabilistic modality, freedom of the human will, as well as the role and validity of logical reasoning in speculative theology. The volume will be of interest to scholars who work on medieval and early modern philosophy, theology, and intellectual history.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия