MATE 4021

Lógica matemática

University of Puerto Rico-Rio Piedras · UGRD · Fall 2026

1 section

Catalog description

El cálculo de enunciados. Cálculo de predicados. Enfoque semántico y sintáctico del concepto verdad. Teorema de completabilidad de Godel. Teoría de modelos. Problema de decisión. Aritmetización de la lógica.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #puerto_rico_rio_piedras-1653Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?