From del.icio.us
()
Computer Science
A Computer science guide, with links, news, and comments. Discuss disciplines of CS, programming language theory, or other topics of computer science.
In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ->; this definition can be further refined if we index (label) subsets...
More perspectives...
The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh. We are a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
More perspectives...
From del.icio.us
()
Computer Science programs are facing a decline in enrollment while the workforce demand for Information Technology professionals is growing. This paper presents a multidisciplinary approach for a computing program to accommodate the employers' hiring requirements in the 21st century. The proposed program integrates the technical and professional requirements with general education requirements and electives to prepare students for an...
More perspectives...
From del.icio.us
()
Edge interview/article with Jaron Lanier. Talks about the fallacy of the computer sciences, and makes quite a few interesting observations on the state of general computing, computer science, and computer development right now.
More perspectives...
From del.icio.us
()
Computer Science Unplugged is a series of learning activities that reveals a little-known secret: Computer Science isn't really about computers at all...
More perspectives...
From del.icio.us
()
