Sets, logic and maths for computing, Makinson, David
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 70740.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: Chubb Название: Logic and Algebraic Structures in Quantum Computing ISBN: 110703339X ISBN-13(EAN): 9781107033399 Издательство: Cambridge Academ Рейтинг: Цена: 141510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists.
Автор: Li Yongming Et Al Название: Quantitative Logic And Soft Computing - Proceedings Of The Ql&Sc 2012 ISBN: 9814401528 ISBN-13(EAN): 9789814401524 Издательство: World Scientific Publishing Рейтинг: Цена: 242880.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic and more. This book provides an introduction to fuzzy reasoning and soft computing.
Автор: Appel Название: Program Logics for Certified Compilers ISBN: 110704801X ISBN-13(EAN): 9781107048010 Издательство: Cambridge Academ Рейтинг: Цена: 87650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.
Автор: Saleem Mohammed Ridha Taha Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing ISBN: 3319234781 ISBN-13(EAN): 9783319234786 Издательство: Springer Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.
Автор: John Seiffertt Название: Digital Logic for Computing ISBN: 331956837X ISBN-13(EAN): 9783319568379 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems.
Автор: Saleem Mohammed Ridha Taha Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing ISBN: 3319373838 ISBN-13(EAN): 9783319373836 Издательство: Springer Рейтинг: Цена: 95770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.
Автор: Guoqing Chen; Mingsheng Ying; Kai-Yuan Cai Название: Fuzzy Logic and Soft Computing ISBN: 1461373999 ISBN-13(EAN): 9781461373995 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Alfredo Dea?o, Daan Huybrechs, Arieh Iserles Название: Computing Highly Oscillatory Integrals ISBN: 1611975115 ISBN-13(EAN): 9781611975116 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 70230.00 T Наличие на складе: Невозможна поставка. Описание: Highly oscillatory phenomena range across numerous areas in science and engineering and their computation represents a difficult challenge. A case in point is integrals of rapidly oscillating functions in one or more variables. The quadrature of such integrals has been historically considered very demanding. Research in the past 15 years (in which the authors played a major role) resulted in a range of very effective and affordable algorithms for highly oscillatory quadrature. This is the only monograph bringing together the new body of ideas in this area in its entirety.The starting point is that approximations need to be analyzed using asymptotic methods rather than by more standard polynomial expansions. As often happens in computational mathematics, once a phenomenon is understood from a mathematical standpoint, effective algorithms follow. As reviewed in this monograph, we now have at our disposal a number of very effective quadrature methods for highly oscillatory integrals—Filon-type and Levin-type methods, methods based on steepest descent, and complex-valued Gaussian quadrature. Their understanding calls for a fairly varied mathematical toolbox—from classical numerical analysis, approximation theory, and theory of orthogonal polynomials all the way to asymptotic analysis—yet this understanding is the cornerstone of efficient algorithms.
This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.
Автор: Chien-Chung Chan; Jerzy W. Grzymala-Busse; Wojciec Название: Rough Sets and Current Trends in Computing ISBN: 3540884238 ISBN-13(EAN): 9783540884231 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2008, held in Akron, OH, USA, in October 2008. This book presents the papers that are organized in topical sections on logical and mathematical foundations, data analysis, data mining, and decision support systems.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz