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

Temporal type theory, Schultz, Patrick Spivak, David I.


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

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

Автор: Schultz, Patrick Spivak, David I.
Название:  Temporal type theory
ISBN: 9783030007034
Издательство: Springer
Классификация:







ISBN-10: 3030007030
Обложка/Формат: Hardcover
Страницы: 235
Вес: 0.53 кг.
Дата издания: 11.02.2019
Серия: Progress in computer science and applied logic
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 7 illustrations, color; 60 illustrations, black and white; viii, 235 p. 67 illus., 7 illus. in color.
Размер: 195 x 241 x 18
Читательская аудитория: Professional & vocational
Подзаголовок: A topos-theoretic approach to systems and behavior
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models.
The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action.
Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.

Дополнительное описание: Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.



Critique of postcolonial reason

Автор: Spivak, Gayatri Chakravorty
Название: Critique of postcolonial reason
ISBN: 0674177649 ISBN-13(EAN): 9780674177642
Издательство: Harvard University Press
Рейтинг:
Цена: 5378.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Are the "culture wars" over? When did they begin? What is their relationship to gender struggle and the dynamics of class? In her first full treatment of postcolonial studies, a field that she helped define, Gayatri Chakravorty Spivak, one of the world`s foremost literary theorists, poses these questions from within the postcolonial enclave.

Aesthetic Education in the Era of Globalization

Автор: Spivak Gayatri Chakravorty
Название: Aesthetic Education in the Era of Globalization
ISBN: 0674072383 ISBN-13(EAN): 9780674072381
Издательство: Harvard University Press
Рейтинг:
Цена: 3477.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The world`s most renowned critical theorist-who defined the field of postcolonial studies-has radically reoriented her thinking. Finding the neat polarities of tradition and modernity, colonial and postcolonial, no longer sufficient, she argues that aesthetic education is the last available instrument for implementing global justice and democracy.

A World Elsewhere

Автор: Spivak Masha
Название: A World Elsewhere
ISBN: 0957338422 ISBN-13(EAN): 9780957338425
Издательство: Неизвестно
Цена: 1895.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Planetary Loves: Spivak, Postcoloniality, and Theology

Автор: Rivera Mayra
Название: Planetary Loves: Spivak, Postcoloniality, and Theology
ISBN: 0823233251 ISBN-13(EAN): 9780823233250
Издательство: Wiley EDC
Рейтинг:
Цена: 15616.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Postcolonial theology has recently emerged as a site of intense intellectual and political energy and has taken its place in the interdisciplinary field of postcolonial studies. This volume is animated by the conviction that postcolonial theology is now ready for a second, deeper phase of engagement with postcolonial theory, one that moves beyond the general to the specific. No critic has been more emblematic of the challenging and contested field of postcolonial theory than Gayatri Chakravorty Spivak. In this volume, the product of a theological colloquium in which Spivak herself participated, theologians and biblical scholars engage with her thought in order to catalyze a diverse range of original theological and exegetical projects.
The volume opens with a "topography" of postcolonial theology and also includes other valuable introductory essays. At the center of the collection are transcriptions of two extended public dialogues with Spivak on theology and religion in general. A further dozen essays appropriate Spivak's work for theological and ethical reflection.
The volume is also significant for the larger field of postcolonial studies in that it is the first to focus centrally on Spivak's immensely suggestive and vital concept of "planetarity."

Nationalism and the imagination

Автор: Spivak, Gayatri Chakravorty Kiossev, Alexander
Название: Nationalism and the imagination
ISBN: 1905422938 ISBN-13(EAN): 9781905422937
Издательство: Chicago University Press
Рейтинг:
Цена: 2006.00 р.
Наличие на складе: Поставка под заказ.

The Hard Bargain: Music, Medicine, and My Father (Richard Tucker, Opera Legend)

Автор: Tucker David, Spivak Burton
Название: The Hard Bargain: Music, Medicine, and My Father (Richard Tucker, Opera Legend)
ISBN: 1543445586 ISBN-13(EAN): 9781543445589
Издательство: Неизвестно
Цена: 4137.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The Hard Bargain describes in vivid detail and elegant prose the clash of wills between a famous father and his hard-driving middle son. Richard Tucker, the American superstar tenor from the golden age of the Metropolitan Opera, demanded that his son become a surgeon. Rejecting his father's wishes, David wanted to follow his father onto the opera stage. Their struggle over David's future--by turns hilarious and humiliating, wise and loving--is played out in medical and musical venues around the world. The father and son strike a bargain, the hard bargain of the title, which permitted both dreams to flicker for a decade until one (the right one, it turns out) bursts into sustaining flame. This heartfelt memoir about a son's struggle against the looming power of a magnetic father is conveyed in a moving narrative that one reviewer has called "the most dramatic exploration of the private life of a legendary singer in the annals of opera literature."

Memorial Book of the Jewish Community of Orhei, Moldova

Автор: Spivak Yitzchak, Lasky Terry, Rotkov Mordechai
Название: Memorial Book of the Jewish Community of Orhei, Moldova
ISBN: 0976475960 ISBN-13(EAN): 9780976475965
Издательство: Неизвестно
Цена: 9373.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Underground Philadelphia: From Caves and Canals to Tunnels and Transit

Автор: Kyriakodis Harry, Spivak Joel
Название: Underground Philadelphia: From Caves and Canals to Tunnels and Transit
ISBN: 1625859732 ISBN-13(EAN): 9781625859730
Издательство: Неизвестно
Цена: 3447.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Philadelphia's relationship with the underground is as old as the city itself, dating back to when Quaker settlers resided in caves alongside the Delaware River more than three hundred years ago. The City of Brotherly Love later became a national and world leader in the delivery of water, gas, steam, and electricity during the industrial age. The construction of multiple subway lines within Center City took place during the early twentieth century. An intricate subsurface pedestrian concourse was also developed throughout the downtown area for the city's inhabitants. From Thirtieth Street Station and Reading Terminal to the Commuter Rail Tunnel and transit lines that were never built, Philadelphia's infrastructure history is buried under the earth as much as above. Join authors Harry Kyriakodis and Joel Spivak as they reveal the curious aspects of the Quaker City's underground experience.


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