Mathematical Logic
- Category :
- Concept
- Tags :
- general_computing_gleanings
- computer_science
- mathematics
- mathematical_foundations
- m
- Created:
Table of Contents
About
Mathematical logic is the study of formal logic within mathematics1. Boolean logic and other ways of modeling logical queries; the uses and limitations of formal proof methods2.
Subareas
The major subareas are:
- Model theory
- Proof theory
- Set theory
- Recursion theory (or computability theory)
Anki
Links
References
Wikipedia. “Mathematical Logic”. Available at: https://en.wikipedia.org/wiki/Mathematical_logic. (Accessed: ). ↩︎
Wikipedia. “Outline of computer science”. Available at: https://en.wikipedia.org/wiki/Outline_of_computer_science. (Accessed: ). ↩︎
Share :
Other Articles
- Published:
- All Diagrams
- Category: Raw
- Published:
- 413 Content Too Large
- Category: Concept