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

Theorem Proving in Higher Order Logics, Klaus Schneider; Jens Brandt


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

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

Автор: Klaus Schneider; Jens Brandt
Название:  Theorem Proving in Higher Order Logics
ISBN: 9783540745907
Издательство: Springer
Классификация:
ISBN-10: 3540745904
Обложка/Формат: Paperback
Страницы: 410
Вес: 0.64 кг.
Дата издания: 2007
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: Illustrations
Размер: 234 x 172 x 24
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: 20th international conference, tphols 2007, kaiserslautern, germany, september 10-13, 2007, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. This book presents 21 revised full papers together with 5 proof pearls and the abstracts of 3 invited papers that were reviewed and selected from 52 submissions.


Using the Borsuk-Ulam Theorem / Lectures on Topological Methods in Combinatorics and Geometry

Автор: Matousek Jiri, BjГ¶rner A., Ziegler G.M.
Название: Using the Borsuk-Ulam Theorem / Lectures on Topological Methods in Combinatorics and Geometry
ISBN: 3540003622 ISBN-13(EAN): 9783540003625
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A number of important results in combinatorics, discrete geometry, and theoretical computer science have been proved using algebraic topology. While the results are quite famous, their proofs are not so widely understood. They are scattered in research papers or outlined in surveys, and they often use topological notions not commonly known among combinatorialists or computer scientists.This book is the first textbook treatment of a significant part of such results. It focuses on so-called equivariant methods, based on the Borsuk-Ulam theorem and its generalizations. The topological tools are intentionally kept on a very elementary level (for example, homology theory and homotopy groups are completely avoided). No prior knowledge of algebraic topology is assumed, only a background in undergraduate mathematics, and the required topological notions and results are gradually explained. This text started with a one-semester graduate course the author taught in fall 1993 in Prague. The transcripts of the lectures by the participants served as a basis of the first version. Some years later, a course partially based on that text was taught by GГјnter M. Ziegler in Berlin. The book is based on a thoroughly rewritten version prepared during a pre-doctoral course the author taught at the ETH Zurich in fall 2001.Most of the material was covered in the course: Chapter 1 was assigned as an introductory reading text, and the other chapters were presented in approximately 30 hours of teaching (by 45 minutes), with some omissions throughout and with only a sketchy presentation of the last chapter.


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