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

Finite Model Theory, 


Варианты приобретения
Цена: 19564.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

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


Название:  Finite Model Theory
Перевод названия: Конечная теория модели
ISBN: 9783540287872
Издательство: Springer
Классификация:


ISBN-10: 3540287876
Обложка/Формат: Hardback
Страницы: 371
Вес: 1.55 кг.
Дата издания: October 2005
Серия: Springer monographs in mathematics
Язык: English
Издание: 2nd ed. 1999. 2nd pr
Иллюстрации: Biography
Размер: 24.08 x 16.51 x 2.62
Читательская аудитория: Postgraduate, research & scholarly
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Дополнительное описание: Формат: 235x155
Круг читателей: Researchers and graduate students
Ключевые слова: 0-1-laws
Finite model theory
descriptive complexity theory
fixed-point logics
Язык: eng
Издание: 2nd ed. 1999. 2nd printin




      Старое издание

Model Theory: An Introduction

Автор: Marker David
Название: Model Theory: An Introduction
ISBN: 0387987606 ISBN-13(EAN): 9780387987606
Издательство: Springer
Рейтинг:
Цена: 6981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures

Model Theory

Автор: Hodges
Название: Model Theory
ISBN: 0521066360 ISBN-13(EAN): 9780521066365
Издательство: Cambridge Academ
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.

Model Theory of Fields

Автор: Marker
Название: Model Theory of Fields
ISBN: 1107168074 ISBN-13(EAN): 9781107168077
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The model theory of fields is a fascinating subject stretching from Tarski`s work on the decidability of the theories of the real and complex fields to Hrushovksi`s recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.


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