MATE-3120 Logic I
This course is an introduction with mathematical emphasis to logic. The minimum content of the course includes the study of the calculation of propositions and predicates: symbolization, syntax, semantics, formal deduction, validity and completeness theorems for these calculations. It gives an introduction to calculations: recursive functions, Turing-calculable functions, equivalence between them. We study some links between calculation and formal properties of logical calculations studied.
Instructor
Corredor Londoño Luis
Catalog page for this course