Logic, Construction, Computation
- ISBN-10
- 3110324938
- ISBN-13
- 9783110324938
- Category
- Computational neuroscience
- Pages
- 542
- Language
- English
- Published
- 2012
- Publisher
- Walter de Gruyter
- Authors
- Peter Schuster, Ulrich Berger, Hannes Diener
Description
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.
Get the book
Other editions
Similar books
-
Pathological Brain Detection
By Shui-Hua Wang, Yu-Dong Zhang, Zhengchao DongThis book provides detailed practical guidelines on how to develop an efficient pathological brain detection system, reflecting the latest advances in the computer-aided diagnosis of structural magnetic resonance brain images.
-
Computational Neuroscience
By Eric L. SchwartzThe thirty original contributions in this book provide a working definition of"computational neuroscience" as the area in which problems lie simultaneously within computerscience and neuroscience.
-
Quantitative analysis of neuroanatomy
By Hermann Cuntz, Julian M L Budd, Stephen J EglenNETMORPH: a framework for the stochastic generation of large scale neuronal networks with realistic neuron morphologies. ... in Progress in Brain Research, The Self-Organizing Brain: From Growth Cones to Functional Networks, Vol.
-
Computational Vision: Information Processing in Perception and Visual Behaviour
By Hanspeter A. MallotThis text provides an introduction to computational aspects of early vision, in particular, color, stereo, and visual navigation.
-
Encyclopedia of Computational Neuroscience
By Ranu Jung, Dieter JaegerThe annual Computational Neuroscience Meeting (CNS) began in 1990 as a small workshop called Analysis and Modeling of Neural Systems. The goal of the workshop was to explore the boundary between neuroscience and computation.
-
Fundamentals of Computational Neuroscience
By Thomas P. TrappenbergThis book describes the algorithms and architectures that are driving progress in AI research in this language, by comparing current AI systems and biological brains side by side.
-
Computational Models of Spike-Timing Dependent Plasticity
By Quan ZouThis thesis work consists in a theoretical and computational study of a recently-indentified type of synaptic plasticity, called "spike-timing dependent plasticity" (STDP).