379,36 zł

Model Checking MIT Press Ltd

Książki / Literatura obcojęzyczna

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Sklep: Libristo.pl

249,32 zł

How Can the Human Mind Occur in the Physical Universe? Oxford University Press Inc

Książki / Literatura obcojęzyczna

'The question for me is how can the human mind occur in the physical universe. We now know that the world is governed by physics. We now understand the way biology nestles comfortably within that. The issue is how will the mind do that as well.' -Alan Newell, December 4, 1991, Carnegie Mellon University The argument John Anderson gives in this book was inspired by the passage above, from the last lecture by one of the pioneers of cognitive science. Newell describes what, for him, is the pivotal question of scientific inquiry, and Anderson gives an answer that is emerging from the study of brain and behavior. Humans share the same basic cognitive architecture with all primates, but they have evolved abilities to exercise abstract control over cognition and process more complex relational patterns. The human cognitive architecture consists of a set of largely independent modules associated with different brain regions. In this book, Anderson discusses in detail how these various modules can combine to produce behaviors as varied as driving a car and solving an algebraic equation, but focuses principally on two of the modules: the declarative and procedural.The declarative module involves a memory system that, moment by moment, attempts to give each person the most appropriate possible window into his or her past. The procedural module involves a central system that strives to develop a set of productions that will enable the most adaptive response from any state of the modules. Newell argued that the answer to his question must take the form of a cognitive architecture, and Anderson organizes his answer around the ACT-R architecture, but broadens it by bringing in research from all areas of cognitive science, including how recent work in brain imaging maps onto the cogntive architecture.

Sklep: Libristo.pl

346,30 zł

Herbert A. Simon Johns Hopkins University Press

Książki / Literatura obcojęzyczna

Rarely does the world see as versatile a figure as Herbert Simon. A Nobel laureate in economics, he was an accomplished political scientist, winner of a lifetime achievement award from the American Psychological Association, and founder of the Department of Computer Science at Carnegie Mellon University. In all his work in all these fields, he pursued a single goal: to create a science that could map the bounds of human reason and so enlarge its role in human affairs. Hunter Crowther-Heyck uses the career of this unique individual to examine the evolution of the social sciences after World War II, particularly Simon's creation of a new field, systems science, which joined together two distinct, powerful approaches to human behavior, the sciences of choice and control. Simon sought to develop methods by which human behavior, specifically human problem-solving, could be modeled and simulated. Regarding mind and machine as synonymous, Simon applied his models of human behavior to many other areas, from public administration and business management to artificial intelligence and the design of complex social and technical systems.In this informed and discerning study, Crowther-Heyck explores Simon's contributions to science and their influences on modern life and thought. For historians of science, social science, and technology, and for scholars of twentieth-century American intellectual and cultural history, this account of Herbert Simon's life and work provides a rich and valuable perspective.

Sklep: Libristo.pl

157,17 zł

Transnational Nazism Cambridge University Press

Książki / Literatura obcojęzyczna

The first English-language study of German-Japanese interwar relations to employ sources in both languages.

Sklep: Libristo.pl

206,51 zł

Basic Category Theory for Computer Scientists MIT Press Ltd

Książki / Literatura obcojęzyczna

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

Sklep: Libristo.pl

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

1. Sklepy z libristo pl ksiazki literatura obcojezyczna carnegie mellon university press

2. Szukaj na wszystkich stronach serwisu

t1=0.016, t2=0, t3=0, t4=0, t=0.016