Wednesday,20th August 2008 UTC

On this page about Theoretical computer science:

• Tags
• Encyclopedia extract
• Translations
• Search Results

Tags

• Theoretical computer science (28)

Encyclopedia: Theoretical computer science

Theoretical computer science is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms and semantics of programming languages. Although not itself a single topic, its practitioners form a distinct subgroup within computer science researchers.

Translations

How to say "Theoretical computer science" in other languages:

	(Japanese)	理論計算機科学
	(German)	Theoretische Informatik
	(French)	Informatique théorique
	(Italian)	Informatica teorica

Search results

Andrej Brodnik

Andrej Brodnik (born 1961) is a Slovenian mathematician. He works mainly in theoretical computer science. He received his Ph.D. from University of Waterloo, Ontario, Canada in 1995...

→  read in the encylopedia

Oracle (disambiguation)

Oracle could refer to: Oracle - a person who makes predictions based on a claimed connection to the Gods Oracle Corporation - a database software company. Oracle database - its popular database product. Oracle machine - the "oracle" in theoretical computer science. The Oracle - a character in...

→  read in the encylopedia

Ambient calculus

: process algebra, programming language, theoretical computer science, lambda calculus, type theory. The... computing...

→  read in the encylopedia

Complexity theory

Complexity theory can refer to more than one thing: Computational complexity theory : a field in theoretical computer science and mathematics dealing with the resources required during computation... interdisciplinary field including engineering, biology and philosophy that incorporates science to study large...

→  read in the encylopedia

Nick Pippenger

Nick Pippenger is an outstanding researcher in computer science of world-wide recognition. He has produced a number of fundamental results many of which are being widely used in the field of theoretical computer science, database processing and compiler optimization. He has taught at the...

→  read in the encylopedia

TCS

Singapore Temperature compensation sensor The Coastal Society The Crustacean Society Theoretical computer science Thermal control subsystem Tongass Conservation Society Toronto Choral Society Total cross... Communications System (USA) Troop carrier squadron Trusted computer system Tucson Computer Society...

→  read in the encylopedia

Gödel Prize

The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after... prize is awarded either at STOC ( ACM Symposium on Theory of Computing , one of main North American conferences in theoretical computer science) or ICALP ( International Colloquium on Automata, Languages...

→  read in the encylopedia

Interactive computation

Turing Machines as a model of interactive computation . Lecture Notes in Computer Science 1762, pp.116-135. P.Wegner, Interactive foundations of computing . Theoretical Computer Science 192 (1998... fact has been admitted by Alan Turing himself, it was not until recently that the theoretical computer...

→  read in the encylopedia

Abstract data structure

...

→  read in the encylopedia

Post machine

...

→  read in the encylopedia