MATE-3120 Logica 1
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.
Periodo en el que se ofrece el curso
202010
Idioma en el que se ofrece el curso
Español
Catalog page for this course