Lógica y teoría de números

Cursada sugerida

Segundo cuatrimestre del primer año, en paralelo con el curso “Algoritmos y estructuras de datos I”.

Objetivos

Introducir la teoría de conjuntos, temas de lógica proposicional y de predicados, y generar una primera aproximación a la teoría de números y problemas combinatorios.

Contenidos mínimos

• Introducción a la teoría de conjuntos. Definiciones por comprensión y por extensión. Diagramas de Venn. Operaciones sobre conjuntos. Relaciones y funciones.

• Introducción a la lógica proposicional. Proposiciones, conectivos lógicos y fórmulas. Tablas de verdad. Equivalencias lógicas. Introducción a la lógica de predicados. Universo. Funciones y predicados. Variables y cuantificadores. Especificación mediante fórmulas de predicados.

• Elementos de aritmética. Números enteros. Algoritmo de división. Números primos. Factorización de enteros en números primos. Máximo común divisor.

• Problemas de conteo. Técnicas de conteo. Fórmula del binomio. Introducción a la combinatoria.

Carga horaria

Dos clases teóricas semanales, una de 4hs de duración y otra de 2 hs durante 16 semanas, totalizando 96 horas de clase.

Régimen de aprobación

Para aprobar la materia, será necesario aprobar dos parciales: El primero a mitad de la cursada y el otro al finalizarla. De no aprobar alguno de estos exámenes, se podrán rendir sus respectivos recuperatorios al final de la cursada.