Filter by
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming languages :constraints, functions, and objects
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
- Edition
- -
- ISBN/ISSN
- 9780262255646
- Collation
- 1 online resource (xiv, 204 pages).
- Series Title
- -
- Call Number
- -
The linguistic turn in hermeneutic philosophy
Annotation The linguistic turn in German philosophy was initiated in the eighteenth century in the work of Johann Georg Hamann, Johann Gottfried von Herder, and Wilhelm von Humboldt. It was further developed in this century by Martin Heidegger, and Hans-Georg Gadamer extended its influence to contemporary philosophers such as Karl-Otto Apel and J?Habermas. This tradition focuses on the world-di…
- Edition
- -
- ISBN/ISSN
- 0585190097
- Collation
- 1 online resource (xviii, 377 pages).
- Series Title
- -
- Call Number
- -
The metaphysics of meaning
"A Bradford book."In "The Metaphysics of Meaning, Jerrold J. Katz offers a radical reappraisal of the "linguistic turn" in twentieth century philosophy. He shows that the naturalism which emerged to become the dominant philosophical position was never adequately proven. Katz critiques the major arguments for contemporary naturalism and develops a new conception of the naturalistic fallacy. This…
- Edition
- -
- ISBN/ISSN
- 9780262276795
- Collation
- 1 online resource (xi, 356 pages).
- Series Title
- -
- Call Number
- -
LISP 1.5 programmer's manual :the Computation Center and Research Laboratory …
Includes index.The manual describes LISP, a formal mathematical language. LISP differs from most programming languages in three important ways. The first way is in the nature of the data.The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing, and other …
- Edition
- -
- ISBN/ISSN
- 9780262287722
- Collation
- 1 online resource (vi, 106 pages)
- Series Title
- -
- Call Number
- -
The prism of grammar :how child language illuminates humanism
"A Bradford book."Exploring the creativity of mind through children's language: how the tiniest utterances can illustrate the simple but abstract principles behind modern grammar--and reveal the innate structures of the mind.Every sentence we hear is instantly analyzed by an inner grammar; just as a prism refracts a beam of light, grammar divides a stream of sound, linking diverse strings of in…
- Edition
- -
- ISBN/ISSN
- 9780262257794
- Collation
- 1 online resource (xviii, 355 pages) :illustrations
- Series Title
- -
- Call Number
- -
Semantics, tense, and time :an essay in the metaphysics of natural language
"A Bradford book."AnnotationOCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0585101175
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Rhyme and reason :an introduction to minimalist syntax
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262285377
- Collation
- 1 online resource (xlii, 669 pages) :illustrations
- Series Title
- -
- Call Number
- -
Words without meaning
"A Bradford book."According to the received view of linguistic communication, the primary function of language is to enable speakers to reveal the propositional contents of their thoughts to hearers. Speakers are able to do this because they share with their hearers an understanding of the meanings of words. Christopher Gauker rejects this conception of language, arguing that it rests on an unt…
- Edition
- -
- ISBN/ISSN
- 9780262273596
- Collation
- 1 online resource (xi, 299 pages).
- Series Title
- -
- Call Number
- -
Web Development with Go Building Scalable Web Apps and RESTful Services
Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud. Web Development with Go will teach you how to develop scalable real-wor…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1052-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography