Symbioses between mathematical logic and computer science.
Andreas BlassPublished in: Ann. Pure Appl. Log. (2016)
Keyphrases
- computer science
- lecture notes
- computer scientists
- computer algebra
- modal logic
- artificial intelligence
- mathematical theory
- predicate logic
- multi valued
- human reasoning
- social sciences
- classical logic
- computational linguistics
- researchers and practitioners
- proof theory
- logic programming
- mathematical concepts
- database
- applied mathematics
- sound and complete axiomatization
- natural deduction
- epistemic logic
- digital circuits
- information science
- machine learning
- data mining
- nonmonotonic logics
- computing education
- deontic logic
- logical framework
- probability theory
- situation calculus
- temporal logic
- logic programs
- computer engineering
- computer science students