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

Каталог учебной литературы
по английскому языку >>>


The Classical Decision Problem, Borger Egon, Gradel Erich, Gurevich Yuri


Варианты приобретения
Цена: 15427р.
Кол-во:
Наличие: Есть (1 шт.)
Отгрузка заказа в течение 1 рабочего дня
Добавить в корзину
в Мои желания
Автор: Borger Egon, Gradel Erich, Gurevich Yuri
Название:  The Classical Decision Problem   (Классическое решение проблем)
Издательство: Springer
Классификация:
Основы математики
Алгоритмы и процедуры
Языки программирования
Применение эвм

ISBN: 3540423249
ISBN-13(EAN): 9783540423249
ISBN: 3-540-42324-9
ISBN-13(EAN): 978-3-540-42324-9
Обложка/Формат: Paperback
Страницы: 482
Вес: 1.52 кг.
Дата издания: 2001
Серия: Universitext
Издание: Softcover reprint of
Иллюстрации: 3 black & white illustrations, biography
Размер: 234 x 156 x 25
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases, and includes a number of simple proofs and exercises.
Дополнительное описание: Формат: 235x155
Круг читателей: Graduate students and researchers in mathematical logic andtheoretical computer science
Ключевые слова: Decision problem
complexity
finite models
first-order logic
undecidability
Язык: eng
Издание: 1st ed. 1997. 2nd printin





A Guide to Classical and Modern Model Theory

Автор: Marcja Annalisa, Toffalori Carlo
Название: A Guide to Classical and Modern Model Theory
ISBN: 1402013310 ISBN-13(EAN): 9781402013317
Издательство: Springer
Рейтинг:
Цена: 9817 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.

Fuzzy Sets in Decision Analysis, Operations Research and Statistics

Автор: Slowinski
Название: Fuzzy Sets in Decision Analysis, Operations Research and Statistics
ISBN: 0792381122 ISBN-13(EAN): 9780792381129
Издательство: Springer
Рейтинг:
Цена: 27022 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes chapters on fuzzy preference modeling, multiple criteria analysis, ranking and sorting methods, group decision-making and fuzzy game theory. This book presents optimization techniques such as fuzzy linear and non-linear programming, applications to graph problems and fuzzy combinatorial methods such as fuzzy dynamic programming.

An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 7285 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Handbook of Nature-Inspired and Innovative Computing / Integrating Classical Models with Emerging Technologies

Автор: Zomaya Albert Y.
Название: Handbook of Nature-Inspired and Innovative Computing / Integrating Classical Models with Emerging Technologies
ISBN: 0387405321 ISBN-13(EAN): 9780387405322
Издательство: Springer
Рейтинг:
Цена: 15427 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Albert Zomaya was named an ACM Distinguished Engineer in 2006, at the inception of ACM’s program to recognize engineers and scientists for their contributions to both the practical and theoretical aspects of computing and information technology.

An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521670268 ISBN-13(EAN): 9780521670265
Издательство: Cambridge Academ
Рейтинг:
Цена: 2601 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

The Theory of Classical Valuations

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

Описание: 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.

Classical Descriptive Set Theory

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

Описание: 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.

Classical and non-classical logics

Автор: Schechter, Eric
Название: Classical and non-classical logics
ISBN: 0691122792 ISBN-13(EAN): 9780691122793
Издательство: Wiley
Рейтинг:
Цена: 4906 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. It begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics.

Efficient Approximation and Online Algorithms / Recent Progress on Classical Combinatorial Optimization Problems and New Applications

Автор: Bampis Evripidis, Jansen Klaus, Kenyon Claire
Название: Efficient Approximation and Online Algorithms / Recent Progress on Classical Combinatorial Optimization Problems and New Applications
ISBN: 3540322124 ISBN-13(EAN): 9783540322122
Издательство: Springer
Цена: 7012 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a good opportunity for computer science practitioners and researchers to get in sync with the current state-of-the-art and future trends in the field of combinatorial optimization and online algorithms. Recent advances in this area are presented focusing on the design of efficient approximation and on-line algorithms. One central idea in the book is to use a linear program relaxation of the problem, randomization and rounding techniques.This state-of-the-art survey contains 11 carefully selected papers that cover some classical problems of scheduling, of packing, and of graph theory, but also new optimization problems arising in various applications like networks, data mining or classification.

Problems and Theorems in Classical Set Theory

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

Описание: 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.

Classical and New Paradigms of Computation and their Complexity Hierarchies / Papers of the conference  "Foundations of the Formal Sciences III "

Автор: LГ¶we Benedikt, Piwinger Boris, RГ¤sch Thoralf
Название: Classical and New Paradigms of Computation and their Complexity Hierarchies / Papers of the conference "Foundations of the Formal Sciences III "
ISBN: 1402027753 ISBN-13(EAN): 9781402027758
Издательство: Springer
Рейтинг:
Цена: 20477 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies.This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research.

Classical mathematical logic

Автор: Epstein, Richard L.
Название: Classical mathematical logic
ISBN: 0691123004 ISBN-13(EAN): 9780691123004
Издательство: Wiley
Рейтинг:
Цена: 6793 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings.


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