Logic and Discrete Mathematics in the Schools.
Susanna S. EppPublished in: Discrete Mathematics in the Schools (1992)
Keyphrases
- computer algebra
- middle school mathematics
- professional development
- finite number
- classical logic
- logic programming
- sound and complete axiomatization
- discrete version
- computational properties
- high school
- higher education
- computer science
- continuous variables
- set theory
- discrete space
- predicate logic
- electrical engineering
- proof theory
- formal logic
- modal logic