MATH 8420 Mathematical Logic Models
Research of the fundamentals of mathematics, the theory of mathematical logic models and non-traditional logic. It includes issues of set theory, completeness and satisfactability of axiomatic systems, model building, non-standard analysis and fuzzy logic. Evaluation of related computer systems.