Ver el código de «Introducción a la Programación»

__NOTOC__
'''Algoritmos I''' es la primera materia propia de la carrera. Según el [[Plan de la Carrera]] es una materia a ser cursada en [[Plan de la Carrera#Primer año|Primer año]]. Es correlativa con [[Álgebra I]] y necesaria para cursar [[Algoritmos y Estructuras de Datos II]] y [[Métodos Numéricos]].

== Información General sobre la Cursada ==
Algoritmos I consiste de clases teóricas y prácticas. Para aprobar la materia se deben rendir 2 exámenes parciales (especificación e imperativo) y 2 trabajos prácticos.

La materia se cursa los Lunes, Miércoles y Viernes de 17 a 22hs.

== Contenidos ==
<big>'''Parte I - Corrección de programas imperativos:'''</big>
*Contratos. Obligaciones y derechos del programador y del usuario
*Conceptos básicos de los programas imperativos: variables - estructuras de control - funciones - ciclos
*Corrección de programas:
# Especificación formal de contratos: tipos de datos básicos, secuencias, n-uplas, operadores de lógica condicionales (cand y cor) y sus propiedades
# Demostración de corrección parcial: precondicicón más débil. Teorema de corrección parcial para ciclos. Invariantes de ciclo.
# Demostración de terminación: Función variante

<big>'''Parte II - Algoritmos sobre secuencias'''</big>
* Buenas prácticas para el desarrollo de software. El software pensado para consumo humano.
* Fundamentos de testing estructural: cubrimiento de líneas, branches, condiciones básicas. Diagramas de flujo de control. 
* Tiempo de ejecución de peor caso de un algoritmo. Notación O grande.
* Algoritmos de búsqueda sobre secuencias: búsqueda lineal, búsqueda binaria
* Algoritmos de ordenamiento sobre secuencias: ordenamiento por selección, ordenamiento por inserción, ordenamiento por burbujea, problema de la bandera holandesa
* Algoritmos sobre secuencias ordenadas: problema de apareo entre secuencias, problema del welfare crook
* Algoritmos de matching de strings: algoritmo ingenuo de búsqueda de patrones, algoritmo Knuth-Morris-Pratt

==Prácticas==
*[https://drive.google.com/file/d/1w8S7avISqJ6sMK2bfzw21U_Qc8Bms1bE/view?usp=sharing| Prácticas 1-9 de 2020 resueltas]
*[[Media:P1-logica.pdf |Práctica 1: Lógica Proposicional y Tipos Básicos]]
** [[Práctica 1: Lógica Proposicional y Tipos Básicos (Algoritmos I) | Solución]]
*[[Media:P2-secuencias.pdf|Práctica 2: Secuencias]]
** [[Práctica 2: Secuencias (Algoritmos I) | Solución]]
*[[Media:P3-cuantificadores.pdf |Práctica 3: Cuantificadores]]
** [[Práctica 3: Cuantificadores (Algoritmos I) | Solución]]
*[[Media:P4-espec_problemas.pdf| Práctica 4: Especificación de Problemas]]
** [[Práctica 4: Especificación de Problemas (Algoritmos I) | Solución]]
*[[Media:P5-tipos.pdf| Práctica 5: Tipos]]
** [[Práctica 5: Tipos (Algoritmos I) | Solución]]
*[[Media:P6-FuncionalBasica.pdf| Práctica 6: Funcional Básica]]
*[[Media:P7-listas.pdf|Práctica 7: Listas]]
*[[Media:P8-TiposCompuestos.pdf| Práctica 8: Tipos compuestos]]

==Parciales==
=== Primeros parciales (Especificación) ===
*[[Media:ParcialesEspecificacion.zip|Parciales de especificacion]]
*[[Media:img001.pdf|Parcial del 17/04/2013]]
*[[Media:RPI resuEspe1C2013.pdf|Recuperatorio del 28/06/2013]]
*[[Medio:espe2C2013.pdf|Parcial del 13/09/2013]]
*[[Media:RPI resuEspe2C2013.pdf|Recuperatorio del 27/11/2013]]
*[[Media:AED1_1parcial_24-04-15.pdf|Parcial del 24/04/2015]]
*[[Media:AED1_1parcial_24-04-15_resuelto.pdf|Parcial del 24/04/2015 (Resuelto)]]
*[[Media:AED1_1parcial_18-09-15.pdf|Parcial del 18/09/2015]]
*[[Media:AED1_1parcial_25-04-16_resuelto.pdf|Parcial del 25/04/2016 (Resuelto)]]
*[[Media:AED1_1parcial_14-09-16_resuelto.pdf|Parcial del 14/09/2016 (Resuelto)]]
*[[Media:AED1_1parcial_12-05-17_resuelto.pdf|Parcial del 12/05/2017 (Resuelto)]]
*[[Media:recuPrimerParcialAlgo1_7-7-17.pdf|Recuperatorio del 7/07/2017 (enunciado)]]
*[[Media:primerParcialAlgo1_6-10-17.pdf|Parcial del 6/10/2017 (enunciado)]]
*[[Medio:AED1_1parcial_17-10-18.pdf| Parcial del 17/10/2018 (Resuelto)]]
*[[Medio:AED1_1parcial_10-5-19.pdf| Parcial del 10/05/2019 (Resuelto)]]
*[[Medio:AED1_1parcial_21-10-20.pdf| Parcial del 21/10/2020 (Enunciado)]]
*[[Medio:AED1_1recu_27-11-20.pdf|Recuperatorio del 27/11/2020 (Enunciado)]]
*[[Medio:AED1_1parcial_19-05-21.pdf|Parcial del 19/05/2021 (Enunciado)]]
*[[Medio:AED1_1recu_28-06-21.pdf|Recuperatorio del 28/06/2021 (Enunciado)]]

===Segundos parciales (Imperativo)===
*[[Media:PI 07-07-2006 (Algoritmos I).pdf|Parcial del 07/07/2006]]
*[[Media:PI 30-11-2005 (Algoritmos I).pdf|Parcial del 30/11/2005]]
*[[Media:PI 11-07-2005 (Algoritmos I).pdf|Parcial del 11/07/2005]]
*[[Media:RPI 19-07-2006 (Algoritmos I).pdf|Recuperatorio del 19/07/2006]]
*[[Media:RPI 16-12-2005 (Algoritmos I).pdf|Recuperatorio del 16/12/2005]]
*[[Media:RPI 23-07-2005 (Algoritmos I).pdf|Recuperatorio del 23/07/2005]]
*[[Media:imp1C2013.pdf|Parcial del 24/06/2013]]
*[[Media:imp2C2013.pdf|Parcial del 18/11/2013]]
*[[Media:AED1_2parcial_26-06-15_resuelto.pdf|Parcial del 26/06/2015 (Resuelto)]]
*[[Media:AED1_2parcial_20-11-15.pdf|Parcial del 20/11/2015]]
*[[Media:AED1_2parcial_27-06-16_resuelto.pdf|Parcial del 27/06/2016 (Resuelto)]]
*[[Media:AED1_2parcial_18-11-16_resuelto.pdf|Parcial del 18/11/2016 (Resuelto)]]
*[[Media:AED1_2parcial_30-06-17_resuelto.pdf|Parcial del 30/06/2017 (Resuelto)]]
*[[Media:recuSegundoParcialAlgo1_14-7-17.pdf|Recuperatorio del 14/07/2017 (enunciado)]]
*[[Media:segundoParcialAlgo1_24-11-17.pdf|Parcial del 24/11/2017 (enunciado)]]
*[[Media:AED1_2parcial_22-06-18.pdf|Parcial del 22/06/2018]]
*[[Media:AED1_2parcial_23-11-18.pdf|Parcial del 23/11/2018]]
*[[Media:AED1_2parcial_24-06-2019.pdf|Parcial del 24-06-2019 - Primer cuatrimestre (Resuelto)]]
*[[Media:AED1_2parcial_15-11-2019_resuelto.pdf|Parcial del 15-11-2019 (Resuelto)]]
*[[Media:AED1_2parcial_19-11-20.pdf|Parcial del 19-11-2020 (Enunciado)]]
*[[Media:AED1_recup_09-12-20.pdf|Recuperatorio del 09-12-2020 (Enunciado)]]
*[[Media:AED1_2parcial_23-06-21.pdf|Parcial del 23-06-2021 (Enunciado)]]

===Parciales de Funcional===
*[[Media:ParcialesFuncional.zip|Parciales de funcional]]
*[[Media:func1C2013.pdf|Parcial del 20/05/2013]]
*[[Media:recuFunc1C2013.pdf|Recuperatorio del 08/07/2013]]
*[[Media:func2c2013.pdf|Parcial del 09/10/2013]]
*[[Media:recuFunc2C2013.pdf|Recuperatorio del 04/12/2013]]

==Finales==
*[[Media:AED1_final_23-04-2019.jpg|Final del 23-04-2019]]
*[[Media:AED1_final_16-12-2020.pdf|Final Online del 16-12-2020]]

== Apuntes ==
*[https://drive.google.com/file/d/1qt1R9clSGQJEhDvrFYCzSOc1orrlNiUi/view?usp=sharing Apunte de Testing]
*[https://docs.google.com/document/d/1b8vm_PoiRftVKyE-9Tlwa-VAs9AobXe0GOpHJkO4rEg/edit?usp=sharing Resumen de Clases Teóricas y Practicas - 1C Online 2020]
*[https://elrepositoriodefede.wordpress.com/materias/materias-de-computacion/algoritmos-y-estructura-de-datos-i/ El Respositorio de Fede]: Apuntes de las Clases Teóricas, Ejercicios y Parciales Resueltos y Material Adicional - Segundo Cuatrimestre 2019
*[[Media:LengDeEspecificacion.pdf|Apuntes del lenguaje de especificación]]
*[[Apuntes de Funcional (Algoritmos I)| Apuntes de funcional]]: Apuntes y resumenes de programacion en funcional.
*[https://docs.google.com/document/d/13LdC39MdqZ24atcsCaBHQylSCUIdMCNivzh8xxKeEOY/edit?usp=sharing Resumen Teórico (Incompleto)]
*[[Media:Labo01_CLionInstallation.pdf|Guía de Instalación de CLion IDE C++ con Licencia Estudiantil]]

==Enlaces Externos==
* [https://campus.exactas.uba.ar/course/view.php?id=1479 Página oficial de la materia]

[[Category:Materias]]
[[Category:Computación]]
[[Category:Programación]]