Logical Foundations of Mathematics and Computational Complex, 

Автор: 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.

Автор: 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.

Автор: Pavel Pudl?k
Название: Logical Foundations of Mathematics and Computational Complexity
ISBN: 3319342681 ISBN-13(EAN): 9783319342689
Издательство: 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.