Tema 3 Concepto y Especificación de Tipos Abstractos de Datos
|
|
- Cristóbal Cruz Nieto
- hace 6 años
- Vistas:
Transcripción
1 Tema 3 Concepto y Especificación de Tipos Abstractos de Datos Pablo Sánchez Dpto. Matemáticas, Estadística y Computación Universidad de Cantabria Santander (Cantabria, España) p.sanchez@unican.es Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 1 / 18
2 Introducción Objetivos Objetivos Objetivos 1 Conocer el concepto de tipo abstracto de datos. 2 Entender la diferencia y relación entre especificación e implementación. 3 Entender la utilidad de las especificaciones algebraicas. 4 Ser capaz de interpretar y entender una especificación algebraica. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 2 / 18
3 Introducción Bibliografía Básica Bibliografía Básica Ricardo Peña (2005). Diseño de Programas: Formalismo y Abstracción. Pearson Educacion, 3 edition. Xavier Franch (1999). Estructuras de Datos: Especificación, Diseño e Implementación. Ediciones Universidad Politécnica de Cataluña, 3 edition. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 3 / 18
4 Introducción Concepto de Abstracción Concepto de Abstracción Abstracción Proceso por el cual se resaltan o destacan los detalles relevantes para un cierto propósito mientras se ignoran u ocultan los irrelevantes para tal propósito. Conjunto de Fechas 3/Marzo/1989 Posibles Representaciones Fecha ES TUPLA dia: RANGO [1..31] DE NATURAL; mes: RANGO [1..12] DE NATURAL; a~no: NATURAL; FINTUPLA // Cuento los dias desde el nacimiento de cristo Fecha ES NATURAL; // Cuento los dias desde el comienzo del a~no Fecha ES TUPLA ndias: RANGO [0..365] DE NATURAL; a~no : NATURAL; FINTUPLA Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 4 / 18
5 Introducción Concepto de Especificación Especificación vs Implementación Especificación Sw Determinar qué debe hacer un elemento software, sin detallar cómo lo hace. Implementación Sw Determinar cómo se satisface una determinada especificación. Para una especificación puede haber varias (incluso infinitas) implementaciones que la satisfacen. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 5 / 18
6 Introducción Concepto de Especificación Especificación Formal de Algoritmos Especificación con Pre y Postcondiciones Una especificación de un algoritmo A es una terna {Q}S{R} donde Q y R son predicados y S es la cabecera (o signatura) para el algoritmo A. 1 El predicado {Q} se denomina precondición y sus únicas variables libres son los parámetros de entrada de S. 2 El predicado {R} se denomina postcondición y sus únicas variables libres son los parámetros de S. 3 El significado de dicha terna es que si el algoritmo A comienza con una asignación de variables que satisface Q, A termina y lo hace en un estado que satisface R. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 6 / 18
7 Introducción Concepto de Tipo Abstracto de Datos Concepto de Tipo Abstracto de Datos Tipo Abstracto de Datos (TAD) Un tipo abstracto de datos es un tipo, es decir un conjunto de individuos más una serie de operaciones (básicas) aplicables a dicho conjunto de individuos, que se define de forma independiente a su representación. Una especificación de un TAD debe indicar: 1 Qué individuos representa (o pertenecen a) dicho tipo; 2 Qué operaciones que se pueden aplicar sobre tales individuos; 3 La semántica y propiedades de tales operaciones. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 7 / 18
8 Especificación Algebraica de TADs Concepto de Especificación Algebraica Especificación Algebraica de TADs Especificación algebraica Una especificación algebraica es un par SPEC = (SIG,E), donde SIG es una signatura y E un conjunto de ecuaciones con respecto a SIG. Signatura Una signatura es un par SIG = (S,OP), donde S es un conjunto de dominios y OP es un conjunto de funciones sobre los dominios de S Las operaciones y ecuaciones de una SPEC determinan: 1 Qué valores del TAD podemos construir; 2 Qué operaciones se pueden aplicar a un valor del TAD; 3 Qué hace cada operación y qué propiedades tiene. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 8 / 18
9 Especificación Algebraica de TADs Concepto de Especificación Algebraica Valores Generados por una Esp. Algebraica Términos de un TAD Dada una signatura SIG = (S,OP) y un conjunto X de variables con respecto a SIG, el soporte del SIG-álgebra de términos abiertos, denotada T SIG (X) se define como, para todo s S: 1 (op : s) OP,op T SIG 2 (op : s 1...s n ) OP, t 1 : s 1 T SIG... t n : s n T SIG, t 1...t n = Pre(op); op(t 1,...,t n ) T SIG, donde Pre(op) es el conjunto de las precondiciones de op. Pueden existir más valores de los deseados sino los agrupamos de algún modo. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 9 / 18
10 Especificación Algebraica de TADs Álgebra definida por SPEC Álgebra asociada a una Especificación Algebraica Álgebra Asociada a un TAD Dada una especificación SPEC = (SIG,E), el álgebra definida por SPEC, denotada T SPEC, es la siguiente SIG-Álgebra: 1 Soporte: T SPEC = T SIG / E, donde E es la relación de equivalencia inducida por las ecuaciones. Dado t T SIG, su clase de equivalencia se denota [t]. 2 Operaciones: (op : s) OP,op T SPEC = [t] (op : s1...s n ) OP, [t 1 ],...,[t n ] = Pre(op); op T SPEC ([t 1 ],...,[t n ]) = [op T SPEC (t 1,...,t n )] Término Canónico El término canónico de una clase de equivalencia es el término más simple de una clase de equivalencia. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 10 / 18
11 Especificación Algebraica de TADs Álgebra asociada a una Especificación Algebraica Modelo de una Especificación Algebraica Una especificación algebraica SPEC = (SIG,E) tiene como modelo un álgebra A tal que informalmente: 1 Hay una función total f : T SPEC A. 2 Posee un equivalente para cada operación op SIG. 3 Las ecuaciones de SPEC se satisfacen en A. 4 No posee basura: t A, t debe poder ser generado por las operaciones de SIG. 5 No posee confusión: t 1,t 2 T SPEC,t 1 t 2 ;f(t 1 ) f(t 2 ) Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 11 / 18
12 Especificación Algebraica de TADs Construcción de Especificaciones Algebraicas Clases de Operaciones de una Especificación Alg. Operaciones Constructoras Su resultado es del tipo de interés. Operaciones Observadoras Tienen como parámetro al tipo de interés, pero el resultado no es del tipo de interés. Operaciones Generadoras Mínimo subconjunto de las constructoras con las que es posible generar cualquier término del tipo. Se dicen libres si no hay confusión entre los términos generados. Se dicen no libres en caso contrario. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 12 / 18
13 Especificación Algebraica de TADs Construcción de Especificaciones Algebraicas Elaboración de Especificaciones Algebraicas 1 Seleccionar el conjunto de generadoras Gen(s). 2 Si Gen(s) no fuesen libres, escribir las ecuaciones necesarias para evitar la confusión. 3 Identificar el patrón de los términos canónicos. 4 Escribir ecuaciones para el resto de operaciones, al menos una por operación y patrón de los términos canónicos. 5 Estas ecuaciones deben garantizar que las constructoras son reducibles a términos canónicos. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 13 / 18
14 Especificación Algebraica de TADs Ventajas de las Especificaciones Algebraicas Ventajas de las Especificaciones Algebraicas 1 Permiten especificar con precisión la sintaxis y comportamiento de un TAD. 2 Son ejecutables, por lo que sirven para la creación de prototipos. 3 Permiten verificar formalmente propiedades de los TADs., Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 14 / 18
15 Relación Especificación-Implementación Relación Especificación-Implementación Relación Especificación-Implementación Los valores del tipo se simulan mediante las construcciones y tipos de un lenguaje de programación. Existe función f : T IMP T SPEC, denominada función de abstracción, que a cada valor concreta asigna su valor abstracto. f es sobreyectiva, no necesariamente inyectiva, parcial y homeomorfa con respecto a la especificación. t 1 : T SPEC f(t 1 ) t' 1 : T IMP op(t 1 ) op'(t 1 ) t 2 : T SPEC f(t 2 ) t' 2 : T IMP Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 15 / 18
16 Relación Especificación-Implementación Corrección de una Implementación Corrección de una Implementación 1 Definir el invariante de la representación I IMP (define los valores válidos). 2 Definir la relación de equivalencia para la representación IMP T IMP T IMP 3 El álgebra (T IMP = I IMP )/ IMP debe ser isomorfa a T SPEC / E 4 Consecuencias: El invariante es precondición de cada operación implementada. El invariante es postcondición de cada operación implementada. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 16 / 18
17 Sumario Qué tengo que saber de todo esto? 1 Conocer la diferencia entre especificación y diseño/implementación. 2 Conocer el concepto de Tipo Abstracto de Datos (TAD). 3 Ser consciente de la importancia de especificar con precisión. 4 Saber qué es una especificación algebraica y sus ventajas. 5 Saber leer y entender una especificación algebraica. 6 Saber qué es el invariante y la relación de equivalencia de la representación. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 17 / 18
18 Referencias Referencias I Ricardo Peña (2005). Diseño de Programas: Formalismo y Abstracción. Pearson Educacion, 3 edition. Xavier Franch (1999). Estructuras de Datos: Especificación, Diseño e Implementación. Ediciones Universidad Politécnica de Cataluña, 3 edition. Pablo Sánchez (MATESCO) Concepto y Especificación de TADs 18 / 18
PROGRAMA INSTRUCCIONAL
UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA
Más detallesTipos Abstractos de Datos
Objetivos Repasar los conceptos de abstracción de datos y (TAD) Diferenciar adecuadamente los conceptos de especificación e implementación de TAD Presentar la especificación algebraica como método formal
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesSISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos
TEMA 2 Diseño de Algoritmos 7 2. DISEÑO DE ALGORITMOS 2.1. Concepto de Algoritmo En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus
Más detallesRequerimientos de Software
Requerimientos de Software Ingeniería de Requerimientos Se define como el proceso de establecer los servicios que el consumidor requiere de un sistema y las restricciones sobre las cuales de funcionar
Más detallesTema Contenido Contenidos Mínimos
1 Estadística unidimensional - Variable estadística. - Tipos de variables estadísticas: cualitativas, cuantitativas discretas y cuantitativas continuas. - Variable cualitativa. Distribución de frecuencias.
Más detallesObjetivos formativos de Álgebra
Objetivos formativos de Álgebra Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera como objetivo
Más detallesObjetivos formativos de Matemática Discreta. Tema 1: Conjuntos, aplicaciones y relaciones
Objetivos formativos de Matemática Discreta Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesCon esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano.
Teoría de Grupos Definiciones Básicas Definición 5 (Grupo) Sea una estructura algebraica con una ley de composición interna. Decimos que es un grupo si: 1. es asociativa. 2. tiene neutro. 3. toda tiene
Más detalles13. Utilizar la fórmula del término general y de la suma de n términos consecutivos
Contenidos mínimos 3º ESO. 1. Contenidos. Bloque I: Aritmética y álgebra. 1. Utilizar las reglas de jerarquía de paréntesis y operaciones, para efectuar cálculos con números racionales, expresados en forma
Más detallesLos Tipos Abstractos de Datos. Estructuras de Datos y Algoritmos 03/04
Los Tipos Abstractos de Datos Estructuras de Datos y Algoritmos 03/04 Qué son los TAD s? Metodología de programación con TAD s Especificación Algebraica de TAD s Qué son los TAD s? Con los lenguajes de
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesFundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto
Más detallesPROGRAMA INSTRUCCIONAL MATEMÁTICA I
UNIVERSIDAD FERMÍN TORO VICE RECTORADO ACADÉMICO FACULTAD DE CIENCIAS ECONOMICAS YSOCIALES ESCUELA DE ADMINISTRACIÓN PROGRAMA INSTRUCCIONAL MATEMÁTICA I CÓDIGO ASIGNADO SEMESTRE U. C DENSIDAD HORARIA H.T
Más detallesÁREA: MATEMÁTICAS UNIDAD : 1 TEMPORALIZACIÓN: OCTUBRE 1ª QUINCENA OBJETIVOS CONTENIDOS CRITERIOS DE EVALUACIÓN
ÁREA: MATEMÁTICAS UNIDAD : 1 TEMPORALIZACIÓN: OCTUBRE 1ª QUINCENA Conocer los nueve primeros órdenes de unidades y las equivalencias entre ellos. Leer, escribir y descomponer números de hasta nueve cifras.
Más detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
Más detallesPROYECTO MATEM CURSO PRECÁLCULO UNDÉCIMO AÑO MODALIDAD ANUAL. Guía para el II parcial
Universidad de Costa Rica Instituto Tecnológico de Costa Rica PROYECTO MATEM CURSO PRECÁLCULO UNDÉCIMO AÑO MODALIDAD ANUAL Guía para el II parcial Sábado 25 de junio, 8:00 a.m. 2016 II PARCIAL ÁLGEBRA
Más detallesGuía. Álgebra II. Examen parcial III. Transformaciones lineales. Teoremas los más importantes cuyas demostraciones se pueden incluir en el examen
Guía. Álgebra II. Examen parcial III. Transformaciones lineales. Teoremas los más importantes cuyas demostraciones se pueden incluir en el examen 1. Teorema de la representación matricial de una transformación
Más detalles1.3.- V A L O R A B S O L U T O
1.3.- V A L O R A B S O L U T O OBJETIVO.- Que el alumno conozca el concepto de Valor Absoluto y sepa emplearlo en la resolución de desigualdades. 1.3.1.- Definición de Valor Absoluto. El valor absoluto
Más detallesDefinición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).
ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas
Más detallesUNIVERSIDAD DEL ISTMO PROGRAMA DE ESTUDIO
1.-IDENTIFICACIÓN ESCUELA: UNIVERSIDAD DEL ISTMO CLAVE: 3013 GRADO: ING. EN COMPUTACION, PRIMER SEMESTRE TIPO DE TEÒRICA ANTECEDENTE CURRICULAR: -----.- OBJETIVO GENERAL Otorgar al participante el conocimiento
Más detallesUniversidad Nacional Autónoma de Nicaragua UNAN-Managua. Curso de Investigación de Operaciones
Universidad Nacional Autónoma de Nicaragua UNAN-Managua Curso de Investigación de Operaciones Profesor: MSc. Julio Rito Vargas Avilés. Presentación del Programa de Investigación de Operaciones Estudiantes:
Más detallesTeoría Tema 2 Concepto de función
página 1/7 Teoría Tema Concepto de función Índice de contenido Función, dominio e imagen... Función inyectiva...4 Función sobreyectiva...6 Función biyectiva...7 página /7 Función, dominio e imagen Una
Más detallesRepresentación en el espacio de estado. Sistemas Control Embebidos e Instrumentación Electrónica UNIVERSIDAD EAFIT
Representación en el espacio de estado Representación en espacio de estado Control clásico El modelado y control de sistemas basado en la transformada de Laplace, es un enfoque muy sencillo y de fácil
Más detallesBloque 1. Contenidos comunes. (Total: 3 sesiones)
4º E.S.O. OPCIÓN A 1.1.1 Contenidos 1.1.1.1 Bloque 1. Contenidos comunes. (Total: 3 sesiones) Planificación y utilización de procesos de razonamiento y estrategias de resolución de problemas, tales como
Más detallesTipos algebraicos y abstractos. Algoritmos y Estructuras de Datos I. Tipos algebraicos
Algoritmos y Estructuras de Datos I 1 cuatrimestre de 009 Departamento de Computación - FCEyN - UBA Programación funcional - clase Tipos algebraicos Tipos algebraicos y abstractos ya vimos los tipos básicos
Más detallesModularidad: Tipos abstractos de datos Programación Orientada a Objetos Tema 2: Modularidad
TEMA 2 1 Modularidad: Tipos abstractos de datos CONTENIDOS 2 1. Abstracción 2. Tipos de datos 3. Tipos abstractos de datos 4. Modularidad 5. Reutilización 6. Paradigmas y lenguajes 7. Diseño estructurado
Más detallesIntroducción a los espacios vectoriales
1 / 64 Introducción a los espacios vectoriales Pablo Olaso Redondo Informática Universidad Francisco de Vitoria November 19, 2015 2 / 64 Espacios vectoriales 1 Las 10 propiedades de un espacio vectorial
Más detallesSOLUCIONARIO Composición de funciones y función inversa
SOLUCIONARIO Composición de funciones y función inversa SGUICES04MT-A6V TABLA DE CORRECCIÓN GUÍA PRÁCTICA Composición de funciones y función inversa Ítem Alternativa E Comprensión A 3 D 4 B 5 C 6 D 7 A
Más detallesNOMBRE DEL CURSO: CALCULO DIFERENCIAL CÓDIGO UNIDAD ACADÉMICA NIVEL ACADÉMICO CICLOS DE FORMACIÓN FACULTAD INGENIERIA TÉCNICO PROFESIONAL
I. INFORMACIÓN GENERAL NOMBRE DEL CURSO: CALCULO DIFERENCIAL CÓDIGO 190102 UNIDAD ACADÉMICA NIVEL ACADÉMICO CICLOS DE FORMACIÓN FACULTAD INGENIERIA TÉCNICO PROFESIONAL PROGRAMA DEPARTAMENTO CIENCIAS BASICAS
Más detallesMatemáticas aliadas a la salud MATE3035
Matemáticas aliadas a la salud MATE3035 TEMA: Introducción a la teoría de conjuntos Universidad de Puerto Rico en Arecibo Departamento de Matemáticas Profa. Yuitza T. Humarán Martínez Adaptado por Profa.
Más detallesPROGRAMA INSTRUCCIONAL MATEMÁTICA I
UNIVERSIDAD FERMÍN TORO VICE RECTORADO ACADÉMICO FACULTAD DE INGENIERIA ESCUELA DE COMPUTACIÓN PROGRAMA INSTRUCCIONAL MATEMÁTICA I CÓDIGO ASIGNADO SEMESTRE U. C DENSIDAD HORARIA H.T H.P/H.L H.A THS/SEM
Más detallesGuía de Ejercicios: Funciones
Guía de Ejercicios: Funciones Área Matemática Resultados de aprendizaje Determinar dominio y recorrido de una función. Analizar funciones: inyectivas, sobreyectivas y biyectivas. Determinar la función
Más detallesEl TAD Grafo. El TAD Grafo
Objetivos! Estudiar la especificación del TAD Grafo! Presentar diferentes alternativas de implementación! Conocer los algoritmos más importantes de manipulación de grafos Contenidos.1 Conceptos. Especificación
Más detallesTema 11.- Autovalores y Autovectores.
Álgebra 004-005 Ingenieros Industriales Departamento de Matemática Aplicada II Universidad de Sevilla Tema - Autovalores y Autovectores Definición, propiedades e interpretación geométrica La ecuación característica
Más detallesAlgoritmos y Programas
Introducción a la Programación Pontificia Universidad Javeriana Generado con LAT E X Febrero de 2010 Recorderis Algoritmos Recorderis Estado Una configuración determinada del sistema en un tiempo-espacio
Más detallesCapítulo 3. Conjuntos. Continuar
Capítulo 3. Conjuntos Continuar Introducción Georg Cantor definió el concepto de conjunto como una colección de objetos reales o abstractos e introdujo el conjunto potencia y las operaciones entre conjuntos.
Más detallesSe inicia con las especificaciones del módulo fotovoltaico.
Con base en las especificaciones técnicas del inversor SB 3000U y de un módulo fotovoltaico de 175 watts, indicar los valores los parámetros característicos requeridos para el dimensionamiento del sistema.
Más detallesTema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.
Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.
Más detallesFormulación del problema de la ruta más corta en programación lineal
Formulación del problema de la ruta más corta en programación lineal En esta sección se describen dos formulaciones de programación lineal para el problema de la ruta más corta. Las formulaciones son generales,
Más detallesCAPÍTULO II TEORÍA DE CONJUNTOS
TEORÍ DE ONJUNTOS 25 PÍTULO II TEORÍ DE ONJUNTOS 2.2 INTRODUIÓN Denotaremos los conjuntos con letras mayúsculas y sus elementos con letras minúsculas, si un elemento p pertenece a un conjunto escribiremos
Más detallesAlgoritmos y solución de problemas. Fundamentos de Programación Otoño 2008 Mtro. Luis Eduardo Pérez Bernal
Algoritmos y solución de problemas Fundamentos de Programación Otoño 2008 Mtro. Luis Eduardo Pérez Bernal Introducción Departamento de Electrónica, Sistemas e Informática En las ciencias de la computación
Más detallesOperaciones algebraicas elementales (Unidad I del curso Matemáticas Básicas).
I. Identificadores de la asignatura Clave: UMA1007 95 Créditos: 8 Materia: Programación Lineal Departamento: Ciencias Sociales Instituto: Ciencias Sociales y Administración Programa: Licenciatura en Economía
Más detallesContenidos Mínimos MATEMÁTICAS 3º ESO ENSEÑANZAS ACADÉMICAS. U 1 Fracciones y decimales. CRITERIOS DE EVALUACIÓN. ESTÁNDARES DE APRENDIZAJE EVALUABLES
Septiembre 2.016 Contenidos Mínimos MATEMÁTICAS 3º ESO ENSEÑANZAS ACADÉMICAS U 1 Fracciones y decimales. Números racionales. Expresión fraccionaria - Números enteros. - Fracciones. - Fracciones propias
Más detallesUNIDAD 1: NÚMEROS RACIONALES OBJETIVOS
UNIDAD 1: NÚMEROS RACIONALES Distinguir las distintas interpretaciones de una fracción. Reconocer fracciones equivalentes. Amplificar fracciones. Simplificar fracciones hasta obtener la fracción irreducible.
Más detallesUnidad II. 2.1 Concepto de variable, función, dominio, condominio y recorrido de una función.
Unidad II Funciones 2.1 Concepto de variable, función, dominio, condominio y recorrido de una función. Función En matemática, una función (f) es una relación entre un conjunto dado X (llamado dominio)
Más detallesSESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la
Más detallesTaller de Resolución de Problemas Computacionales
Taller de Resolución de Problemas Computacionales Clase1: 27/9 Presentación: Equipo de Trabajo Encuentros Certificación del Taller: Por Asistencia Por Aprobación Sitio Web. Etapas en la Resolución de Problemas
Más detallesTema 6. Variables aleatorias continuas
Tema 6. Variables aleatorias continuas Resumen del tema 6.1. Definición de variable aleatoria continua Identificación de una variable aleatoria continua X: es preciso conocer su función de densidad, f(x),
Más detallesProgramación Avanzada. Análisis Especificación del Comportamiento del Sistema
Programación Avanzada Análisis Especificación del Comportamiento del Sistema Contenido Introducción Modelo de Casos de Uso La Clase Sistema Interacciones con el Sistema Contratos de Software Programación
Más detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales Sea (K, +,.) un cuerpo con característica 0. Podemos pensar K = Q, R o C. Si V es un conjunto cualquiera en el que
Más detallesTema 3: El Método Simplex. Algoritmo de las Dos Fases.
Tema 3: El Método Simplex Algoritmo de las Dos Fases 31 Motivación Gráfica del método Simplex 32 El método Simplex 33 El método Simplex en Formato Tabla 34 Casos especiales en la aplicación del algoritmo
Más detallesFUNDAMENTOS DE PROGRAMACIÓN
ASIGNATURA DE GRADO: FUNDAMENTOS DE PROGRAMACIÓN Curso 2015/2016 (Código:71901020) 1.PRESENTACIÓN DE LA ASIGNATURA El objetivo de esta guía es orientar al alumno en el estudio de la asignatura de Fundamentos
Más detalles: Algorítmica y Estructura de Datos I
FACULTAD POLITÉCNICA DIRECCIÓN ACADÉMICA PROGRAMA DE ESTUDIO I. IDENTIFICACIÓN Carrera : Ingeniería de Sistemas CARGA HORARIA (Horas reloj) Asignatura : Algorítmica y Estructura de Datos I Carga Horaria
Más detallesAlgebra lineal y conjuntos convexos
Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 9 Nombre: Funciones Objetivo: Durante la sesión el participante identificará las características y los tipos de funciones
Más detalles1. Computadores y programación
1. Computadores y programación Informática y computadora (RAE) Informática (Ciencia de la computación) Conjunto de conocimientos científicos y técnicos que hacen posible el tratamiento automático de la
Más detallesForma binomial de números complejos (ejercicios)
Forma binomial de números complejos (ejercicios) Objetivos. Mostrar que los números reales x se pueden identificar con números complejos de la forma (x, 0), y cada número complejo (x, y) se puede escribir
Más detalles4 E.M. Curso: Unidad: Estadísticas Inferencial. Colegio SSCC Concepción. Depto. de Matemáticas. Nombre: CURSO: Unidad de Aprendizaje: FUNCIONES
Colegio SSCC Concepción Depto. de Matemáticas Unidad de Aprendizaje: FUNCIONES Capacidades/Destreza/Habilidad: Racionamiento Matemático/Calcular/ Resolver Valores/ Actitudes: Curso: E.M. 10 Respeto, Solidaridad,
Más detallesCOLEGIO HELVETIA PROGRAMA DE MATEMÁTICAS GRADO ONCE
COLEGIO HELVETIA PROGRAMA DE MATEMÁTICAS GRADO ONCE 201-2015 OBJETIVO GENERAL: Entender las bases conceptuales de función, el problema del infinito, así como sus aplicaciones a otras áreas del conocimiento
Más detallesAutómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo
Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo
Más detallesDefinición de Tipo de Dato Abstracto (TDA)
Definición de Tipo de Dato Abstracto (TDA) 1 John Guttag (1974): Un tipo de dato abstracto es aquél definido por el programador que puede ser manipulado de forma similar a los definidos por el sistema.
Más detallesEspacios Vectoriales
Leandro Marín Octubre 2010 Índice Definición y Ejemplos Paramétricas vs. Impĺıcitas Bases y Coordenadas Para definir un espacio vectorial tenemos que empezar determinando un cuerpo sobre el que esté definido
Más detallesMétodos para escribir algoritmos: Diagramas de Flujo y pseudocódigo
TEMA 2: CONCEPTOS BÁSICOS DE ALGORÍTMICA 1. Definición de Algoritmo 1.1. Propiedades de los Algoritmos 2. Qué es un Programa? 2.1. Cómo se construye un Programa 3. Definición y uso de herramientas para
Más detallesMODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.
MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos
Coordinación de Matemática I (MAT01) 1 er Semestre de 013 Semana 7: Lunes - Viernes 7 de Abril Cálculo Contenidos Clase 1: Álgebra de límites. Teorema del Sandwich. Cálculo de límites. Límites trigonométricos.
Más detallesÁlgebra Lineal Ma843
Álgebra Lineal Ma843 Principios de Desarrollo Discursivo/Didáctico Departamento de Matemáticas ITESM Principios de Desarrollo Discursivo/Didáctico Álgebra Lineal - p. 1/12 Problema Fundamental El problema
Más detallesFORMATO ELABORACIÓN DE SYLLABUS SYLLABUS DE CIRCUITOS DE CORRIENTE ALTERNA Y LABORATORIO CIRCUITOS DE CORRIENTE ALTERNA Y LABORATORIO
PÁGINA: 1 DE 5 SYLLABUS DE CIRCUITOS DE CORRIENTE ALTERNA Y LABORATORIO Fecha de Actualización: 02/02/2016 a. DATOS GENERALES DE LA ASIGNATURA Nombre de la Asignatura Nro. Créditos CIRCUITOS DE CORRIENTE
Más detallesNombre de la asignatura: Algoritmos y Lenguajes de programación.
Nombre de la asignatura: Algoritmos y Lenguajes de programación. Créditos: 2-4- 6 Aportación al perfil Dominar la lógica necesaria para aprender lenguajes de programación de alto nivel para poder resolver
Más detallesTema II: Metodología para la construcción de programas. Profesora: Nelly García Mora
Tema II: Metodología para la construcción de programas Profesora: Nelly García Mora 1. Metodologías de Programación Metodología de programación: es un conjunto o sistema de métodos, principios y reglas,
Más detallesEn matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se
Más detallesUNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA FACULTAD DE CIENCIAS PROGRAMA DE MATEMÁTICAS PLAN DE ESTUDIOS
UNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA FACULTAD DE CIENCIAS PROGRAMA DE MATEMÁTICAS PLAN DE ESTUDIOS ASIGNATURA : ELECTIVA I - PROGRAMACION CÓDIGO : 8104661 SEMESTRE : IV CRÉDITOS : 4 FECHA DE
Más detalles1. Preparar al estudiante para desarrollar aplicaciones de software utilizando un enfoque orientado a objetos.
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS NOMBRE DEL CURSO: Computación y Programación 2 CODIGO: 771 CREDITOS: 5 ESCUELA: Ciencias y Sistemas AREA A LA QUE PERTENECE:
Más detallesPATRONES DE DISEÑO DE CREACIÓN. Abstract Factory Builder Factory Method Prototype
PATRONES DE DISEÑO DE CREACIÓN Abstract Factory Builder Factory Method Prototype Patrones de diseño de creación Abstraen el proceso de creación de instancias Encapsulan el conocimiento sobre las clases
Más detallesTEMA 7: INGENIERIA DEL SOFTWARE.
TEMA 7: INGENIERIA DEL SOFTWARE. 7.1. Definición de software 7.2. Características del software 7.3. Componentes del software 7.4. Ciclo de vida 7.4.1. Análisis de requisitos 7.4.2. Diseño 7.4.3. Implementación
Más detallesTema 2: Teorema de estructura de los grupos abelianos finitamente generados.
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con
Más detallesInfor LN - Guía del usuario para Estadística
Infor LN - Guía del usuario para Estadística Información acerca de la publicación Código de documento Versión Creado el crossstatug (U9816) Cloud Edition (10.4.2) 22 abril 2016 Índice de contenido Acerca
Más detallesNORMAS DEL CURSO PARA EL DOCENTE: NORMAS DEL CURSO PARA EL DISCENTE:
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE MÉXICO CENTRO UNIVERSITARIO DE IXTLAHUACA, A.C. ESCUELA PREPARATORIA "QUÍMICO JOSÉ DONACIANO MORALES" CLAVE 91 PLAN DE CLASES ASIGNATURA: CÁLCULO DIFERENCIAL E INTEGRAL
Más detallesMATEMÁTICAS BÁSICAS. Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano
MATEMÁTICAS BÁSICAS Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2015 Universidad
Más detallesÁlgebra y Trigonometría Clase 2 Ecuaciones, desigualdades y Funciones
Álgebra y Trigonometría Clase 2 Ecuaciones, desigualdades y Funciones CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción
Más detallesUniversidad Nacional de Colombia Departamento de Matemáticas Álgebra Lineal - Grupo 1 Resumen Unidad n 3
Universidad Nacional de Colombia Departamento de Matemáticas 1000003-5 Álgebra Lineal - Grupo 1 Resumen Unidad n 3 Vectores en R n Definición. El conjunto de las n-tuplas ordenadas de números reales se
Más detallesIngeniería en Tecnologías de Automatización
Ingeniería en Tecnologías de Automatización Teoría de Conjuntos Dr. Farid García Lamont Enero-Junio de 2012 Tema: Teoría de Conjuntos Abstract These slides introduce the definition of set, subset and their
Más detallesDIPLOMADO. Evaluación de la Calidad de la práctica docente para la implementación del Nuevo Modelo Educativo en Escuelas de Ingeniería del I.P.N.
DIPLOMADO Evaluación de la Calidad de la práctica docente para la implementación del Nuevo Modelo Educativo en Escuelas de Ingeniería del I.P.N. Trabajo Final Propuesta Metodológica del área de Ciencias
Más detallesINDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas
INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones
Más detallesPrueba, caso de prueba, defecto, falla, error, verificación, validación.
Modelos de Prueba Prueba, caso de prueba, defecto, falla, error, verificación, validación. Prueba: Las Pruebas son básicamente un conjunto de actividades dentro del desarrollo de software, es una investigación
Más detallesde Operaciones Área Académica: Sistemas Computacionales Tema: Tipos de Modelos en Investigación Profesor: I.S.C. Guadalupe Hernández Coca
Área Académica: Sistemas Computacionales Tema: Tipos de Modelos en Investigación de Operaciones Profesor: I.S.C. Guadalupe Hernández Coca Periodo: Julio Diciembre 2011 Keywords: investigation of operations,
Más detallesCapítulo 16. Diagrama de Clases UML
Capítulo 16. Diagrama de Clases UML Florentino TORRES M. CINVESTAV-Tamaulipas 15 de Oct del 2012 Florentino TORRES M. (CINVESTAV) 15 de Oct del 2012 1 / 70 1 Capítulo 16. Diagrama de Clases UML Aplicando
Más detallesUNIDAD 7: PROGRESIONES OBJETIVOS
UNIDAD 7: PROGRESIONES Reconocer sucesiones y deducir su regla de formación en los casos en que sea posible. Obtener distintos términos en sucesiones recurrentes. Distinguir si una sucesión es una progresión
Más detallesDE LOS NÚMEROS NATURALES Y ENTEROS
Capítulo 2 DE LOS NÚMEROS NATURALES Y ENTEROS Objetivo general Presentar y afianzar algunos conceptos de los números naturales y números enteros relacionados con el estudio de la matemática discreta. Objetivos
Más detallesAtributos Los atributos son las columnas de un relación y describen características particulares de ella.
Unidad III: Modelo relacional 3.1 Estructura básica Tablas El modelo relacional proporciona una manera simple de representar los datos: una tabla bidimensional llamada relación. título año duración tipo
Más detallesEstadística Descriptiva
M. en C. Juan Carlos Gutiérrez Matus Instituto Politécnico Nacional 2004 IPN UPIICSA c 2004 Juan C. Gutiérrez Matus Desde la segunda mitad del siglo anterior, el milagro industrial sucedido en Japón, hizo
Más detallesLa desviación típica y otras medidas de dispersión
La desviación típica y otras medidas de dispersión DISPERSIÓN O VARIACIÓN La dispersión o variación de los datos intenta dar una idea de cuan esparcidos se encuentran éstos. Hay varias medidas de tal dispersión,
Más detallesEspacios Vectoriales, Valores y Vectores Propios
, Valores y Vectores Propios José Juan Rincón Pasaye, División de Estudios de Postgrado FIE-UMSNH Curso Propedéutico de Matemáticas para la Maestría en Ciencias opciones: Sistemas de Control y Sistemas
Más detallesEspacios Vectoriales
Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios
Más detallesUna operación interna: Suma Una operación externa: Multiplicación por un escalar
El conjunto R n Es el conjunto de las n-adas formadas por el producto cartesiano RRR.R, donde R es el conjunto de los números reales. Así pues, dos elementos X y Y de R n serán iguales si y solo si tienen
Más detallesExpresiones y sentencias
Expresiones y sentencias Expresión Construcción (combinación de tokens) que se evalúa para devolver un valor. Sentencia Representación de una acción o una secuencia de acciones. En Java, todas las sentencias
Más detallesEstándares de evaluación en la materia de MATEMÁTICAS de 1º de ESO. Curso 2016/2017.
Estándares de evaluación en la materia de MATEMÁTICAS de 1º de ESO. Curso 2016/2017. Bloque 1. Procesos, métodos y actitudes en matemáticas. Los criterios correspondientes a este bloque son los marcador
Más detalles3.º ESO. Matemáticas orientadas a las enseñanzas aplicadas
3.º ESO. Matemáticas orientadas a las enseñanzas aplicadas BLOQUE DE APRENDIZAJE I: PROCESOS, MÉTODOS Y ACTITUDES EN MATEMÁTICAS 1. Identificar, formular y resolver problemas numéricos, geométricos, funcionales
Más detallesTema 3: Conjuntos y Funciones
Tema 3: Conjuntos y Funciones Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2008 09 LC, 2008 09 Conjuntos y Funciones 3.1 Conjuntos Escribimos
Más detalles