(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.

plural of computer language

(computing) A computer which is not a quantum computer, nor enjoys any other sort of (yet unknown) mechanism for transcending known computer science; a computer which can be modelled by a deterministic Turing machine

plural of quantum computer

plural of classical computer

(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

The study of interaction between people and computers.

plural of Turing computable function

A temporary condition resulting from focusing the eyes on a computer display for extended periods of time. Symptoms include headaches, blurry vision, and difficulty in refocusing.

(medicine) A medical imaging process involving the use of multiple X-ray images to produce a three dimensional image of internal organs. / (medicine) A scan produced by this technique.