Mathematics Algebra Algorithms Machine theory
Science Mathematics Algebra Algorithms Machine theory
Science Mathematics Algebra Algorithms Machine theory
Mathematics--Philosophy Arithmetic--Foundations Algorithms Machine theory
Mathematics Logic, Symbolic and mathematical Machine theory
Science Mathematics Logic, Symbolic and mathematical Machine theory
Science Mathematics Logic, Symbolic and mathematical Machine theory
Mathematics Algebra Algorithms Recursive functions Machine theory
... Science Mathematics Algebra Algorithms Recursive functions Machine theory
... Science Mathematics Algebra Algorithms Recursive functions Machine theory
Mathematics--Philosophy Arithmetic--Foundations Algorithms Recursive functions Machine theory
Mathematics Logic, Symbolic and mathematical Recursive functions Machine theory
Science Mathematics Logic, Symbolic and mathematical Recursive functions Machine theory
Science Mathematics Logic, Symbolic and mathematical Recursive functions Machine theory
Mathematics Algebra Number theory Recursive functions Machine theory
... Science Mathematics Algebra Number theory Recursive functions Machine theory
... Science Mathematics Algebra Number theory Recursive functions Machine theory
Mathematics--Philosophy Arithmetic--Foundations Recursive functions Machine theory
Mathematics Logic, Symbolic and mathematical Recursion theory Recursive functions Machine theory
... Science Mathematics Logic, Symbolic and mathematical Recursion theory Recursive functions Machine theory
... Science Mathematics Logic, Symbolic and mathematical Recursion theory Recursive functions Machine theory
Preferred term
QA267-QA268.5 Machine theory
Alternative terms for the concept.
Abstract automata Abstract machines Automata Mathematical machine theory
Notes
Here are entered works on the abstract mathematical models of devices which operate within a consistent logical system in accordance with a given algorithm; such mathematical theory can be used as a basis for design but is not concerned with hardware.
Code that uniquely identifies a concept within a concept scheme.
URI
http://www.yso.fi/onto/lcsh/sh85079341
Created 11/02/1986, 00:00, last modified 07/08/2006, 13:29