La materia tiene por objetivo ayudar a l@s estudiantes a armar en forma correcta frases en lógica proposicional, formalizar situaciones sencillas en lógica de primer orden e iniciarse en la elaboración de demostraciones en ambas lógicas, cuestiones necesarias para el desarrollo del paradigma lógico de razonamiento.
Adquirir habilidades en el manejo de demostraciones por inducción matemática que relativa al conjunto de los números naturales, resulta ser la base de la recursividad y operar con conjuntos e interpretar enunciados relativos a los mismos, entre otras cosas.
Modos de Cursada: Cuatrimestral Presencial
Horas Semanales: 8 horas
Demanda de tiempo en casa semanal: 8 horas
Sitio web:
Programa de la materia:
Contenidos Mínimos:
- Lógica proposicional y de primer orden. Técnicas de prueba.
- Teoría básica de conjuntos.
- Inducción matemática sobre números naturales.
- Relaciones binarias: relaciones de orden, relaciones de equivalencia, relaciones funcionales.
- Elementos básicos de análisis combinatorio.