Sökt på: the english language
Vi gjorde istället en sökning på titeln the english language vilket gav totalt 371 träffar
Language, Proof, and Logic
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, …
Foundations of Logic – Completeness, Incompleteness, Computability
A comprehensive introduction to logic’s central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order …
Intention, Plans, and Practical Reason
What happens to our conception of mind and rational agency when we take seriously future-directed intentions and plans and their roles as inputs into further practical reasoning? …
Digital Typography
Donald Knuth's influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. One of the foremost figures in …
Companion to the Papers of Donald Knuth
Donald E. Knuth's seminal publications have earned him a loyal following among scholars and computer scientists, and his award-winning textbooks have become classics that are often …
Lectures on Deixis
Explains the principles which underlie the structure and appropriate use of sentence in a language.
Things a Computer Scientist Rarely Talks About
How does a computer scientist understand infinity? What can probability theory teach us about free will? Can mathematical notions be used to enhance one's personal understanding of …
Fantasia Apocalyptica Illustrated
Artist Duane R. Bibby brings Donald E. Knuth’s computer-assisted musical “translation” of the biblical Book of Revelation to life in this illustrated edition of Knuth’s multimedia …
Selected Papers on Fun and Games
Donald E. Knuth’s influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT …
Literate Programming
Literate programming is a programming methodology that combines a programming language with a documentation language, making programs more robust, more portable, and more easily …