Computational Logic
- Category :
- Concept
- Tags :
- general_computing_gleanings
- computer_science
- scientific_computing
- c
- Created:
Table of Contents
About
Computational logic is the use of logic to perform or reason about computation; it bears similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy1.
Anki
Links
References
Wikipedia. “Computational Logic”. Available at: https://en.wikipedia.org/wiki/Computational_logic. (Accessed: ). ↩︎
Share :
Other Articles
- Published:
- client-server model
- Category: Concept
- Published:
- verification
- Category: Concept
- Published:
- load balancer
- Category: Concept