Introducción a la Programación Lógica. Ingeniería Informática Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga
|
|
- Claudia Maldonado Iglesias
- hace 6 años
- Vistas:
Transcripción
1 Introducción a la Programación Lógica Ingeniería Informática Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga
2 Programming in Prolog opens the mid to a new way of looking at computing. There is a change of perspective which every Prolog programmer experiences when first getting to know the language. Declarative programming clears the mind. David H.D. Warren
3 Temario (Programación Lógica) 1. Principios de la programación lógica 2. Técnicas básicas de programación Prolog 3. Predicados extralógicos 4. Programación lógica con estructuras 5. Control en Prolog 6. Metaprogramación en Prolog 7. Técnicas avanzadas de programación Prolog Introducción a la Programación Lógica 3
4 Software (Programación Lógica) SWI-Prolog entorno de programación Prolog (Windows/Linux/OSX) SLD-Draw visualización de árboles SLD (Windows/Linux) Introducción a la Programación Lógica 4
5 Bibliografía I (Programación Lógica) Referencias básicas: The Art of Prolog (2ed) Leon Sterling y Ehud Shapiro MIT Press, 1994 Programación en Prolog (2ed) William F. Clocksin y Chris S. Mellish Gustavo Gili, 1993 Prolog Programming for Artificial Intelligence (3ed) Ivan Bratko Addison-Wesley, 2000 Introducción a la Programación Lógica 5
6 Bibliografía II (Programación Lógica) Libros y referencias disponibles en internet: Clause and Effect William F. Clocksin Prolog Programming: A First Course Paul Brna Logic, Programming and Prolog (2ed) Ulf Nilsson y Jan Maluszynski Consultar sitio web de la asignatura: Introducción a la Programación Lógica 6
7 Qué es la Programación Lógica? la idea fundamental de la programación lógica consiste en emplear la lógica como lenguaje de programación Datos = términos de primer orden Procedimiento = fórmulas bien formadas Ejecución = Deducción controlada y constructiva la lógica no es imperativa: no sirve para indicar cómo resolver un problema (órdenes) la lógica es declarativa: sirve para especificar qué problema resolver (condiciones) sin embargo, la programación lógica permite ambos enfoques Introducción a la Programación Lógica 7
8 El enfoque imperativo programación imperativa (C++, Java, etc.) diseñar un algoritmo para resolver el problema computar la solución ejecutando el algoritmo el énfasis está en cómo resolver el problema la programación lógica también es capaz de describir algoritmos a un nivel de abstracción alto Introducción a la Programación Lógica 8
9 El enfoque lógico programación lógica especificar las condiciones que satisfacen las soluciones deducir las soluciones a partir de las condiciones el énfasis está en qué problema resolver el problema se describe especificando qué caracteriza a sus posibles soluciones Introducción a la Programación Lógica 9
10 Ejemplo 1: ordenar tres números Problema: ordenar tres números distintos Entrada: conjunto X = {X1 X1, X2, X3} Solución: A,B,C tales que: A,B y C X A B C A < B B < C no es una solución imperativa: no es un algoritmo de ordenación es una solución declarativa: especifica las condiciones que caracterizan a la solución Introducción a la Programación Lógica 10
11 Ejemplo 1 resuelto en Prolog programa ordenar(x,[a,b,c]) :- member(a,x),member(b,x),member(c,x), A =\= B, A =\= C, B =\= C, A < B, B < C. ejecución?- ordenar([9,2,5],s). S = [2,5,9]; No Prolog deduce la solución a partir de las condiciones Ejercicio: una de las condiciones es redundante. Cuál? Introducción a la Programación Lógica 11
12 Ejemplo 2: descomponer un número Problema: Descomponer un número en la suma de dos pares Entrada: un natural N Solución: A y B tales que: A, B N A mod 2 = 0 B mod 2 = 0 N = A + B Introducción a la Programación Lógica 12
13 Ejemplo 2 resuelto en Prolog programa: descomponer(n,a,b) :- between(0,n,a), A mod 2 =:= 0, between(0,n,b), B mod 2 =:= 0, N =:= A + B. ejecución:?- descomponer(6,a,b). A=0, B=6; A=2, B=4; A=4, B=2; A=6, B=0; No Prolog encuentra todas las soluciones: un procedimiento puede devolver varias respuestas Introducción a la Programación Lógica 13
14 Otra solución a la descomposición en pares podemos hacer el programa más determinista: una vez seleccionado un valor para A, podemos calcular el valor exacto de B. programa: descomponer_det(n,a,b) :- between(0,n,a), A mod 2 =:= 0, B is N-A, B mod 2 =:= 0. % B determinado Introducción a la Programación Lógica 14
15 Ejemplo 3: partir una lista Problema: partir una lista L en dos listas A y B de manera que el último elemento de A aparezca en B Ejemplo: L = 1,2,3,4,3,5 A = 1,2,3 B = 4,3,5 Entrada: lista L Solución: A y B tales que: L = A concatenada con B A = a1,a2,...,an B = b1,...bm j. (bj B bj=an) Introducción a la Programación Lógica 15
16 Ejemplo 3 resuelto en Prolog programa: partir(l,a,b) :- append(a,b,l), last(a,ult), memberchk(ult,b). ejecución:?- partir([1,2,3,4,2,3],a,b). A = [1, 2], B = [3, 4, 2, 3] ; A = [1, 2, 3], B = [4, 2, 3] ; No Introducción a la Programación Lógica 16
17 Ejemplo 4: el cruce de rebaños Problema: Dos cabreros se encuentran en un cruce y se produce el siguiente diálogo: - Dame una cabra, para que tengamos las mismas - Mejor dame tú una a mí, para que tenga yo el doble que tú Cuántas cabras tiene cada cabrero?... Solución: A y B N + tales que: B-1 = A+1 2*(A-1) = B+1 Introducción a la Programación Lógica 17
18 Ejemplo 4 resuelto en Prolog programa: rebaño(a,b) :- between(1,10,a), % conjetura 1 between(1,10,b), % conjetura 2 B-1 =:= A+1, 2*(A-1) =:= B+1. ejecución:?- rebaño(a,b). A= 5, B= 7; No Introducción a la Programación Lógica 18
19 Otra solución al cruce de los rebaños De la misma forma que hay varios algoritmos para un mismo problema, es posible que haya varias especificaciones de la solución Solución: A y B N + tales que: B = A+2, 2*(A-1) = B+1 programa: rebaño2(a,b) :- between(1,10,a), % conjetura 1 B is A+2, % B determinado 2*(A-1) =:= B+1. Introducción a la Programación Lógica 19
20 Un poco de historia (I) Resolución y unificación (J. Alan Robinson, 1965) Resolución de problemas mediante demostración automática de teoremas (Cornell Green, 1969) El lenguaje Prolog (Alain Colmerauer, 1972) Interpretación procedimental de las cláusulas de Horn (Robert Kowalski, 1973) Compilador de Prolog para DEC-10 (David H.D. Warren, 1977) Máquina abstracta de Warren (David H.D. Warren, 1983) Introducción a la Programación Lógica 20
21 Un poco de historia (y II) 80 s Primeros 90 s: Proyecto de la Quinta Generación (Japón) Paralelismo masivo Programación lógica concurrente (Kernel Language) Estándar ISO Prolog (1995) Actualmente: Programación con restricciones Programación en Internet Transferencia de tecnología a otros paradigmas (implementación, análisis de programas, ) Introducción a la Programación Lógica 21
22 Ejercicios (I) Para resolver estos ejercicios puedes usar las comparaciones: X > Y, X < Y, X =< Y, X >= Y 1. Una terna pitagórica está formada por tres enteros positivos X, Y, Z tales que X 2 + Y 2 = Z 2. Define un predicado pitagoras(n,x,y,z) que sea cierto cuando X, Y, Z son menores o iguales que N y forman una terna pitagórica. 2. Define un predicado raiz(n,r) que sea cierto cuando R sea la parte entera de la raíz cuadrada de N. 3. En qué año del siglo XX nació Carlos, si su edad en el año 2000 es igual a la suma de las cifras de su año de nacimiento. 4. Mi hijo es ahora tres veces más joven que yo, pero hace 5 años era cuatro veces más joven. Qué edad tienen padre e hijo? Introducción a la Programación Lógica 22
23 Ejercicios (y II) 5. Entre un preso y un carcelero se produce el siguiente diálogo: - Cuándo saldré de aquí? - Qué edad tienes? - Veinticinco - Yo tengo cincuenta y cuatro. Saldrás cuando te duplique la edad. Cuántos años le quedan por cumplir al preso? 6. Define un predicado partir(l,a,b,c) que parta una lista L en tres sublistas A, B y C de forma que tengan al menos un elemento en común. Ten en cuenta que append sólo recibe tres argumentos. Introducción a la Programación Lógica 23
PROGRAMACIÓN ORIENTADA A OBJETOS
UNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS: ELÉCTRICA, ELECTRÓNICA, FÍSICA Y CIENCIAS DE LA COMPUTACIÓN PROGRAMA INGENIERÍA DE SISTEMAS Y COMPUTACIÓN MATERIA: PROGRAMACIÓN ORIENTADA A OBJETOS
Más detallesPROGRAMACIÓN LÓGICA INTRODUCCIÓN. Juan Juárez Fuentes
PROGRAMACIÓN LÓGICA INTRODUCCIÓN Juan Juárez Fuentes 1 Trabajo propuesto en 1970 Cómo programar un sistema como el siguiente? Usuario> Los gatos matan ratones. Usuario> Tom es un gato al que no le gustan
Más detallesFundamentos de Inteligencia Artificial
Área de Ingeniería Telemática Universidade de Vigo Fundamentos de Inteligencia Artificial Manuel Ramos Cabrer (Curso 2010/11) Objetivos Introducción a la disciplina de la Inteligencia Artificial desde
Más detallesProgramación declarativa ( )
1 / 24 Programación declarativa (2007 08) Tema 9: Retroceso, corte y negación José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
Más detallesUNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS FACULTAD DE INGENIERIA SYLLABUS. PROYECTO CURRICULAR: Ingeniería de Sistemas
UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS FACULTAD DE INGENIERIA SYLLABUS PROYECTO CURRICULAR: Ingeniería de Sistemas NOMBRE DEL DOCENTE: ESPACIO ACADÉMICO (Asignatura): Modelos de Programación II
Más detallesTema 1. Introducción al PROLOG. 1. Qué es el PROLOG? 2. Los elementos de PROLOG 3. Un programa de ejemplo 4. Ejercicios propuestos
Tema 1. Introducción al PROLOG 1. Qué es el PROLOG? 2. Los elementos de PROLOG 3. Un programa de ejemplo 4. Ejercicios propuestos 1. Qué es el PROLOG? 1.1. Un poco de historia PROgramming in LOGic Desarrollado
Más detalles1.- DATOS DE LA ASIGNATURA. Nombre de la asignatura: Carrera: Clave de la asignatura: (Créditos) SATCA PRESENTACIÓN
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: (Créditos) SATCA 1 Programación Lógica y Funcional Ingeniería en Sistemas Computacionales SCC-1019 2 2 4 2.- PRESENTACIÓN
Más detallesLÓGICA COMPUTACIONAL
CURSO 2006-2007 OBJETIVOS Y TEMARIO 1. Presentación y objetivos. 2. Temario. Breve descripción. 1. Presentación y objetivos La asignatura «Lógica Computacional» presenta para este año un programa que está
Más detallesPLANIFICACIÓN DE LA DOCENCIA UNIVERSITARIA GUÍA DOCENTE INTRODUCCIÓN Y TEORÍA DE LA COMPUTACIÓN
CENTRO UNIVERSITARIO DE TECNOLOGÍA Y ARTE DIGITAL PLANIFICACIÓN DE LA DOCENCIA UNIVERSITARIA GUÍA DOCENTE INTRODUCCIÓN Y TEORÍA DE LA COMPUTACIÓN 1. DATOS DE IDENTIFICACIÓN DE LA ASIGNATURA. Título: Facultad:
Más detallesApuntes de Tipos Abstractos de Datos. Juan M. Molina Bravo
Apuntes de Tipos Abstractos de Datos Juan M. Molina Bravo curso 2001-2002 0-2 Capítulo 1 Introducción a la Programación Basada en Tipos Abstractos de Datos. 1.1 Diseño basado en ttaadd Los sistemas de
Más detallesUNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI
UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI NOMBRE DE LA ASIGNATURA: PROGRAMACIÓN ORIENTADA A OBJETOS FECHA DE ELABORACIÓN: ENERO 2005 ÁREA DEL PLAN DE ESTUDIOS:
Más detallesUNIVERSIDAD AUTONOMA DE QUERETARO Facultad de Informática
INGENIERÍA DE SOFTWARE(1703). ÁREA DE CONOCIMIENTO: TRATAMIENTO DE LA INFORMACION CRÉDITOS: 8 HORAS TEÓRICAS ASIGNADAS A LA SEMANA: 2 HORAS PRÁCTICAS ASIGNADAS A LA SEMANA: 2 PROGRAMAS EDUCATIVOS EN LOS
Más detallesDISEÑO CURRICULAR ALGORÍTMOS, ESTRUCTURAS Y PROGRAMACIÓN II
DISEÑO CURRICULAR ALGORÍTMOS, ESTRUCTURAS Y PROGRAMACIÓN II FACULTAD (ES) CARRERA (S) Ingeniería Computación y Sistemas CÓDIGO HORAS TEÓRICAS HORAS PRÁCTICAS UNIDADES DE CRÉDITO SEMESTRE PRE-REQUISITO
Más detallesLP - Lenguajes de Programación
Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 723 - CS - Departamento de Ciencias de la Computación Curso: Titulación: 2016 GRADO EN INGENIERÍA INFORMÁTICA (Plan
Más detallesParadigmas de Programación
PLANIFICACIÓN Ing. Andrés Jorge Pascal Paradigmas de Programación Asignatura Carrera Ingeniería en Sistemas de Información Área Programación Año Segundo (2er. Cuatrimestre) Carga 7 horas semanales CONTENIDO
Más detallesEstructuras de Datos y Algoritmos. Programa de la asignatura
Estructuras de Datos y Algoritmos Programa de la asignatura Página Web: http://www.ctr.unican.es/asignaturas/eda Curso 2009-20010 DEPARTAMENTO DE MATEMÁTICAS, Michael González Harbour 1 4 Profesores Michael
Más detalles2. Codificar de forma sistemática la secuencia de instrucciones en un lenguaje.
Modulo 1. Introducción a los lenguajes de programación La solución de problemas mediante en uso de un computador nos lleva a desarrollar programas o aplicaciones, la construcción de estos programas debe
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Objetivos Estudiar algunas de las metodologías de Inteligencia Artificial,
Más detallesIntroducción a la Programación de Videojuegos y Gráficos
Introducción a la Programación de Videojuegos y Gráficos GRADO EN INGENIERÍA INFORMÁTICA CURSO 2012/2013 PROFESORADO DE VIDEOJUEGOS Carlos Aguirre Maeso Despacho B-209 E-mail: carlos.aguirre@uam.es David
Más detallesTema 2: Representación de problemas como espacios de estados
Tema 2: Representación de problemas como espacios de estados José Luis Ruiz Reina José Antonio Alonso Franciso J. Martín Mateos Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesGramáticas lógicas. Programación Lógica InCo
Gramáticas lógicas Programación Lógica InCo DCG: Definite clause grammars Gramáticas escritas con una sintaxis similar a la usual que se traducen a cláusulas definidas y, por lo tanto, a predicados Prolog.
Más detalles240AR031 - Sistemas Empotrados y de Tiempo Real
Unidad responsable: 240 - ETSEIB - Escuela Técnica Superior de Ingeniería Industrial de Barcelona Unidad que imparte: 707 - ESAII - Departamento de Ingeniería de Sistemas, Automática e Informática Industrial
Más detallesDISEÑO CURRICULAR COMPUTACIÓN GRÁFICA
DISEÑO CURRICULAR COMPUTACIÓN GRÁFICA FACULTAD (ES) CARRERA (S) Ingeniería Computación y Sistemas. CÓDIGO HORAS TEÓRICAS HORAS PRÁCTICAS UNIDADES DE CRÉDITO SEMESTRE 126243 01 03 03 VI PRE-REQUISITO ELABORADO
Más detallesRepresentación de Conocimientos
Representación de Conocimientos Asunción Gómez-Pérez asun@fi.upm.es Despacho 2104 Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Campus de Montegancedo
Más detallesGrado en Ingeniería Informática Grado en Sistemas de Información Universidad de Alcalá Curso Académico 2016/2017 Curso 1º Cuatrimestre 2º
PROGRAMACIÓN Grado en Ingeniería Informática Grado en Sistemas de Información Universidad de Alcalá Curso Académico 2016/2017 Curso 1º Cuatrimestre 2º GUÍA DOCENTE Nombre de la asignatura: Programación
Más detallesINICIACIÓN A LA PROGRAMACIÓN 1ª parte
TEMA 4 INICIACIÓN A LA PROGRAMACIÓN 1ª parte Qué es la programación? La programación es el proceso de diseñar, codificar, depurar y mantener el código fuente de programas computacionales. En la actualidad,
Más detallesBenemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación
PLAN DE ESTUDIOS (PE): Licenciatura en Ingeniería en Tecnologías de la Información. AREA: Optativas ASIGNATURA: CÓDIGO: ITIM-603 CRÉDITOS: 5 FECHA: 12 de julio de 2013 1 1. DATOS GENERALES Nivel Educativo:
Más detallesFI - FUNDAMENTOS DE INFORMÁTICA
Unidad responsable: Unidad que imparte: Curso: Titulación: Créditos ECTS: 2008 330 - EPSEM - Escola Politècnica Superior d'enginyeria de Manresa 723 - LSI - Departamento de Lenguajes y Sistemas Informáticos
Más detallesINTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA
1.PRESENTACIÓN ASIGNATURA DE MÁSTER: INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA Curso 2015/2016 (Código:31104021) La programación matemática es una potente técnica de optimización utilizada en el proceso
Más detallesEI MT1008 Programación II
GRADO EN INGENIERÍA INFORMÁTICA GRADO EN MATEMÁTICA COMPUTACIONAL EI1008 - MT1008 Programación II Curso 2010-2011 Departamento de Lenguajes y Sistemas Informáticos 1. Datos de la asignatura Carácter: Formación
Más detallesTema 1: Revisión de Prolog
Razonamiento Automático Curso 999 2000 Tema : Revisión de Prolog José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesPROGRAMA ANALÍTICO DE ASIGNATURA
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO COORDINACIÓN DE DOCENCIA DIRECCIÓN DE PLANEACIÓN Y DESARROLLO EDUCATIVO _ 1.- DATOS GENERALES 1.1 INSTITUTO: CIENCIAS BÁSICAS E INGENIERÍA PROGRAMA ANALÍTICO
Más detallesTema 5: Otros predicados predefinidos
Programación Declarativa Curso 2000 200 Tema 5: Otros predicados predefinidos José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesPR1: Programación I 6 Fb Sistemas Lógicos 6 Obligatoria IC: Introducción a los computadores 6 Fb Administración de
CUADRO DE ADAPTACIÓN INGENIERÍA INFORMÁTICA - Campus Río Ebro Código Asignaturas aprobadas Créditos Carácter Asignaturas/Materias reconocida Créditos Carácter 12007 Cálculo 7,5 MAT1; Matemáticas I 12009
Más detallesPROGRAMA DE CURSO. Horas Docencia Horas de Trabajo Horas de Cátedra Docentes. Personal Resultados de Aprendizaje
PROGRAMA DE CURSO Código Nombre CC1002 Introducción a la Programación Nombre en Inglés Introduction to Programming SCT Unidades Horas Docencia Horas de Trabajo Horas de Cátedra Docentes Auxiliar Personal
Más detallesEs un conjunto de palabras y símbolos que permiten al usuario generar comandos e instrucciones para que la computadora los ejecute.
Los problemas que se plantean en la vida diaria suelen ser resueltos mediante el uso de la capacidad intelectual y la habilidad manual del ser humano. La utilización de la computadora en la resolución
Más detallesTema 2 Conceptos básicos de programación. Fundamentos de Informática
Tema 2 Conceptos básicos de programación Fundamentos de Informática Índice Metodología de la programación Programación estructurada 2 Pasos a seguir para el desarrollo de un programa (fases): Análisis
Más detalles5.2 Introducción a Prolog. Lenguaje Prolog. Características de Prolog. Su nombre viene de Programación en Lógica, creado a comienzos de los 70:
5.2 Introducción a Prolog 1 Lenguaje Prolog Su nombre viene de Programación en Lógica, creado a comienzos de los 70: Robert Kowalski (Edimburgo): lado teórico Maarten van Emden (Edimburgo): demostración
Más detallesOptimización de Problemas de Producción
Optimización de Problemas de Producción Pedro Piñeyro - Luis Stábile Colaboran: Héctor Cancela - Antonio Mauttone - Carlos Testuri Depto. Investigación Operativa. Instituto de Computación. Facultad de
Más detallesEsta asignatura apoyará al alumno en la consecución de las siguientes competencias:
Nombre de la asignatura: Sistemas Operativos II Créditos: 3-2-5 Aportación al perfil Esta asignatura apoyará al alumno en la consecución de las siguientes competencias: Aplicar conocimientos científicos
Más detallesTécnicas y Lenguajes de Programación. Bases de Datos.Técnicas de Computación.ANSI C.
GUÍA DOCENTE DE LA ASIGNATURA ADQUISICIÓN Y TRATAMIENTO DE DATOS I 1. Descriptores de la asignatura: Técnicas y Lenguajes de Programación. Bases de Datos.Técnicas de Computación.ANSI C. 2. Situación de
Más detallesTema 2 Introducción a la Programación en C.
Tema 2 Introducción a la Programación en C. Contenidos 1. Conceptos Básicos 1.1 Definiciones. 1.2 El Proceso de Desarrollo de Software. 2. Lenguajes de Programación. 2.1 Definición y Tipos de Lenguajes
Más detallesESCUELA: UNIVERSIDAD DEL ISTMO
1.-IDENTIFICACIÓN ESCUELA: UNIVERSIDAD DEL ISTMO CLAVE: 3041 GRADO: ING. EN COMPUTACIÓN, CUARTO SEMESTRE TIPO DE TEÓRICA/PRÁCTICA ANTECEDENTE CURRICULAR: 3033.- OBJETIVO GENERAL Proporcionar al alumno
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 detallesESCUELA SUPERIOR POLITECNICA DEL LITORAL PROGRAMA DE ESTUDIOS
FUNDAMENTOS DE PROGRAMACIÓN UNIDAD ACADÉMICA: CARRERA: ESPECIALIZACIÓN: ÁREA: Facultad de Ingeniería en Electricidad y Computación Ingeniería en Ciencias Computacionales, Ingeniería en Electrónica y Telecomunicaciones,
Más detallesGUÍA DOCENTE Computación Neuronal y Evolutiva. Grado en Ingeniería Informática
GUÍA DOCENTE 2016-2017 Computación Neuronal y Evolutiva 1. Denominación de la asignatura: Computación Neuronal y Evolutiva Titulación Grado en Ingeniería Informática Código 6382 Grado en Ingeniería Informática
Más detallesUNIVERSIDAD TECNOLOGICA DE LOS ANDES VICE RECTORADO ACADEMICO FACULTAD DE INGENIERÍA ESCUELA PROFESIONAL DE INGENIERÍA DE SISTEMAS E INFORMÁTICA
FACULTAD DE INGENIERÍA ESCUELA PROFESIONAL DE INGENIERÍA DE SISTEMAS E INFORMÁTICA I. INFORMACIÓN GENERAL SILABO 2016 1.1. Nombre de la asignatura SISTEMAS EXPERTOS 1.2. Código SI101 1.3. Año Calendario
Más detallesFACULTAD DE INGENIERÍA INGENIERÍA EN COMPUTACIÓN UNIDAD DE APRENDIZAJE: ANÁLISIS DE LOS LENGUAJES DE PROGRAMACIÓN.
FACULTAD DE INGENIERÍA INGENIERÍA EN COMPUTACIÓN UNIDAD DE APRENDIZAJE: ANÁLISIS DE LOS LENGUAJES DE PROGRAMACIÓN. Créditos institucionales de la UA: 6 Material visual: Diapositivas Unidad de competencia
Más detallesTÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad
TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)
Más detallesPlanificaciones Algoritmos y Programación I. Docente responsable: CARDOZO MARTIN MIGUEL. 1 de 8
Planificaciones 9511 - Algoritmos y Programación I Docente responsable: CARDOZO MARTIN MIGUEL 1 de 8 OBJETIVOS Capacitar al alumno en el diseño y programación documentados de algoritmos y en la elección
Más detallesAC2 - Arquitectura de Computadores II
Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 701 - AC - Departamento de Arquitectura de Computadores Curso: Titulación: 2016 GRADO EN INGENIERÍA INFORMÁTICA
Más detallesUNIVERSIDAD NACIONAL EXPERIMENTAL DE GUAYANA VICERRECTORADO ACADÉMICO COORDINACION DE PRE-GRADO PROYECTO DE CARRERA DE INGENIERIA INDUSTRIAL
VICERRECTORADO ACADÉMICO COORDINACION DE PRE-GRADO PROYECTO DE CARRERA DE INGENIERIA INDUSTRIAL PROGRAMA: PROGRAMACION I CÓDIGO ASIGNATURA: 1215-208 PRE-REQUISITO: 1215-102 SEMESTRE: II (SEGUNDO) UNIDADES
Más detallesSección III CRITERIOS DE DIVISIBILIDAD I (Criterios Habituales)
Sección III CRITERIOS DE I (Criterios Habituales) Las reglas de divisibilidad son criterios que sirven para saber si un número es divisible por otro sin necesidad de realizar la división. Llamaremos criterio
Más detallesANEXO XVII DE LA RESOLUCION N
Hoja 1 de 7 UNIVERSIDAD NACIONAL DE CÓRDOBA Facultad de Ciencias Exactas Físicas y Naturales República Argentina Programa de: Código: Informática Carrera: Materia común Res. Nº Plan: Puntos:3.5 Escuela:
Más detallesGrado en Ingeniería Informática Sistemas de Información Universidad de Alcalá Curso Académico 2015/16 Curso 1º Cuatrimestre 2º
PROGRAMACIÓN Grado en Ingeniería Informática Sistemas de Información Universidad de Alcalá Curso Académico 2015/16 Curso 1º Cuatrimestre 2º GUÍA DOCENTE Nombre de la asignatura: PROGRAMACION Código: 780005
Más detallesGrado en Ingeniería Informática-Tecnologías Informáticas
Curso 1º 1 2060001 Fundamentos de Programación 12 A 1 2060002 Administración de Empresas 6 C1 1 2060003 Cálculo Infinitesimal y Numérico 6 C1 1 2060004 Circuitos Electrónicos Digitales 6 C1 1 2060005 Introducción
Más detallesLenguajes de programación Última modificación 2008/10
Lenguajes de programación Última modificación 2008/10 La Torre de Babel (1563) - Pieter Brueghel el Viejo 2008 Güimi (http://guimi.net) Esta obra está bajo una licencia "Reconocimiento-Compartir bajo la
Más detallesFundamentos de Informática 3. Construcción de Software
2 Contenidos Fundamentos de Informática 3. Construcción de Software - Introducción - - - Diseño -Algoritmos -Diagramas de Flujo -Pseudocódigos - Codificación - Pruebas - Mantenimiento Fundamentos de Informática
Más detallesProgramación Orientada a Objetos
Programación Orientada a Objetos Teoría: Begoña Moros Valle Prácticas: Marcos Menárguez Tortosa Contenido Presentación contenido teórico Presentación contenido práctico Introducción a la Programación Orientada
Más detallesCarrera: SCB 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 - 0422
Más detallesTema: Tipos Abstractos de Datos (TAD s) en C#.
Programación II. Guía No. 12 1 Facultad: Ingeniería Escuela: Computación Asignatura: Programación II Tema: Tipos Abstractos de Datos (TAD s) en C#. Objetivos Comprender el concepto Tipo Abstracto de Datos
Más detallesProgramación Estructurada
Programación Estructurada Código de materia 01 Prof Titular Ing Rafael Brizuela Facultad de tecnología informática UNIVERSIDAD ABIERTA INTERAMERICANA GUÍA DE REPASO CONCEPTUAL PREGUNTAS Unidad 1: Conceptos
Más detallesSYLLABUS de la Asignatura. Programación INF1201
Sazie 2325, 3er Piso, Santiago +56 2 661 8256 SYLLABUS de la Asignatura Programación INF1201 1. Descripción de la asignatura El estudiante aprenderá a analizar un problema y plantear una solución racionalmente,
Más detallesEstructura de datos. Carrera: SCC Participantes
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Estructura de datos Ingeniería en Sistemas Computacionales SCC - 0408 4-2-10 2.-
Más detallesUNIVERSIDAD DE GUADALAJARA
UNIVERSIDAD DE GUADALAJARA CENTRO UNIVERSITARIO DE LOS ALTOS DIVISIÓN DE ESTUDIOS EN FORMACIONES SOCIALES LICENCIATURA: INGENIERÍA EN COMPUTACIÓN UNIDAD DE APRENDIZAJE POR OBJETIVOS TALLER DE SISTEMAS
Más detallesProgramación Orientada a Objetos
Programación Orientada a Objetos Curso 2015/2016 Javier Bermúdez Ruiz Marcos Menárguez Tortosa Begoña Moros Valle http://dis.um.es/docencia/poo Contenido de la presentación Programa de teoría. Programa
Más detallesLógica. Guía de Aprendizaje Información al estudiante. 1. Datos Descriptivos. Departamento responsable. Inteligencia Artificial.
Lógica Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Lógica Matemáticas Inteligencia Artificial Créditos ECTS 6 Carácter Básica Titulación
Más detallesUniversidad de Costa Rica Sistema de Aplicaciones Estudiantiles SAE
Página 1 de 8 Plan de Estudio Enfasis 0 Bloque Común(no hay énfasis) Nivel Curso Nombre del curso T P L TP Cred. Requisitos y Req. Equivalentes Correquisitos y Correq. Equivalentes 1 CI1010 INTRODUCCIÓN
Más detallesUNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ingeniería Aplicada TEÓRICA SERIACIÓN 100% DE OPTATIVAS DISCIPLINARIAS
UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Algoritmo Genéticos ÁREA DE Ingeniería Aplicada CONOCIMIENTO
Más detallesProgramación Orientada a Objetos
Programación Orientada a Objetos Curso 2014/2015 Javier Bermúdez Ruiz Marcos Menárguez Tortosa Begoña Moros Valle http://dis.um.es/docencia/poo Contenido de la presentación Programa de teoría. Programa
Más detallesLAS 14 AREAS TEMATICAS DE LA COMPUTACIÓN
En los años 1986-1989 la ACM(Association for Computing Machinery) y la IEEE (Institute for Electrical and Electronic Engineers)Computer Society : Peter Denning y otros definen la Informática como disciplina
Más detallesPROYECTO DOCENTE ASIGNATURA: "Inteligencia Artificial"
PROYECTO DOCENTE ASIGNATURA: "Inteligencia Artificial" Grupo: Clases Teór. Inteligencia Artificial Grupo 1 ING. COMPUTADORES(961083) Titulacion: Grado en Ingeniería Informática-Ingeniería de Computadores
Más detallesISBPR1: Programación 1
ISBPR1: Programación 1 B2015 Secciones 02 y 04 Prof. Jesús Pérez Escuela de Ingeniería de Sistemas Departamento de Computación Curso: Programación I Tipo: Obligatoria Prelación Ninguna Código: ISBPR1 Ubicación
Más detallesBases de Datos 2. Teórico
Bases de Datos 2 Teórico Modelos de Datos: definición Lenguajes usados para especificar BDs. Un Modelo de Datos permite expresar : Estructuras Objetos de los problemas: Por ejemplo: CURSOS( nro_curso,
Más detallesPROFESIONALES [PRESENCIAL]
SILABO POR ASIGNATURA 1. INFORMACION GENERAL Coordinador: SAQUICELA GALARZA VICTOR HUGO(victor.saquicela@ucuenca.edu.ec) Facultad(es): [FACULTAD DE INGENIERÍA] Escuela: [ESCUELA DE INFORMÁTICA] Carrera(s):
Más detallesTema 5: Procesamiento de lenguaje natural
Programación lógica Curso 2003 04 Tema 5: Procesamiento de lenguaje natural José A. Alonso Jiménez Jose-Antonio.Alonso@cs.us.es http://www.cs.us.es/ jalonso Dpto. de Ciencias de la Computación e Inteligencia
Más detallesProgramación I. Carrera: ECM Participantes Participantes de las academias de ingeniería electrónica de los Institutos Tecnológicos.
.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Programación I Ingeniería Electrónica. ECM-043 3-2- 2.- HISTORIA DEL PROGRAMA Lugar
Más detallesTECNOLÓGICO NACIONAL DE MÉXICO. 1. Datos Generales de la asignatura. Nombre de la asignatura: Clave de la asignatura: SATCA 1 : Carrera:
1. Datos Generales de la asignatura Nombre de la asignatura: Clave de la asignatura: SATCA 1 : Carrera: Manufactura Avanzada CMM-1605 2 4 6 Ingeniería Industrial 2. Presentación Caracterización de la asignatura
Más detalles23/09/2009. Introducción Hello word La familia Buendía Recursión Listas
Prolog Contenido Introducción Hello word La familia Buendía Recursión Listas Qué es Prolog? Lenguaje de programación Declarativo Programación lógica Está compuesto de: Hechos Reglas Declarativo vs Imperativo
Más detallesINDICE Capitulo 1. Introducción a la informática Capitulo 2. La información y su representación
INDICE Prólogo XIII Capitulo 1. Introducción a la informática 1 1.1. Definición y origen de término informática 1 1.2. Elementos y conceptos fundamentales 2 1.3. Esquema básicos de elementos físicos (hardware)
Más detallesTema 1: Introducción. Definiciones. Lógica Computacional. Lógica Computacional. Temas Avanzados en Ingeniería Informática I (Lógica)
Temas Avanzados en Ingeniería Informática I (Lógica) Lógica Computacional La mayoría de las ideas fundamentales de la Tema 1: Introducción ciencia son esencialmente sencillas y, por regla general pueden
Más detallesINTRODUCCION A LA PROGRAMACIÓN ORIENTADA A OBJETOS
INTRODUCCION A LA PROGRAMACIÓN ORIENTADA A OBJETOS Introducción La programación orientada a objetos es un enfoque de programación de los más populares y viene teniendo gran aceptación en el desarrollo
Más detallesUNIVERSIDAD AUTÓNOMA DE CHIAPAS LICENCIATURA EN SISTEMAS COMPUTACIONALES
UNIVERSIDAD AUTÓNOMA DE CHIAPAS LICENCIATURA EN SISTEMAS COMPUTACIONALES Área de formación: Disciplinaria Unidad académica: Interacción Humano-Computadora Ubicación: Octavo Semestre Clave: 2100 Horas semana-mes:
Más detallesConceptos de Algoritmos, Datos y Programas
Conceptos de Algoritmos, Datos y Programas Año 2015 Carreras: Lic. en Informática P2015 Lic. en Sistemas P2015 APU P2015 Año: 1 Duración: Cuatrimestral Coordinador: Ing. Armando De Giusti Profesores: Esp.
Más detallesTema 2. Diseño Modular.
Tema 2. Diseño Modular. E.U. Politécnica Curso 2004-2005 Departamento Lenguajes y Ciencias de la Computación. Universidad de Málaga José Luis Leiva Olivencia. Despacho: I-326D (Edificio E.U.P)/ 3.2.41
Más detallesMÉTODOS DE OPTIMIZACIÓN EN LA GESTIÓN EMPRESARIAL
UNIVERSIDAD DE ALCALÁ DE HENARES Departamento de Fundamentos de Economía e Historia Económica MÉTODOS DE OPTIMIZACIÓN EN LA GESTIÓN EMPRESARIAL (Obligatoria en Ciencias Actuariales, 3er curso, Optativa
Más detallesTema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I
Tema 4: Gramáticas independientes del contexto Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación.
Más detallesCarrera: ECC
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Análisis Numérico Ingeniería Electrónica ECC-00 --.- HISTORIA DEL PROGRAMA Lugar
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO LICENCIADO EN CIENCIAS DE LA COMPUTACIÓN Programa de la asignatura: Modelado y Programación Clave: Semestre: Campo de conocimiento: Área de formación: * 3 Ciencias
Más detallesUNIVERSIDAD NACIONAL DE ITAPUA U.N.I. Creada por Ley Nº:1.009/96 del 03/12/96 Facultad de Ingeniería PROGRAMA DE ESTUDIOS
Materia: Base de Datos Semestre: Cuarto Ciclo: Ingeniería Informática Código: 102 Teóricas: 4 Horas Semanales: Prácticas: - Laboratorio: 2 Horas Semestrales: Teóricas: 68 Pre-Requisitos: Prácticas: - Laboratorio:
Más detallesUNIVERSIDAD AUTONOMA DE QUERETARO Facultad de Informática
PROGRAMACIÓN ORIENTADA A OBJETOS(1602). ÁREA DE CONOCIMIENTO: PROGRAMACIÓN E INGENIERÍA DE SOFTWARE CRÉDITOS: 7 HORAS TEÓRICAS ASIGNADAS A LA SEMANA: 2 HORAS PRÁCTICAS ASIGNADAS A LA SEMANA: 2 PROGRAMAS
Más detallesSistemas Digitales. Diseño lógico con Verilog. Sinopsis. Prólogo.
1 Sistemas Digitales. Diseño lógico con Verilog. Sinopsis. El texto está orientado a un primer curso de diseño lógico en programas de estudios de ingenieros eléctricos, electrónicos, telemáticos y de ciencias
Más detallesMatemática y programación
NI FCC - EI FING UDELAR CES ANEP 2014 Clase 1 Breve historia la ciencia de la computación o informática programación: paradigmas filosóficos en el sistema educativo Este curso Problemas, soluciones, implementaciones
Más detallesUNIVERSIDAD DE GUADALAJARA
UNIVERSIDAD DE GUADALAJARA CENTRO UNIVERSITARIO DE LOS ALTOS DIVISIÓN DE ESTUDIOS EN FORMACIONES SOCIALES LICENCIATURA: INGENIERÍA EN COMPUTACIÓN UNIDAD DE APRENDIZAJE POR OBJETIVOS TALLER DE PROGRAMACIÓN
Más detallesUNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN
UNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN PRINCIPIOS Y TECNICAS DE INTELIGENCIA ARTIFICIAL OBJETIVOS Los objetivos específicos es el estudio
Más detallesANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Programacion web. CURSO ACADÉMICO - SEMESTRE Segundo semestre
ANX-PR/CL/001-02 GUÍA DE APRENDIZAJE ASIGNATURA Programacion web CURSO ACADÉMICO - SEMESTRE 2015-16 - Segundo semestre GA_12AB_123000156_2S_2015-16 Datos Descriptivos Nombre de la Asignatura Titulación
Más detallesGUÍA DOCENTE Estructuras de Datos
GUÍA DOCENTE 2016-2017 Estructuras de Datos 1. Denominación de la asignatura: Estructuras de Datos Titulación Grado en Ingeniería Informática Código 6359 2. Materia o módulo a la que pertenece la asignatura:
Más detallesUn importante problema para sistemas de la nueva generación
Un importante problema para sistemas de la nueva generación J. A. Stankovic, Misconceptions about Real-Time Computing: A Serious Problem for Next Generation Systems, IEEE Computer, October 1988. Manifestar
Más detallesIntroducción a la Computación (para Matemática) Primer Cuatrimestre de 2016
Introducción a la Computación (para Matemática) Primer Cuatrimestre de 2016 Introducción a la Computación (para Matemática) Primer Cuatrimestre de 2016 Docentes: Clase de hoy: Agustín Gravano (Profesor)
Más detalles