A Tour through Mathematical Logic by Robert S. Wolf.
Michael BeesonPublished in: Am. Math. Mon. (2006)
Keyphrases
- traveling salesman problem
- computer algebra
- traveling salesman
- mathematical expressions
- logic programming
- multi valued
- real world
- automated reasoning
- epistemic logic
- human reasoning
- classical logic
- probabilistic logic
- machine learning
- sound and complete axiomatization
- computational properties
- formal logic
- logic synthesis
- dynamic logic
- deontic logic
- truth values
- set theory
- defeasible logic
- database
- multi agent systems
- search engine
- data sets
- real time