INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas

Tamaño: px
Comenzar la demostración a partir de la página:

Download "INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas"

Transcripción

1 INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas Introducción Algunos argumentos lógicos importantes Proposiciones Conexiones lógicas Introducción Negación Conjunción Disyunción Condicional Bicondicional Comentarios adicionales Proporciones compuestas Introducción Expresiones lógicas Analisis de proporciones compuestas Reglas de prioridad Evaluación de expresiones Ejemplos de proporciones compuestas Tautología y contradicciones Introducción Tautologías Tautología y razonamiento valido Contradicciones Tipos importantes de tautologías Equivalencias lógicas y su utilización Introducción Demostración de equivalencias lógicas mediantes tablas de verdad Algebra declarativa Eliminación de condicionales y biocondicionales Leyes para el álgebra declarativa Métodos abreviados para manipular expresiones Formas normales Tablas de verdad y formas normales disyuntivas Formas normales conjuntivas y complementación Implicaciones y derivaciones lógicas Introducción Implicaciones lógicas

2 Demostraciones de validez mediante tablas de verdad Demostraciones Sistemas para derivaciones El teorema de la deducción Calculo de predicados Componentes sintácticos del cálculo de predicados Introducción El universo de discurso Predicados Variables y particularizaciones (casos o ejemplares) Cuantificaciones Restricciones de los cuantificadores a ciertos grupos Interpretaciones y validez Introducción Interpretaciones Validez Expresiones no validas Demostración de la validez Derivaciones Introducción Particularización universal Generalización universal El teorema de la deducción y la generalización universal Eliminación de los cuantificadores universales Generalización existencial Particularización existencial Equivalencias lógicas Introducción Equivalencias lógicas básicas Otras equivalencias importantes Lógica de las ecuaciones Introducción Igualdad Igualdad y unicidad Funciones y lógica de ecuaciones Composición de funciones Propiedades de los operadores Elementos nulo e identidad Las derivaciones en la lógica de ecuaciones La lógica de ecuaciones en la práctica Algebra de Boole Inducción y recursividad La inducción en números naturales Introducción Los números naturales

3 Inducción matemática La inducción para demostrar propiedades de la suma Modificación de la base inductiva Inducción fuerte Sumas y construcciones relacionadas Introducción Definiciones recursivas de sumas y productos Identidades que implican sumas Sumas dobles y matrices Demostración por recursividad Introducción Definiciones recursivas Sucesiones descendentes El principio de demostraciones por recursividad Inducción estructural Aplicaciones de la recursividad a la programación Introducción La Programacion como composición de funciones La recursividad en los programas Programas que implican arboles Funciones recursivas Introducción Funciones recursivas primitivas Programacion y recursividad primitiva Minimalización Prolog Prolog basic Introducción Hechos, reglas y consultas Derivaciones que implican hechos Derivaciones que implican reglas Particularizaciones y unificación Retroceso (backtracking) Resolución Ejecución y depuración de programas Introducción Compiladores e intérpretes de Prolog Consulta de una base de datos Depuración y seguimiento Características adicionales de Prolog Introducción Entrada y salida Estructuras Notación infija Aritmética

4 Predicados de igualdad Recursividad Introducción Predicados recursivos Terminación Bucles y Prolog Listas Predicados recursivos que contienen listas Refinamiento sucesivo Negación en Prolog Introducción Prolog como lenguaje lógico La negación como fracaso Utilización del orden de clausulas Cortes Aplicación de Prolog a la lógica Introducción Las listas como expresiones lógicas Representación de expresiones lógicas como estructuras Conjuntos y relaciones 5.1. Conjuntos y operaciones de conjuntos Introducción Los conjuntos y sus miembros Subconjuntos Intersecciones Uniones Diferencias y complementos Expresiones que involucran conjuntos Tuplas, sucesiones y conjuntos potencia Introducción Tuplas y productos cartesianos Sucesiones y cadenas Conjuntos potencia Tipos y signaturas Relaciones Introducción Relaciones y su representación Dominios y rangos Algunas operaciones de relaciones Composición de relaciones Ejemplos Propiedades de las relaciones Introducción Relaciones sobre un conjunto Relaciones reflexivas

5 Relaciones simétricas Transitividad Cierres Relaciones de equivalencia Ordenes parciales Funciones 6.1. Representaciones y manipulaciones que involucran funciones Introducción Definiciones y notación Representaciones de funciones La notación lambda Restricciones y sobrecarga Composición de funciones Inyecciones, sobreinyecciones (o epiyecciones) e inversas Creación de inversas mediante creación de tipos Enumeraciones, isomorfismos y homomorfismos Introducción Enumeraciones Conjuntos contables e incontables Permutaciones y combinaciones Isomorfismos y homomorfismos Complejidad computacional Introducción Polinomios y algoritmos de tiempo polinómico Funciones y algoritmos relacionados con las exponenciales Los límites de la computabilidad Analisis asintótico Divide y vencerás Polinomios no determinantes Relaciones de recurrencia Introducción Relaciones de recurrencia homogéneas Ecuaciones de recurrencia no homogéneas Miranda Introducción El nivel de ordenes Definiciones de función Tipos, funciones y declaraciones Reconocimiento de patrones y reescritura Un problema de programación Grafos y arboles Introducción y ejemplos de modelado de gafos Definiciones básicas de la teoría de grafos Caminos, accesibilidad y conexiones Calculo de caminos a partir de un representación matricial de

6 los grafos 7.5. Recorrido de grafos representados como listas de adyacencia Introducción Representación de grafos mediante listas de adyacencia Búsqueda en amplitud Búsqueda en profundidad El algoritmo de Dijkstra para la búsqueda de caminos mínimos Árboles y árboles de expansión Introducción Arboles libres Arboles de expansión Arboles de expansión mínimos Redes de planificación Introducción un modelo de administración de proyectos Ordenación topológica Especificación formal de requisitos en Z 8.1. Introducción El ciclo vital del software La necesidad de las especificaciones formales Introducción a Z Introducción Alfabeto y elementos léxicos Tipos y declaraciones Especificaciones de un sistema mediante lógica y conjuntos Esquemas Relaciones Funciones Sucesiones Verificación de programas Conceptos preliminares Introducción Programas y códigos Aserciones (asertos) Corrección Reglas generales relativas a las precondiciones y postcondiciones Introducción Reforzamiento de precondiciones Debilitamiento de postcondiciones Reglas de conjunción y disyunción Verificacion de códigos sin bucles Introducción Sentencias de asignación

7 Concatenación de código La sentencia if Bucles y arrays Introducción Una regla while preliminar La regla while general Arrays Terminación del programa Gramáticas, lenguajes y análisis sintácticos Lenguajes y gramáticas Introducción Tratamiento de las gramáticas Definición formal de un lenguaje Nociones de análisis sintáctico Gramáticas ambiguas Gramáticas reducidas Analisis intactico descendente Introducción Estrategia general de análisis sintáctico descendente Analisis intactico descendente determinista con gramáticas LL(1) Derivaciones Derivaciones en calculo proporcional Introducción Conceptos básicos de la derivación natural Implementación del teorema de la deducción Resolución Algunos resultados del cálculo de predicados Introducción Complementos Derivaciones en el cálculo de predicados Introducción Derivaciones canónicas Cuantificadores en la deducción natural Sustitución de cuantificadores por funciones y variables libres Resolución en el cálculo de predicados Una panorámica de los sistemas de bases de datos relacionales Conceptos básicos Introducción Definiciones y conceptos Ejemplo introductorio de una base de datos relacional Panorámica de un sistema de base de datos El modelo de datos relacional Introducción Panorámica de la estructura relacional Las relaciones y sus esquemas

8 Representación de las relaciones en el modelo lineal Reglas de integridad Algebra relacional Introducción Operaciones básicas Operaciones relacionales adicionales Ejemplos Cálculo relacional Introducción Calculo de Tuplas Ejemplos El lenguaje de consulta estructurado (SQL) Introducción Definición de datos Administración de datos Consultas de datos Comentarios finales 608 Bibliografía 611 Soluciones a los problemas pares 613 Índice analítico 687

PLAN DE ESTUDIOS Y CONTENIDOS MÍNIMOS

PLAN DE ESTUDIOS Y CONTENIDOS MÍNIMOS CARRERAS DE DOS AÑOS TECNICATURA EN PROGRAMACIÓN DE COMPUTADORAS PLAN DE ESTUDIOS Y CONTENIDOS MÍNIMOS Resolución UB 004/14 ANEXO Tabla general de asignaturas del Plan de Estudios y Obligaciones Académicas

Más detalles

FACULTAD DE INGENIERÍA FORESTAL EXCELENCIA ACADÉMICA QUE CONTRIBUYE AL DESARROLLO DE LAS CIENCIAS FORESTALES

FACULTAD DE INGENIERÍA FORESTAL EXCELENCIA ACADÉMICA QUE CONTRIBUYE AL DESARROLLO DE LAS CIENCIAS FORESTALES IDENTIFICACIÓN DE LA ASIGNATURA Nombre: Matemáticas Fundamentales Código: 0701479 Área Específica: Ciencias Básicas Semestre de Carrera: Primero JUSTIFICACIÓN El estudio de las matemáticas es parte insustituible

Más detalles

UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I

UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO EN COMPUTACIÓN E INFORMÁTICA GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I CÓDIGO 50287 Elaborada por

Más detalles

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por. 2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos

Más detalles

Guía para resolver la prueba Graduandos 2015

Guía para resolver la prueba Graduandos 2015 1 Prueba de Matemáticas 1. Objetivo del documento El objetivo principal de este documento es dar a conocer los temas de Matemáticas que se incluyen en la Evaluación Nacional de. 2. La importancia de evaluar

Más detalles

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente

Más detalles

SUMILLAS DE ASIGNATURAS DE ESPECIALIDAD INFORMÁTICA I

SUMILLAS DE ASIGNATURAS DE ESPECIALIDAD INFORMÁTICA I SUMILLAS DE ASIGNATURAS DE ESPECIALIDAD INFORMÁTICA (Reestructurado a partir del 2006) PRIMER CICLO INFORMÁTICA I Esta asignatura tiene por objeto en conocer los elementos básicos de la informática. Unidades

Más detalles

Carrera: SCB - 0421 4-0-8. Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.

Carrera: SCB - 0421 4-0-8. Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos. 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Matemáticas para computación Ingeniería en Sistemas Computacionales SCB - 0421

Más detalles

EJERCICIOS DEL CAPÍTULO I

EJERCICIOS DEL CAPÍTULO I EJERCICIOS DEL CAPÍTULO I 1. Un grupo es una tipo particular de Ω estructura cuando Ω es el tipo Ω = { } siendo una operación de aridad dos. Pero un grupo también es una Ω -estructura siendo Ω = {e, i,

Más detalles

Desarrollar y aplicar estrategias para resolver problemas Determinar si un gráfico es lineal dibujando puntos en una situación dada

Desarrollar y aplicar estrategias para resolver problemas Determinar si un gráfico es lineal dibujando puntos en una situación dada MANEJO DE DATOS Analizar gráficos o diagramas de situaciones dadas para identificar información específica Recoger datos, dibujar los datos usando escalas apropiadas y demostrar una comprensión de las

Más detalles

Tipos Abstractos de Datos

Tipos 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 detalles

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia.

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia. "Otras Alternativas Para La Definición De Relación En Teoría De Conjuntos" Carlos Julio Luque Arias Profesor Universidad Pedagógica Nacional Grupo de Algebra. Universidad Pedagógica Nacional Haydee Jiménez

Más detalles

Matemática de Negocios

Matemática de Negocios Matemática de Negocios Santiago Martín Fiore Fiore, Santiago Matemática de negocios. - 1a ed. - Ciudad Autónoma de Buenos Aires : Universidad Maimónides, 2014. 422 p. ; 24x17 cm. ISBN 978-987-1699-16-2

Más detalles

Guía práctica de SQL

Guía práctica de SQL Guía práctica de SQL Francisco Charte Ojeda Agradecimientos Introducción Qué es SQL? Aplicaciones de SQL Intérpretes de SQL Tipos de RDBMS Cómo usar este libro Convenciones tipográficas 1. El modelo relacional

Más detalles

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor

Más detalles

Carrera: IFM - 0423 3-2-8. Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.

Carrera: IFM - 0423 3-2-8. Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos. 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Matemáticas para computación Licenciatura en Informática IFM - 0423 3-2-8 2.- HISTORIA

Más detalles

ÍNDICE. 1 Conjuntos y lógica... 1. Prologo,... ix

ÍNDICE. 1 Conjuntos y lógica... 1. Prologo,... ix ÍNDICE Prologo,... ix 1 Conjuntos y lógica... 1 1-1 Conjuntos... 1 1-2 Notación... 1 1-3 Conjuntos iguales... 2 1-4 Conjunto vacío... 2 1-5 Subconjuntos... 2 1-1 Ejercicios... 3 1-6 Conjuntos equivalentes...

Más detalles

Una variable de clase escalar tiene un nivel de indirección igual a 1. Por ejemplo, las variables i, b y x definidas como se muestra a continuación.

Una variable de clase escalar tiene un nivel de indirección igual a 1. Por ejemplo, las variables i, b y x definidas como se muestra a continuación. Descripción de la semántica de ALFA En esta descripción sólo se mencionarán los aspectos en los que el lenguaje de programación ALFA pueda diferir de otros lenguajes de programación de alto nivel. Se sobreentienden

Más detalles

TEMA 3 (parte 2). Representación del Conocimiento

TEMA 3 (parte 2). Representación del Conocimiento TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica

Más detalles

Plan de Estudios. Licenciatura en Ciencias de la Computación

Plan de Estudios. Licenciatura en Ciencias de la Computación Plan de Estudios Licenciatura en Ciencias de la Computación CONTENIDOS 1) Presentación 5) Objetivos 2) Requisitos 6) Cursos Obligatorios 3) Plan de Estudios / Duración 7) Cursos Sugeridos 4) Tabla de Créditos

Más detalles

CONTENIDOS MÍNIMOS BACHILLERATO

CONTENIDOS MÍNIMOS BACHILLERATO CONTENIDOS MÍNIMOS BACHILLERATO I.E.S. Vasco de la zarza Dpto. de Matemáticas CURSO 2013-14 ÍNDICE Primero de Bachillerato de Humanidades y CCSS...2 Primero de Bachillerato de Ciencias y Tecnología...5

Más detalles

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12 Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo

Más detalles

PROGRAMACIÓ DIDÁCTICA: Secuanciación, Temporalización y Unidades Didácticas

PROGRAMACIÓ DIDÁCTICA: Secuanciación, Temporalización y Unidades Didácticas Departamento de Informática PROGRAMACIÓN DIDÁCTICA Curso 11-12 1 CONSEJERÍA DE EDUCACIÓN I.E.S. NERVIÓN Departamento de Informática CICLO FORMATIVO: TÉCNICO SUPERIOR EN DESARROLLO DE APLICACIONES MULTIPLATAFORMA.

Más detalles

INDICE Capitulo. 0. Algunas Palabras Preliminares Parte I. Grupos Capitulo 1. Operaciones Binarias Capitulo 2. Grupos Capitulo 3.

INDICE Capitulo. 0. Algunas Palabras Preliminares Parte I. Grupos Capitulo 1. Operaciones Binarias Capitulo 2. Grupos Capitulo 3. INDICE Capitulo. 0. Algunas Palabras Preliminares 1 0.1. El papel de las definiciones 1 0.2. Conjuntos 2 0.3. Participaciones y relaciones de equivalencia 4 Parte I. Grupos 10 Capitulo 1. Operaciones Binarias

Más detalles

Contenido. Prólogo... Capítulo 1. Algoritmos y estructuras de datos... 1. Introducción... 24

Contenido. Prólogo... Capítulo 1. Algoritmos y estructuras de datos... 1. Introducción... 24 Contenido Prólogo... vii Capítulo 1. Algoritmos y estructuras de datos... 1 Introducción... 2 1.1. Tipos de datos... 2 1.1.1. Tipos primitivos de datos... 3 1.1.2. Tipos de datos compuestos y agregados...

Más detalles

ASIGNATURA: Matemática Discreta 1 Cuatrimestre Año: 2011

ASIGNATURA: Matemática Discreta 1 Cuatrimestre Año: 2011 CÓDIGO ASIGNATURA 1028 DEPARTAMENTO: Ingeniería e Investigaciones Tecnológicas ASIGNATURA: Matemática Discreta 1 Cuatrimestre Año: 2011 1. OBJETIVOS: i. Cognitivos Incorporar los conceptos de Matemática

Más detalles

FUNDAMENTOS DE MATEMÁTICAS GRADO 12

FUNDAMENTOS DE MATEMÁTICAS GRADO 12 FUNDAMENTOS DE MATEMÁTICAS GRADO 12 A) Matemáticas financieras B) Razonamiento lógico C) Probabilidad D) Relaciones y funciones E) Proyecto de investigación matemática FUNDAMENTOS DE MATEMÁTICAS GRADO

Más detalles

Álgebra Relacional. Unidad 5

Álgebra Relacional. Unidad 5 Álgebra Relacional Unidad 5 Definición Álgebra es un sistema matemático que está formado por: Operandos. Valores o variables con los cuáles se pueden construir nuevos valores o variables Operadores. Símbolos

Más detalles

MATEMÁTICA PARA COMPUTACIÓN I Código 3102.30.04

MATEMÁTICA PARA COMPUTACIÓN I Código 3102.30.04 UNIVERSIDAD DE SAN CARLOS DE GUATEMALA USAC- ESCUELA DE FORMACION DE PROFESORES DE ENSEÑANZA MEDIA EFPEM- PROFESORADO DE INFORMÁTICA Y COMPUTACIÓN ESCUELA DE VACACIONES DICIEMBRE 2013 SALON:C6 HORA: 17:00

Más detalles

DIRECTRICES Y ORIENTACIONES GENERALES PARA LAS PRUEBAS DE ACCESO A LA UNIVERSIDAD

DIRECTRICES Y ORIENTACIONES GENERALES PARA LAS PRUEBAS DE ACCESO A LA UNIVERSIDAD Curso Asignatura 2014/2015 MATEMÁTICAS II 1º Comentarios acerca del programa del segundo curso del Bachillerato, en relación con la Prueba de Acceso a la Universidad La siguiente relación de objetivos,

Más detalles

TABLA DE CONTENIDO SÍMBOLOS PROPOSICIONALES. CUANTIFICADORAS SUBCONJUNTOS. INTERSECCIÓN Y REUNIÓN APLICACIÓN. NOMENCLATURA Y NOTACIONES

TABLA DE CONTENIDO SÍMBOLOS PROPOSICIONALES. CUANTIFICADORAS SUBCONJUNTOS. INTERSECCIÓN Y REUNIÓN APLICACIÓN. NOMENCLATURA Y NOTACIONES TABLA DE CONTENIDO LECCIÓN 1 CAP. I. - CONJUNTO. NOTACIONES SÍMBOLOS PROPOSICIONALES. CUANTIFICADORAS SUBCONJUNTOS. INTERSECCIÓN Y REUNIÓN CONJUNTO PRODUCTO LECCIÓN 2 APLICACIÓN. NOMENCLATURA Y NOTACIONES

Más detalles

CLAVE MATEMÁTICAS DISCRETAS MAD-CV 2115IS 03/08/2015 CUATRIMESTRE EVALUACIÓN INSTRUMENTO PARA LA ENSEÑANZA (PROFESOR) Rúbrica de mapa conceptual

CLAVE MATEMÁTICAS DISCRETAS MAD-CV 2115IS 03/08/2015 CUATRIMESTRE EVALUACIÓN INSTRUMENTO PARA LA ENSEÑANZA (PROFESOR) Rúbrica de mapa conceptual UNIDADES DE APRENDIZAJE RESULTADOS DE APRENDIZAJE INGENIERIA EN SOFTWARE NOMBRE DEL PROFESOR M. en TI. Omar Tellez Barrientos OBJETIVO DE LA ASIGNATURA: CONTENIDO PLANEACIÓN DE ASIGNATURA UNIVERSIDAD POLITÉCNICA

Más detalles

Optimización de consultas Resumen del capítulo 14

Optimización de consultas Resumen del capítulo 14 Optimización de consultas Resumen del capítulo 14 Libro: Fundamentos de Bases de Datos Silberschatz et al. 5ed. Dr. Víctor J. Sosa Agenda 1. Visión general 2. Estimación de las estadísticas de los resultados

Más detalles

Programación General Anual Curso 2011/12 MATEMÁTICAS APLICADAS A LAS CIENCIAS SOCIALES II ÍNDICE

Programación General Anual Curso 2011/12 MATEMÁTICAS APLICADAS A LAS CIENCIAS SOCIALES II ÍNDICE MATEMÁTICAS APLICADAS A LAS CIENCIAS SOCIALES II ÍNDICE ÍNDICE...1 CONTENIDOS... 2 CRITERIOS DE EVALUACIÓN... 4 TEMPORALIZACIÓN... 5 METODOLOGÍA DIDÁCTICA... 6 PROCEDIMIENTOS DE EVALUACIÓN... 7 ACTIVIDADES

Más detalles

COMPILADORES Teoría e implementación. Jacinto Ruiz Catalán

COMPILADORES Teoría e implementación. Jacinto Ruiz Catalán COMPILADORES Teoría e implementación Jacinto Ruiz Catalán COMPILADORES. Teoría e implementación Jacinto Ruiz Catalán ISBN: 978-84-937008-9-8 EAN: 9788493700898 Copyright 2010 RC Libros RC Libros es un

Más detalles

PROGRAMA DE CURSO DE FORMACIÓN PROFESIONAL OCUPACIONAL

PROGRAMA DE CURSO DE FORMACIÓN PROFESIONAL OCUPACIONAL MINISTERIO DE TRABAJO Y ASUNTOS SOCIALES PROGRAMA DE CURSO DE FORMACIÓN PROFESIONAL OCUPACIONAL Programador de lenguajes orientados a objetos DATOS GENERALES DEL CURSO 1. Familia Profesional: INFORMÁTICA

Más detalles

Carrera : Clave de la asignatura : AVF-1221 SATCA 1 3-2-5

Carrera : Clave de la asignatura : AVF-1221 SATCA 1 3-2-5 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura : Matemáticas Discretas 2.- PRESENTACIÓN Caracterización de la asignatura. Carrera : Clave de la asignatura : AVF-1221 SATCA 1 3-2-5 Ingeniería en Animación

Más detalles

1. Teoría de Conjuntos

1. Teoría de Conjuntos 1. Teoría de Conjuntos 1.1. CONJUNTOS Considere las siguientes expresiones: 1. Los estudiantes de la Facultad de Matemática y Computación de la Universidad de La Habana del curso 2001-2002. 2. Los tomos

Más detalles

PRUEBA DE MATEMÁTICAS

PRUEBA DE MATEMÁTICAS PRUEBA DE MATEMÁTICAS PRIMERO, SEGUNDO Y TERCERO DE BACHILLERATO El presente instructivo tiene como finalidad orientarlo en la selección y el estudio de los contenidos fundamentales de matemáticas para

Más detalles

TEMA II: CONJUNTOS Y RELACIONES DE ORDEN. Álgebra II García Muñoz, M.A.

TEMA II: CONJUNTOS Y RELACIONES DE ORDEN. Álgebra II García Muñoz, M.A. TEMA II: CONJUNTOS Y RELACIONES DE ORDEN OBJETIVOS GENERALES 1. Hacer que el alumno asimile el concepto de conjunto como la estructura algebraica más simple en la que se ambientarán el resto de las estructuras

Más detalles

Matemáticas Discretas AEF-1041 3-2-5

Matemáticas Discretas AEF-1041 3-2-5 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: SATCA 1 Matemáticas Discretas Ingeniería Informática e Ingeniería en Sistemas Computacionales AEF-1041 3-2-5 2.- PRESENTACIÓN

Más detalles

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado Álgebra Relacional Un álgebra es un sistema matemático constituido por Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos. Operadores: símbolos que denotan

Más detalles

Lógica Computacional. José Luis Fernández Vindel Ángeles Manjarrés Riesco Francisco Javier Díez Vegas. Dpto. Inteligencia Artificial

Lógica Computacional. José Luis Fernández Vindel Ángeles Manjarrés Riesco Francisco Javier Díez Vegas. Dpto. Inteligencia Artificial Lógica Computacional José Luis Fernández Vindel Ángeles Manjarrés Riesco Francisco Javier Díez Vegas Dpto. Inteligencia Artificial E.T.S.I. Informática UNED 2003 Presentación Estos apuntes son el embrión

Más detalles

MATEMÁTICAS II. 2º BACHILLERATO (Modalidad: Ciencias y Tecnología) Desarrollado en DECRETO 67/2008, de 19 de junio. B.O.C.M.: 27 de junio de 2008.

MATEMÁTICAS II. 2º BACHILLERATO (Modalidad: Ciencias y Tecnología) Desarrollado en DECRETO 67/2008, de 19 de junio. B.O.C.M.: 27 de junio de 2008. MATEMÁTICAS II 2º BACHILLERATO (Modalidad: Ciencias y Tecnología) Desarrollado en DECRETO 67/2008, de 19 de junio. B.O.C.M.: 27 de junio de 2008. PROGRAMACIÓN DIDÁCTICA I.E.S. JOSÉ HIERRO (GETAFE) CURSO:

Más detalles

UNIVERSIDAD NACIONAL DE SAN MARTÍN SÍLABO DE LÓGICA COMPUTACIONAL

UNIVERSIDAD NACIONAL DE SAN MARTÍN SÍLABO DE LÓGICA COMPUTACIONAL Página 1 de 6 UNIVERSIDAD NACIONAL DE SAN MARTÍN FACULTAD DE INGENIERÍA DE SISTEMAS E INFORMÁTICA Escuela Académica Profesional de Ingeniería de Sistemas e Informática SÍLABO DE LÓGICA COMPUTACIONAL I.

Más detalles

UNIDAD EDUCATIVA INTERNACIONAL SEK-ECUADOR PROGRAMA DE MATEMÁTICAS NM

UNIDAD EDUCATIVA INTERNACIONAL SEK-ECUADOR PROGRAMA DE MATEMÁTICAS NM UNIDAD EDUCATIVA INTERNACIONAL SEK-ECUADOR PROGRAMA DE MATEMÁTICAS NM I. DATOS INFORMATIVOS: NIVEL DE EDUCACIÓN: Bachillerato. ÁREA: Matemáticas CURSO: Segundo de bachillerato (1º año de Diploma) PARALELO:

Más detalles

Temario. Índices simples Árboles B Hashing

Temario. Índices simples Árboles B Hashing Temario Introducción y fundamentos Introducción a SQL Modelo Entidad / Relación Modelo relacional Diseño relacional: formas normales Consultas Cálculo relacional Álgebra relacional Implementación de bases

Más detalles

Todo el alumnado que tenga un buen nivel podrá asistir a las clases de profundización que serán el por las tardes.

Todo el alumnado que tenga un buen nivel podrá asistir a las clases de profundización que serán el por las tardes. SEGUNDO DE BACHILLERATO CIENCIAS NATURALEZA Y SALUD A continuación se especifican los contenidos y los objetivos mínimos y deseables para cada una de las unidades didácticas de cada bloque. Finalmente

Más detalles

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009 LÓGICA PROPOSICIONAL AUTORÍA SILVIA BORREGO DEL PINO TEMÁTICA MATEMÁTICAS. LÓGICA ETAPA UNIVERSITARIA Resumen La lógica forma parte de la filosofía, en la que se distinguen dos dimensiones, la dimensión

Más detalles

INDICE Parte I. Conceptos 1. El estudio de los lenguajes de programación 2. Cuestiones de diseño de lenguajes

INDICE Parte I. Conceptos 1. El estudio de los lenguajes de programación 2. Cuestiones de diseño de lenguajes INDICE Parte I. Conceptos 1 1. El estudio de los lenguajes de programación 1.1. Por qué estudiar lenguajes de programación? 2 1.2. Breve historia de los lenguajes de programación 1.2.1. Desarrollo de los

Más detalles

GUÍA DOCENTE Curso 2011-2012

GUÍA DOCENTE Curso 2011-2012 GUÍA DOCENTE Curso 2011-2012 Titulación: Grado en Matemáticas Código : 701G Centro: Facultad de Ciencias, Estudios Agroalimentarios e Informática Dirección: Edificio Científico Tecnológico. C/ Madre de

Más detalles

Matemáticas 2º BTO Aplicadas a las Ciencias Sociales

Matemáticas 2º BTO Aplicadas a las Ciencias Sociales Matemáticas 2º BTO Aplicadas a las Ciencias Sociales CONVOCATORIA EXTRAORDINARIA DE JUNIO 2014 MÍNIMOS: No son contenidos mínimos los señalados como de ampliación. I. PROBABILIDAD Y ESTADÍSTICA UNIDAD

Más detalles

CONJUNTO, RELACIONES, FUNCIONES Y LÓGICA

CONJUNTO, RELACIONES, FUNCIONES Y LÓGICA CONJUNTO, RELACIONES, FUNCIONES Y LÓGICA Fundamentos de la Matemática 2010 Introducción Cuando decimos: un elemento pertenece a un conjunto, estamos utilizando nada menos que tres conceptos primitivos

Más detalles

Matemáticas. Si un error simple ha llevado a un problema más sencillo se disminuirá la puntuación.

Matemáticas. Si un error simple ha llevado a un problema más sencillo se disminuirá la puntuación. UNIVERSIDAD POLITÉCNICA DE CARTAGENA PRUEBAS DE ACCESO A LA UNIVERSIDAD DE LOS MAYORES DE 25 AÑOS CONVOCATORIA 2014 CRITERIOS DE EVALUACIÓN Matemáticas GENERALES: El examen constará de dos opciones (dos

Más detalles

Apuntes de Matemática Discreta 7. Relaciones de Orden

Apuntes de Matemática Discreta 7. Relaciones de Orden Apuntes de Matemática Discreta 7. Relaciones de Orden Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 7 Relaciones de Orden Contenido

Más detalles

Análisis y comprensión de los modelos y componentes del proceso comunicativo digital.

Análisis y comprensión de los modelos y componentes del proceso comunicativo digital. PRIMER AÑO Entornos digitales 1. Conceptos generales de informática Informática, computación. Sistemas de información. Datos. Información. Definición y diferencias de conceptos. Hardware: estructura funcional

Más detalles

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad CAPÍTULO 1 Lógica En lógica se analiza, entre otros muchos temas, si un razonamiento dado es correcto o no. Si bien sus aplicaciones prácticas son muy diversas, mencionaremos apenas dos: en las demostraciones

Más detalles

IES CANARIAS CABRERA PINTO DEPARTAMENTO DE MATEMÁTICAS CONTENIDOS MÍNIMOS 1º ESO SEPTIEMBRE 2015

IES CANARIAS CABRERA PINTO DEPARTAMENTO DE MATEMÁTICAS CONTENIDOS MÍNIMOS 1º ESO SEPTIEMBRE 2015 CONTENIDOS MÍNIMOS 1º ESO SEPTIEMBRE 2015 UNIDAD 1: LOS NÚMEROS NATURALES. OPERACIONES Y RELACIONES El sistema de numeración decimal Estimación y redondeo de un número natural Las operaciones con números

Más detalles

U i n d id d a 3. El Element os á bá i s cos de un programa

U i n d id d a 3. El Element os á bá i s cos de un programa Programación Digital U id d 3 El t bá i Unidad 3. Elementos básicos de un programa 1. Concepto de Programa Es un conjunto de instrucciones (órdenes dadas a la computadora), que producirán la ejecución

Más detalles

MISIÓN UNIVERSIDAD DEL ISTMO VICERRECTORIA ACADÉMICA PROGRAMA ANALÍTICO

MISIÓN UNIVERSIDAD DEL ISTMO VICERRECTORIA ACADÉMICA PROGRAMA ANALÍTICO 1. DATOS GENERALES UNIVERSIDAD DEL ISTMO VICERRECTORIA ACADÉMICA PROGRAMA ANALÍTICO CARRERA LICENCIATURA EN ADMINISTRACIÓN DE SISTEMAS ASIGNATURA PROGRAMACION II ABREVIATURA SIS CÓDIGO 0092 PRERREQUISITOS

Más detalles

Plan de Estudios + Contenidos Mínimos

Plan de Estudios + Contenidos Mínimos Plan de Estudios + Contenidos Mínimos Licenciatura en Sistemas de Información Universidad de Belgrano Índice LICENCIATURA EN SISTEMAS DE INFORMACIÓN Plan de estudios........................ Pág. 3 Contenidos

Más detalles

Asignatura: Horas: Total (horas): Obligatoria X Teóricas 4.5 Semana 4.5 Optativa Prácticas 0.0 16 Semanas 72.0

Asignatura: Horas: Total (horas): Obligatoria X Teóricas 4.5 Semana 4.5 Optativa Prácticas 0.0 16 Semanas 72.0 UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO Aprobado por el Consejo Técnico de la Facultad de Ingeniería en su sesión ordinaria del 19 de noviembre de 2008 ÁLGEBRA

Más detalles

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE INGENIERIA DE SISTEMAS Y TELECOMUNICACIONES SYLLABUS

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE INGENIERIA DE SISTEMAS Y TELECOMUNICACIONES SYLLABUS UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE INGENIERIA DE SISTEMAS Y TELECOMUNICACIONES SYLLABUS FOR DAC 11 VER 11 05 08 DATOS GENERALES MATERIA Laboratorio de Fundamentos de Programación

Más detalles

- Iniciación a las Ciencias Económicas - Introducción a la Contabilidad - Introducción a la Matemática

- Iniciación a las Ciencias Económicas - Introducción a la Contabilidad - Introducción a la Matemática ORDENANZA NO345197 (Modificada por Ordenanza No 352191) PARTE PERTINENTE Teniendo en cuenta que se ha confeccionado un Texto Ordenado del Plan de Estudios Ordenanza No 222, que contiene las modificaciones

Más detalles

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008 INTRODUCCIÓN Estructura de Datos Tipos Abstractos de Datos (TAD S) Para poder obtener un programa que resuelva un problema dado, son necesarios varios pasos : La formulación y especificación del problema

Más detalles

Introducción a la Computación

Introducción a la Computación UNIVERSIDAD RAFAEL BELLOSO CHACÍN FACULTAD DE INGENIERIA INTRODUCCIÓN A LA COMPUTACION UNIDAD II: DATOS, ALGORITMOS Y PSEUDOCODIGOS http://www.urbe.edu/info-consultas/web-profesor/12697883/ ALGORITMO Un

Más detalles

Lógica, conjuntos, relaciones y funciones

Lógica, conjuntos, relaciones y funciones Lógica, conjuntos, relaciones y funciones Álvaro Pérez Raposo Universidad Autónoma de San Luis Potosí Universidad Politécnica de Madrid Publicaciones Electrónicas Sociedad Matemática Mexicana A la memoria

Más detalles

Tema 7: Programación con Matlab

Tema 7: Programación con Matlab Tema 7: Programación con Matlab 1. Introducción Matlab puede utilizarse como un lenguaje de programación que incluye todos los elementos necesarios. Añade la gran ventaja de poder incorporar a los programas

Más detalles

FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 11. Cálculo Relacional

FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 11. Cálculo Relacional FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA Tema 11. Cálculo Relacional 1.- Introducción. 2.- Cálculo Relacional Orientado a Tuplas. 3.- Cálculo Relacional vs Álgebra Relacional: Algoritmo

Más detalles

Introducción al Análisis Complejo

Introducción al Análisis Complejo Introducción al Análisis Complejo Aplicado al cálculo de integrales impropias Complementos de Análisis, I.P.A Prof.: Federico De Olivera Leandro Villar 13 de diciembre de 2010 Introducción Este trabajo

Más detalles

DIRECTRICES Y ORIENTACIONES GENERALES PARA LAS PRUEBAS DE ACCESO A LA UNIVERSIDAD

DIRECTRICES Y ORIENTACIONES GENERALES PARA LAS PRUEBAS DE ACCESO A LA UNIVERSIDAD Curso 2014/2015 Asignatura: MATEMÁTICAS APLICADAS A LAS CC.SS. II 1º Comentarios acerca del programa del segundo curso del Bachillerato, en relación con la Prueba de Acceso a la Universidad 0. INTRODUCCIÓN

Más detalles

PARTE II LÓGICA COMPUTACIONAL

PARTE II LÓGICA COMPUTACIONAL PARTE II LÓGICA COMPUTACIONAL Lógica de proposiciones INTRODUCCION Teniendo en mente que queremos presentar los sistemas deductivos de la lógica como una herramienta práctica para los informáticos, vamos

Más detalles

Lógica de Predicados de Primer Orden

Lógica de Predicados de Primer Orden Lógica de Predicados de Primer Orden La lógica proposicional puede ser no apropiada para expresar ciertos tipos de conocimiento. Por ejemplo: Algunas manzanas son rojas Esta afirmación no se refiere específicamente

Más detalles

... desde 2001, proporcionando herramientas útiles y accesibles para el mundo educativo. Y ahora, con recursos y apoyo docente en línea.

... desde 2001, proporcionando herramientas útiles y accesibles para el mundo educativo. Y ahora, con recursos y apoyo docente en línea. ... desde 2001, proporcionando herramientas útiles y accesibles para el mundo educativo. Y ahora, con recursos y apoyo docente en línea. Área de Matemáticas ZANTMARÓ EDICIONES, S.A. 5a. calle 14-25 zona

Más detalles

DIRECTRICES Y ORIENTACIONES GENERALES PARA LAS PRUEBAS DE ACCESO A LA UNIVERSIDAD

DIRECTRICES Y ORIENTACIONES GENERALES PARA LAS PRUEBAS DE ACCESO A LA UNIVERSIDAD Curso Asignatura 2009/2010 MATEMÁTICAS APLICADAS A LAS CIENCIAS SOCIALES II 1º Comentarios acerca del programa del segundo curso del Bachillerato, en relación con la Prueba de Acceso a la Universidad INTRODUCCIÓN

Más detalles

Tema III. Capítulo 2. Sistemas generadores. Sistemas libres. Bases.

Tema III. Capítulo 2. Sistemas generadores. Sistemas libres. Bases. Tema III Capítulo 2 Sistemas generadores Sistemas libres Bases Álgebra Lineal I Departamento de Métodos Matemáticos y de Representación UDC 2 Sistemas generadores Sistemas libres Bases 1 Combinación lineal

Más detalles

Temario Curso Bases de Datos

Temario Curso Bases de Datos Temario Curso Bases de Datos TEMA 1. INTRODUCCION A LAS BASES DE DATOS 1. Cualidades De La Información 2. Sistemas de Información 2.1. Componentes de un Sistema de Información 3. Niveles de Gestión de

Más detalles

Codd propuso estos tres lenguajes como base teórica de cualquier lenguaje que quisiera cumplir con los requisitos formales del modelo.

Codd propuso estos tres lenguajes como base teórica de cualquier lenguaje que quisiera cumplir con los requisitos formales del modelo. 16/05/2012 1 Todo modelo de datos debe definir un lenguaje de definición de datos para crear las estructuras donde se almacenará la información y un lenguaje de manipulación de datos con el que acceder

Más detalles

SILABO PROGRAMACIÓN TEMÁTICA PRIMERA UNIDAD. Lógica proposicional y Teoría de Conjuntos COMPETENCIA ESPECÍFICA

SILABO PROGRAMACIÓN TEMÁTICA PRIMERA UNIDAD. Lógica proposicional y Teoría de Conjuntos COMPETENCIA ESPECÍFICA SILABO I. DATOS GENERALES 1. Nombre de la Asignatura : MATEMÁTICA BÁSICA 2. Carácter : Obligatorio. 3. Carrera Profesional :Administración de Empresas 4. Código :EG0101 5. Semestre Académico :2014 - I

Más detalles

CICLO SUPERIOR DESARROLLO DE APLICACIONES MULTIPLATAFORMA

CICLO SUPERIOR DESARROLLO DE APLICACIONES MULTIPLATAFORMA CICLO SUPERIOR DESARROLLO DE APLICACIONES MULTIPLATAFORMA PROGRAMACIÓN DIDACTICA ANUAL Parte específica del módulo: 0485. Programación Departamento de Familia Profesional de Informática Curso: 2014-15

Más detalles

Tema 3. Interpretación Abstracta

Tema 3. Interpretación Abstracta Tema 3. Interpretación Abstracta Herramientas Avanzadas para el Desarrollo de Software Profesora: Alicia Villanueva DSIC, Escuela Técnica Superior de Ingeniería Informática Curso 2011-2012 Indice Indice

Más detalles

Capitán de fragata ingeniero AGUSTÍN E. GONZÁLEZ MORALES ÁLGEBRA PARA INGENIEROS

Capitán de fragata ingeniero AGUSTÍN E. GONZÁLEZ MORALES ÁLGEBRA PARA INGENIEROS Capitán de fragata ingeniero AGUSTÍN E. GONZÁLEZ MORALES ÁLGEBRA PARA INGENIEROS 2 Í N D I C E CAPÍTULO MATRICES, DETERMINANTES Y SISTEMAS DE ECUACIONES LINEALES MATRICES. MATRIZ. DEFINICIÓN 2. ALGUNOS

Más detalles

Tema II: El modelo relacional de datos (2.1) El modelo relacional de datos.

Tema II: El modelo relacional de datos (2.1) El modelo relacional de datos. Tema II: El modelo relacional de datos (2.1) El modelo relacional de datos. Objetivos: conocer las estructuras de datos del modelo: la tupla y la relación. conocer básicamente la forma de modelar la realidad

Más detalles

Describir los componentes de un sistema de información Enunciar los tipos de sistemas de información

Describir los componentes de un sistema de información Enunciar los tipos de sistemas de información Tema 1Bases de datos Programa analítico Prof. Hugo Moncayo López Trim. 06-O Objetivos Al finalizar la UEA el alumno deberá ser capaz de: Diseñar bases de datos capaces de sustentar eficientemente la operación

Más detalles

Tipos Abstractos de Datos y Diseño por Contrato

Tipos Abstractos de Datos y Diseño por Contrato Tipos Abstractos de Datos y Diseño por Contrato 1.- Motivación de los tipos abstractos de datos Nuestro objetivo es obtener descripciones apropiadas de los objetos, para lo cual se necesita un método que

Más detalles

TEMA II: ÁLGEBRA DE CONMUTACIÓN

TEMA II: ÁLGEBRA DE CONMUTACIÓN TEMA II: ÁLGEBRA DE CONMUTACIÓN En este capítulo veremos los métodos matemáticos que se disponen para las operaciones relacionadas con los circuitos digitales, así como las funciones más básicas de la

Más detalles

Entrarás a formar parte de nuestra bolsa de empleo a la que acuden las empresas en busca de nuestros alumnos.

Entrarás a formar parte de nuestra bolsa de empleo a la que acuden las empresas en busca de nuestros alumnos. CURSO PROFESIONAL DE TRANSACT-SQL MÁSTER EN DESARROLLO DE APLICACIONES WEB CON JAVA ENTERPRISE EDITION Precio: 450 Euros y Matrícula Gratis. Modalidad: Presencial en nuestras aulas. Valores añadidos: Nuestro

Más detalles

CURSO DE SQL SERVER 2005

CURSO DE SQL SERVER 2005 CURSO DE SQL SERVER 2005 Una vez finalizado el curso, el alumno estará preparado para: Instalar y configurar SQL Server 2005. Comprender los conceptos más importantes del diseño de bases de datos. Crear

Más detalles

Nombre de la asignatura: Programación Estructurada. Créditos: 3-2 - 5. Aportación al perfil

Nombre de la asignatura: Programación Estructurada. Créditos: 3-2 - 5. Aportación al perfil Nombre de la asignatura: Programación Estructurada Créditos: 3-2 - 5 Aportación al perfil Diseñar, analizar y construir equipos y/o sistemas electrónicos para la solución de problemas en el entorno profesional,

Más detalles

INDICE Programación Introducción Capitulo 21 BASIC Capitulo 22. COBOL Capitulo 23 DELPHI Capitulo 24. FORTRAN Capitulo 25.

INDICE Programación Introducción Capitulo 21 BASIC Capitulo 22. COBOL Capitulo 23 DELPHI Capitulo 24. FORTRAN Capitulo 25. INDICE Programación Introducción 706 Capitulo 21 BASIC 711 Introducción 711 Sintaxis 713 Procedimientos y control de flujo 713 Tipos de datos 714 Disponibilidad y variantes del dialecto 714 Capitulo 22.

Más detalles

Cálculo Proposicional Implicativo Clásico

Cálculo Proposicional Implicativo Clásico Cálculo Proposicional Implicativo Clásico Antonio A R Monteiro Estas notas reproducen el curso [13] que dictara en la Universidad Nacional del Sur, en 1960 el Dr Antonio A R Monteiro, donde presentó resultados

Más detalles

Carrera: ACF-0901 3-2 - 5

Carrera: ACF-0901 3-2 - 5 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: (Créditos) SATCA 1 Cálculo Diferencial Todas las Carreras ACF-0901 3-2 - 5 2.- PRESENTACIÓN Caracterización de la asignatura.

Más detalles

Pontificia Universidad Católica del Ecuador

Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: PROGRAMACION IS-122 Ingeniería Primero No. CRÉDITOS: 6 CRÉDITOS TEORÍA: 6 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO: Primero 2012 2013

Más detalles

A.N.E.P. Consejo de Educación Técnico Profesional. Educación Media Tecnológica. Orientación Informática ASIGNATURA INTRODUCCIÓN A LA COMPUTACIÓN

A.N.E.P. Consejo de Educación Técnico Profesional. Educación Media Tecnológica. Orientación Informática ASIGNATURA INTRODUCCIÓN A LA COMPUTACIÓN Consejo de Educación Técnico Profesional Educación Media Tecnológica Orientación Informática ASIGNATURA INTRODUCCIÓN A LA COMPUTACIÓN Primer año ( 2 horas semanales) Plan 2004 Índice Tema Pág Índice...

Más detalles

21.1.2. TEOREMA DE DETERMINACIÓN DE APLICACIONES LINEALES

21.1.2. TEOREMA DE DETERMINACIÓN DE APLICACIONES LINEALES Aplicaciones lineales. Matriz de una aplicación lineal 2 2. APLICACIONES LINEALES. MATRIZ DE UNA APLICACIÓN LINEAL El efecto que produce el cambio de coordenadas sobre una imagen situada en el plano sugiere

Más detalles

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios } La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas

Más detalles

COORDINACIÓN DE MATEMÁTICAS. INGENIERÍA EN COMPUTACIÓN División Departamento Licenciatura

COORDINACIÓN DE MATEMÁTICAS. INGENIERÍA EN COMPUTACIÓN División Departamento Licenciatura UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO ÁLGEBRA CIENCIAS BÁSICAS 1 8 Asignatura Clave Semestre Créditos COORDINACIÓN DE MATEMÁTICAS INGENIERÍA EN COMPUTACIÓN

Más detalles

Consulta: por email cuadrar cita (en principio después de clases)

Consulta: por email cuadrar cita (en principio después de clases) AyDA-I 2014 Profesor: Jose Aguilar Sitio de Trabajo: CEMISID Contacto: aguilar@ula.ve Consulta: por email cuadrar cita (en principio después de clases) Información del curso: lista, WhatsApp, dropbox y

Más detalles

Fascículo 2. Álgebra Lineal. Cursos de grado. Gabriela Jeronimo Juan Sabia Susana Tesauri. Universidad de Buenos Aires

Fascículo 2. Álgebra Lineal. Cursos de grado. Gabriela Jeronimo Juan Sabia Susana Tesauri. Universidad de Buenos Aires Fascículo 2 Cursos de grado ISSN 1851-1317 Gabriela Jeronimo Juan Sabia Susana Tesauri Álgebra Lineal Departamento de Matemática Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires 2008

Más detalles