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.

Credits

3

Periodo en el que se ofrece el curso

202410

Idioma en el que se ofrece el curso

Español