Fall 2024 - Schedule of Classes
COMP 410
Class Number | Location | Day | Time |
---|---|---|---|
Prerequisites: Grade of “C-” or better in COMP 380/L. Programming techniques in the logic programming language PROLOG. Prenex conjunctive normal form and grammatical algorithms. Tableaux, sequenzen, resolution and other semi-decision procedures. Closures of relations, fixed point theory, control mechanisms, relationship to functional programming. Available for graduate credit.
Class Number | Location | Day | Time |
---|---|---|---|
Class Number | Location | Day | Time |
---|---|---|---|