746
edits
(Theoretical computer science) |
(Theory of computation) |
||
Line 89: | Line 89: | ||
{{main|Theoretical computer science}} | {{main|Theoretical computer science}} | ||
''Theoretical Computer Science'' is mathematical and abstract in spirit, but it derives its motivation from the practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. | ''Theoretical Computer Science'' is mathematical and abstract in spirit, but it derives its motivation from the practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. | ||
====Theory of computation==== | |||
{{main|Theory of computation}} | |||