Bøger af Michael A. Arbib

By means of our present models of visuomotor coordination and its modulation by state-dependent inputs, we are just beginning to simulate and analyze how external information is represented within different brain structures and how these structures use these operations to control adaptive behavior.

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

The study of formal languages and of related families of automata has long been at the core of theoretical computer science.

This book presents an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. It is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983.

By means of our present models of visuomotor coordination and its modulation by state-dependent inputs, we are just beginning to simulate and analyze how external information is represented within different brain structures and how these structures use these operations to control adaptive behavior.