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

Program proofs, Leino, K. Rustan M. Leino, Kaleb


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

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

Автор: Leino, K. Rustan M. Leino, Kaleb
Название:  Program proofs
ISBN: 9780262546232
Издательство: MIT Press
Классификация:
ISBN-10: 026254623X
Обложка/Формат: Paperback
Страницы: 496
Вес: 0.49 кг.
Дата издания: 23.02.2023
Язык: English
Иллюстрации: 20 line drawings, 30 figures
Размер: 228 x 181 x 26
Читательская аудитория: General (us: trade)
Рейтинг:
Поставляется из: США
Описание: Turning complex financial instruments such as cryptocurrency into eminently readable stories, Leng Hoe Lon, the author of Decrypted, is back with Deflated. In his second book, he lays bare the labyrinth of events that led to the manic and the tumultuous fall of cryptocurrencies in December 2018. Moving from Wall Street to Singapore, Hoe Lon tells the story of the great boom and bust in an authoritative and entertaining narrative. Featuring iconic figures of the financial era, he ties together all of the characters and offers a heart-to-heart discussion on how they have fallen and fought their way back up. Most importantly, he shares how one can fight back from deflation,

To be somebody, you must last.
- Ruth Gordon, American actress
The Author:
Leng Hoe Lon, CFA serves as Executive Advisor of Kyber Network (www.kyber.network), a decentralised cryptocurrency exchange powered by Ethereum smart contracts and is also an angel investor of Digix Global (https://digix.global), a company that aims to tokenise physical assets and make them fungible on the Ethereum blockchain in order to increase the pool of liquidity in a decentralised marketplace. Before this, he was CEO of machine-learning start-up Shentilium Technologies, and co-founder of trading and mentoring firm TrackRecord Asia. Hoe Lon has two decades of financial trading career including stints as CEO of Tudor Capital Singapore and Managing Director of Goldman Sachs. He holds a Bachelor`s Degree in accounting and finance at the University of Warwick, England.



Proofs and Refutations

Автор: Lakatos
Название: Proofs and Refutations
ISBN: 1107534054 ISBN-13(EAN): 9781107534056
Издательство: Cambridge Academ
Рейтинг:
Цена: 3326.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Imre Lakatos`s influential and enduring work on the nature of mathematic discovery and development continues to be relevant to philosophers of mathematics. Including a specially commissioned preface written by Paolo Mancosu, and presented in a fresh twenty-first-century series livery, it is now available for a new generation of readers.

Sangaku Proofs: A Japanese Mathematician at Work

Автор: J. Marshall Unger
Название: Sangaku Proofs: A Japanese Mathematician at Work
ISBN: 1939161754 ISBN-13(EAN): 9781939161758
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 3254.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The geometry problems colorfully inscribed on sangaku plaques that survive in shrines and temples throughout Japan have long fascinated those who appreciate the beauty of geometric figures and enjoy challenging puzzles. Aida Yasuaki (1847–1817) was one of the most prolific originators of the wasan tradition that produced them. Instead of presenting and solving problems using modern techniques, Unger presents Aida’s own solutions, transcribing his calculations into familiar mathematical notation, highlighting connections between Aida’s work and both the mathematics of today and aspects of Japanese cultural history.

Types for Proofs and Programs

Автор: Thorsten Altenkirch; Conor McBride
Название: Types for Proofs and Programs
ISBN: 3540744630 ISBN-13(EAN): 9783540744634
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions.

Problems and Proofs in Real Analysis

Название: Problems and Proofs in Real Analysis
ISBN: 9814578509 ISBN-13(EAN): 9789814578509
Издательство: World Scientific Publishing
Рейтинг:
Цена: 8870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume consists of the proofs of 391 problems in Real Analysis: Theory of Measure and Integration (3rd Edition).Most of the problems in Real Analysis are not mere applications of theorems proved in the book but rather extensions of the proven theorems or related theorems. Proving these problems tests the depth of understanding of the theorems in the main text.This volume will be especially helpful to those who read Real Analysis in self-study and have no easy access to an instructor or an advisor.

Tests and Proofs

Автор: Gordon Fraser; Angelo Gargantini
Название: Tests and Proofs
ISBN: 3642139760 ISBN-13(EAN): 9783642139765
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously.

Proofs of God: Classical Arguments from Tertullian to Barth

Автор: Levering Matthew
Название: Proofs of God: Classical Arguments from Tertullian to Barth
ISBN: 0801097568 ISBN-13(EAN): 9780801097560
Издательство: Неизвестно
Рейтинг:
Цена: 5518.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A leading theologian offers a historical survey of the proofs of God`s existence for readers interested in traditional Christian responses to the problem of atheism.

Building Proofs: A Practical Guide

Автор: Stewart David & Oliveira Suely
Название: Building Proofs: A Practical Guide
ISBN: 9814641294 ISBN-13(EAN): 9789814641296
Издательство: World Scientific Publishing
Рейтинг:
Цена: 7603.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms. The creation of proofs is covered for theorems in both discrete and continuous mathematics, and in difficulty ranging from elementary to beginning graduate level.

Just beyond the standard introductory courses on calculus, theorems and proofs become central to mathematics. Students often find this emphasis difficult and new. This book is a guide to understanding and creating proofs. It explains the standard "moves" in mathematical proofs: direct computation, expanding definitions, proof by contradiction, proof by induction, as well as choosing notation and strategies.

Building Proofs: A Practical Guide

Автор: Stewart David & Oliveira Suely
Название: Building Proofs: A Practical Guide
ISBN: 9814641308 ISBN-13(EAN): 9789814641302
Издательство: World Scientific Publishing
Рейтинг:
Цена: 3168.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms. The creation of proofs is covered for theorems in both discrete and continuous mathematics, and in difficulty ranging from elementary to beginning graduate level.

Just beyond the standard introductory courses on calculus, theorems and proofs become central to mathematics. Students often find this emphasis difficult and new. This book is a guide to understanding and creating proofs. It explains the standard "moves" in mathematical proofs: direct computation, expanding definitions, proof by contradiction, proof by induction, as well as choosing notation and strategies.

Computer arithmetic and Formal Proofs

Автор: Sylvie, Boldo
Название: Computer arithmetic and Formal Proofs
ISBN: 1785481126 ISBN-13(EAN): 9781785481123
Издательство: Elsevier Science
Рейтинг:
Цена: 22570.00 р.
Наличие на складе: Поставка под заказ.

Описание:

Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.

This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

Many Convincing Proofs: Persuasive phenomena associated with gospel proclamation in Acts

Автор: Stephen S. Liggins
Название: Many Convincing Proofs: Persuasive phenomena associated with gospel proclamation in Acts
ISBN: 3110459701 ISBN-13(EAN): 9783110459708
Издательство: Walter de Gruyter
Цена: 24165.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: While there have been various studies examining the contents of the evangelistic proclamation in Acts; and various studies examining, from one angle or another, individual persuasive phenomena described in Acts (e.g., the use of the Jewish Scriptures); no individual studies have sought to identify the key persuasive phenomena presented by Luke in this book, or to analyse their impact upon the book’s early audiences. This study identifies four key phenomena – the Jewish Scriptures, witnessed supernatural events, the Christian community and Greco-Roman cultural interaction. By employing a textual analysis of Acts that takes into account both narrative and socio-historical contexts, the impact of these phenomena upon the early audiences of Acts – that is, those people who heard or read the narrative in the first decades after its completion – is determined. The investigation offers some unique and nuanced insights into evangelistic proclamation in Acts; persuasion in Acts, persuasion in the ancient world; each of the persuasive phenomena discussed; evangelistic mission in the early Christian church; and the growth of the early Christian church.

Mathematical Reasoning

Автор: Nickerson
Название: Mathematical Reasoning
ISBN: 1138980587 ISBN-13(EAN): 9781138980587
Издательство: Taylor&Francis
Рейтинг:
Цена: 7348.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The development of mathematical competence -- both by humans as a species over millennia and by individuals over their lifetimes -- is a fascinating aspect of human cognition. This book explores a vast range of psychological questions related to mathematical cognition, and provides fascinating insights for researchers and students of cognition and instructors of mathematics.

Indexes to Seamen`s Protection Certificate Applications and Proofs of Citizenship: Principally the Ports of New Orleans, La, New Haven, CT, Bath, Me,

Автор: Dixon Ruth
Название: Indexes to Seamen`s Protection Certificate Applications and Proofs of Citizenship: Principally the Ports of New Orleans, La, New Haven, CT, Bath, Me,
ISBN: 0806348194 ISBN-13(EAN): 9780806348193
Издательство: Неизвестно
Рейтинг:
Цена: 5242.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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