MATH8141

Download as PDF

MATH 8141 - Applied Logic (3 Cr.)

School of Mathematics (11133) TIOT - College of Science and Engineering

Course description

Applying techniques of mathematical logic to other areas of mathematics and computer science. Sample topics: complexity of computation, computable analysis, unsolvability of diophantine problems, program verification, database theory.

Minimum credits

3

Maximum credits

3

Is this course repeatable?

No

Grading basis

AFV - A-F or Audit

Lecture

Fulfills the writing intensive requirement?

No

Typically offered term(s)

Periodic Fall & Spring