Translation of: Matematica come narrazione : raccontare la matematica."This book introduces readers to the narrative structure of mathematical proofs and why mathematicians communicate that way, drawing examples from classic literature and employing metaphors and imagery"--OCLC-licensed vendor bibliographic record.
This book contends that accessing and browsing information and communication are multidimensional and consequential aspects of the information user's entire experience and of general human behavior. Problems in information creation, processing, transmittal, and use often arise from an incomplete conceptualization of the "information seeking" process, where information seeking is viewed as the i…
"A Bradford book."Experiences and feelings are inherently conscious states. There is something it is like to feel pain, to have an itch, to experience bright red. Philosophers call this sort of consciousness "phenomenal consciousness." Even though phenomenal consciousness seems to be a relatively primitive matter, something more widespread in nature than higher-order or reflective consciousness…
Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intelligence. This book addresses central issues in concurrency, and by producing both a syntactic definition and a denotational model of Hewitt's actor paradigm--a model of computation specifically aim…
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
"A Bradford book."Available through MITCogNet.There is increasing interest in genetic programming by both researchers and professional software developers. These twenty-two invited contributions show how a wide variety of problems across disciplines can be solved using this new paradigm.There is increasing interest in genetic programming by both researchers and professional software developers.…
Genetic programming, a form of genetic algorithm that evolves programs and program-like executable structures, is a new paradigm for developing reliable, time- and cost-effective applications. The second volume of Advances in Genetic Programming highlights many of the most recent technical advances in this increasingly popular field.Genetic programming, a form of genetic algorithm that evolves …
Coordinating Distributed Objects presents a novel object-oriented methodology to simplify the construction of distributed software systems. The methodology is based on a programming construct, called synchronizer, that allows the coordination of distributed application components to be programmed in a modular fashion and at a high level of abstraction. The methodology offers new insight into th…
"A Bradford book."OCLC-licensed vendor bibliographic record.