Sökt på: Sökresultat
totalt 268 träffar
Logical Methods
An accessible introduction to philosophical logic, suitable for undergraduate courses and above. Rigorous yet accessible, Logical Methods introduces logical tools used in …
Husserl, Intentionality, and Cognitive Science
As this book makes clear, current use of data structures such as frames, scripts, and stereotypes in psychology, artificial intelligence, and all the other disciplines now grouped …
Categories We Live By
Change in View
Change in View offers an entirely original approach to the philosophical study of reasoning by identifying principles of reasoning with principles for revising one's beliefs and …
Literary Gaming
Linguistic Bodies
Everyday Chaos
Chaos and complexity explained, with illuminating examples ranging from unpredictable pendulums to London's wobbly Millennium Bridge.The math we are taught in school is precise and …
Certified Programming with Dependent Types
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a …