The central role of mathematical logic in computer science.
J. Paul Myers Jr.Published in: SIGCSE (1990)
Keyphrases
- computer science
- lecture notes
- modal logic
- computer algebra
- artificial intelligence
- social aspects
- electrical engineering
- mathematical theory
- classical logic
- multi valued
- sound and complete axiomatization
- human reasoning
- asynchronous circuits
- information science
- computer scientists
- social sciences
- machine learning
- data mining
- neural network
- logical framework
- database
- logic programming
- databases
- computer engineering
- mathematical concepts
- mathematical knowledge
- data sets