Content deleted Content added
m Recategorize. |
|||
Line 30:
* [[Logic]] is a formal system of reasoning, and studies principles that lay at the very basis of computing/reasoning machines, whether it be the hardware (digital logic) or software (verification, AI etc.) levels. The subfield of logic called [[computability logic]] provides a systematic answer to the fundamental questions about what and how can be computed.
* [[Computer engineering]] is the analysis, design, and construction of computer hardware.
* [[Information security]] is the analysis and implementation of [[information system]] security, including [[cryptography]].
== Major fields of importance for computer science ==
| |||