Intentionality - therelationship between conscious states and their objects - is one of the mostdiscussed topics in contemporary debates in philosophy of mind, cognitiveneuroscience and the study of consciousness. Long a foundational concept inPhenomenology, it has also received considerable coverage in the writings ofanalytic philosophers. This book is the first study to offer an impartial,well-informed assessment of the two traditions' approaches through an in-depthinvestigation of the principal thinkers' ideas, so that their positions emergeside-by-side, converging and diverging on certain shared themes.
"Semantics of Programming Languages "exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi. Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.
This is a lively, illustrated book from the popular Good Question! Series. It is packed with fun facts about how the body works. It is suitable for children aged 6 and over. Why do I have a belly button? What happens to the food I eat? Why am I different from everyone else on Earth? All children want to understand how their body works, and this lively illustrated book explains it all, from what DNA is to how their heart pumps blood.
The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations. In this edition the presentation has been enhanced by increasing the number of examples, expanding the selection of topics particularly in the area of computational complexity, and providing a flexible format giving instructors the ability to design their courses that concentrate on specific areas such as automata theory, computability theory, or computational complexity.
Computer Macro Articles
Computer Macro Books