Logical Foundations of Mathematics and Computational Complexity, Pavel Pudl?k

Название: Logical Foundations of Mathematics and Computational Complex
ISBN: 3319001183 ISBN-13(EAN): 9783319001180
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.

Автор: Lytton William W.
Название: From Computer to Brain / Foundations of Computational Neuroscience
ISBN: 0387955267 ISBN-13(EAN): 9780387955261
Издательство: Springer
Рейтинг:
Цена: 41880.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Biology undergraduates, medical students and life-science graduate students often have limited mathematical skills. Similarly, physics, math and engineering students have little patience for the detailed facts that make up much of biological knowledge. Teaching computational neuroscience as an integrated discipline requires that both groups be brought forward onto common ground. This book does this by making ancillary material available in an appendix and providing basic explanations without becoming bogged down in unnecessary details. The book will be suitable for undergraduates and beginning graduate students taking a computational neuroscience course and also to anyone with an interest in the uses of the computer in modeling the nervous system.

Автор: Cook
Название: Logical Foundations of Proof Complexity
ISBN: 1107694116 ISBN-13(EAN): 9781107694118
Издательство: Cambridge Academ
Рейтинг:
Цена: 61240.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.

Автор: Eugenio G. Omodeo; Alberto Policriti
Название: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ISBN: 3319418416 ISBN-13(EAN): 9783319418414
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

Автор: Lebedev V.I.
Название: Functional Analysis in Computational Mathematics / An Introduction
ISBN: 0817638881 ISBN-13(EAN): 9780817638887
Издательство: Springer
Рейтинг:
Цена: 72670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the basics of functional analysis, as well as elements of variational equations (on the basis of bi-linear forms), including the Vishik-Lax-Milgram theorem and of generalized solutions of eliptic problems. Sobolev spaces and embedding theorems are introduced.

Автор: Ajith Abraham; Aboul-Ella Hassanien; Patrick Siarr
Название: Foundations of Computational Intelligence Volume 3
ISBN: 3642101658 ISBN-13(EAN): 9783642101656
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The wide use of global optimization applications has gained the attention of practitioners and researchers from numerous scientific fields. This book, one of a series on the foundations of Computational Intelligence, is focused on global optimization.

Автор: Monica G. Cojocaru; Ilias S. Kotsireas; Roman N. M
Название: Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
ISBN: 3319371061 ISBN-13(EAN): 9783319371061
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Applied Mathematics, Modelling, and Computational Science (AMMCS) conference aims to promote interdisciplinary research and collaboration.

Автор: Richard E. Ewing; Kenneth I. Gross; Clyde F. Marti
Название: The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics
ISBN: 1461293855 ISBN-13(EAN): 9781461293859
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the Proceedings of the symposium held at the University of Wyoming in August, 1985, to honor Gail Young on his seventieth birthday (which actually took place on October 3, 1985) and on the occasion of his retirement.

Автор: Roderick Melnik; Ilias S. Kotsireas
Название: Advances in Applied Mathematics, Modeling, and Computational Science
ISBN: 1489989870 ISBN-13(EAN): 9781489989871
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The volume presents a selection of in-depth studies and state-of-the-art surveys of several challenging topics that are at the forefront of modern applied mathematics, mathematical modeling, and computational science.

Автор: Ajith Abraham; Aboul-Ella Hassanien; Andr? Ponce d
Название: Foundations of Computational Intelligence
ISBN: 3642101666 ISBN-13(EAN): 9783642101663
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computing techniques inspired by biological elements such as nervous systems, immune systems and genetics have been used in data mining. This book, one of a series on the foundations of Computational Intelligence, is focused on bio-inspired data mining.

Автор: Ajith Abraham; Aboul-Ella Hassanien; Andr? Ponce d
Название: Foundations of Computational Intelligence
ISBN: 3642101674 ISBN-13(EAN): 9783642101670
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computational tools or solutions based on intelligent systems are being used effectively in data mining applications. This book, one of a series on the foundations of Computational Intelligence, is focused on applications of techniques for data mining.