Skip to content

Latest commit

 

History

History
50 lines (43 loc) · 2.9 KB

README.md

File metadata and controls

50 lines (43 loc) · 2.9 KB
Raw

Introducción a la Programación - Exactas UBA

🐠 🐠 🐠

Archivos correspondientes a la cursada de Introduccion a la Programacion / Algoritmos y Estructura de Datos I (AED1), en Exactas UBA, el primer cuatrimestre de 2023.

Otros repositorios 👏

Repositorio Luloide: https://github.com/Luloide/IP/tree/main
Repositorio Nachodall: https://github.com/nachodall/UBA-FCEN-IP-AyED1

Contenido

  • Panorama general de la computación, incluyendo descripción de la carrera.
  • Lógica proposicional: sintaxis, semántica, tautologı́a, consecuencia semántica, conjunto satisfacible. Lógica de primer orden: términos, fórmulas, variables libres y ligadas, interpretación, valuación, niveles de verdad, consecuencia semántica, conjunto satisfacible.
  • Algoritmos y resolución de problemas. Variables, expresiones y tipos. Herramientas de abstracción y modularización. Separación de comportamiento e implementación. Noción de contrato (informal).
  • Estructuras de control: secuencia, selección, iteración y recursión.
  • Tipos de datos: booleanos, enteros, tipos enumerados, tuplas, registros (structs), listas.
  • Tipos abstractos de datos: interfaz pública vs. representación privada. Arreglos, pilas, colas, conjuntos, diccionarios.
  • Nociones básicas de modularización (ej. clases).
  • Nociones básicas de testing.
  • Cálculo de operaciones elementales, e introducción al análisis de peor caso de una función.

Guias