Build on your foundational logic skills with the further application of predicate calculus, including the calculi of identity and description. This course introduces the metalogical questions of completeness, consistency, and decidability. Because it rigorously trains students in algorithmic structure, precise language translation, and complex argumentation, this course is highly recommended for students planning to attend law school or pursue careers in programming and computer science.
Best,
|