MATE-3120 Developing the Creative Organization
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