Results by Title
8 books about Computation

The Cultural Logic of Computation
David Golumbia
Harvard University Press, 2009
Library of Congress QA76.9.C66G68 2009  Dewey Decimal 303.4834
In The Cultural Logic of Computation, David Golumbia, who worked as a software designer for more than ten years, argues that computers are cultural "all the way down"  that there is no part of the apparent technological transformation that is not shaped by historical and cultural processes, or that escapes existing cultural politics. The Cultural Logic of Computation provides a needed corrective to the uncritical enthusiasm for computers common today in many parts of our culture.
Expand Description


Handbook of Mathematical Models for Languages and Computation
Alexander Meduna
The Institution of Engineering and Technology, 2020
The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic. This handbook introduces with rigor the important concepts of this kind and uses them to cover the most important mathematical models for languages and computation, such as various classical as well as modern automata and grammars. It explains their use in such crucially significant topics of computation theory as computability, decidability, and computational complexity. The authors pay special attention to the implementation of all these mathematical concepts and models and explains clearly how to encode them in computational practice. All computer programs are written in C#.
Expand Description


Linguistics and Computation
Edited by Jennifer S. Cole, Georgia M. Green, and Jerry L. Morgan
CSLI, 1995
Library of Congress P98.L543 1995  Dewey Decimal 410.285
This volume is a collection covering the diverse areas of psycholinguistics, syntax, computational linguistics and phonology. Abney's paper on Chunks provides an interesting new approach to phrase structure, motivated by psycholinguist data, something that is rarely done. Berwick and Fong provide a history of computational implementations of (Chomskyan) Transformational Grammar. Cole's phonology paper, arguing from Chamorro and English stress that cyclicity is not needed in phonology, is also preceded by a oneandahalfpage introduction on why this is relevant to computation. Coleman's contribution summarises work on computational phonology and describes the York Talk speech synthesis system. Hirschberg and Sproat's paper describes a system they have written to assign pitch accent to unrestricted text in an RT&T texttospeech system. This is very much applied natural language processing, but their system represents a more thoroughgoing attempt at doing this well than has been previously attempted, and this appears to be the first writeup of this work. Johnson and Moss introduce Stratified Feature Grammar, a formal model of language, inspired by Relational Grammar but formalised by using and extending tools developed in the unification grammar community. Finally, Nakazawa extends further Tomita's work so that computer science LR parsing methods can be applied to natural language grammars, here featurebased grammars.
Expand Description


Logic, Language and Computation
Edited by Jerry Seligman and Dag Westerståhl
CSLI, 1996
Library of Congress P39.L593 1996  Dewey Decimal 410.285
Subject: Linguistics; Logic; Computational Linguistics
Expand Description


Logics of Time and Computation
Robert Goldblatt
CSLI, 1992
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic.
Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, firstorder defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs.
New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom.
Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.
Center for the Study of Language and Information Lecture Notes, Number 7
Expand Description


Perspectives in Computation
Robert Geroch
University of Chicago Press, 2009
Library of Congress QA267.7.G47 2009  Dewey Decimal 511.352
Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. Mathematicians and physicists have been occupied for many decades pondering which problems can be solved by which procedures, and, for those that can be solved, how this can most efficiently be done. In recent years, quantum mechanics has augmented our understanding of the process of computation and of its limitations.
Perspectives in Computation covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum mechanics in computation. The emphasis is theoretical; Robert Geroch asks what can be done, and what, in principle, are the limitations on what can be done? Geroch guides readers through these topics by combining general discussions of broader issues with precise mathematical formulations—as well as through examples of how computation works.
Requiring little technical knowledge of mathematics or physics, Perspectives in Computation will serve both advanced undergraduates and graduate students in mathematics and physics, as well as other scientists working in adjacent fields.
Expand Description


Quantifying Life: A Symbiosis of Computation, Mathematics, and Biology
Dmitry A. Kondrashov
University of Chicago Press, 2016
Library of Congress QH324.2.K665 2016  Dewey Decimal 570.285
Since the time of Isaac Newton, physicists have used mathematics to describe the behavior of matter of all sizes, from subatomic particles to galaxies. In the past three decades, as advances in molecular biology have produced an avalanche of data, computational and mathematical techniques have also become necessary tools in the arsenal of biologists. But while quantitative approaches are now providing fundamental insights into biological systems, the college curriculum for biologists has not caught up, and most biology majors are never exposed to the computational and probabilistic mathematical approaches that dominate in biological research.
With Quantifying Life, Dmitry A. Kondrashov offers an accessible introduction to the breadth of mathematical modeling used in biology today. Assuming only a foundation in high school mathematics, Quantifying Life takes an innovative computational approach to developing mathematical skills and intuition. Through lessons illustrated with copious examples, mathematical and programming exercises, literature discussion questions, and computational projects of various degrees of difficulty, students build and analyze models based on current research papers and learn to implement them in the R programming language. This interplay of mathematical ideas, systematically developed programming skills, and a broad selection of biological research topics makes Quantifying Life an invaluable guide for seasoned life scientists and the next generation of biologists alike.
Expand Description


The Tbilisi Symposium on Logic, Language and Computation: Selected Papers
Edited by Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, JeanJacques Lévy,
CSLI, 1998
Library of Congress QA75.5.T412 1995  Dewey Decimal 410.15113
This volume brings together papers from linguists, logicians, and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK, and USA). This collection aims to serve as a catalyst for new interdisciplinary developments in language, logic and computation and to introduce new ideas from the expanded European academic community. Spanning a wide range of disciplines, the papers cover such topics as formal semantics of natural language, dynamic semantics, channel theory, formal syntax of natural language, formal language theory, corpusbased methods in computational linguistics, computational semantics, syntactic and semantic aspects of lcalculus, nonclassical logics, and a fundamental problem in predicate logic.
Expand Description


