Pra cticas de Algoritmia para problemas difı ciles Especialidad en Computacio n, grado en Ingenierı a Informa tica.
|
|
- Francisca Sosa San Segundo
- hace 5 años
- Vistas:
Transcripción
1 Pra cticas de Algoritmia para problemas difı ciles Especialidad en Computacio n, grado en Ingenierı a Informa tica Curso Universidad de Zaragoza Escuela de Ingenierı a y Arquitectura Departamento de Informa tica e Ingenierı a de Sistemas Area de Lenguajes y Sistemas Informa ticos 15 de octubre de 2013
2 Organización general de las prácticas. Se formarán equipos de dos personas. Si una de las dos abandona la asignatura, la otra deberá terminar en solitario. Se dispone hasta el 31 de octubre para indicar al profesor (mediante un mensaje de correo electrónico) los integrantes de cada equipo (apellidos, nombre, NIP, para ambos miembros del equipo). Transcurrido ese plazo, el profesor formará los equipos restantes con las personas sin asignación conocida y se comunicarán tales equipos. Las prácticas se realizarán en el computador hendrix. El lenguaje para la implementación puede ser Java o cualquier otro elegido por el alumno (incluyendo en la documentación todos los detalles necesarios sobre el mismo: versión, compilador, etc). La entrega de la práctica X (X = 1, 2,...) se realizará en hendrix mediante la ejecución de someter apd 13 practicax.tar, siendo la fecha límite una semana antes de la fecha del examen correspondiente a la convocatoria que se presenten los miembros del grupo. Además, habrá que concertar una cita con uno de los profesores para explicar las prácticas: descripción general del programa, elaboración, funcionamiento, demostración, etc. El fichero practicax.tar contendrá un directorio denominado practicax con los ficheros de texto incluyendo: Descripción general del programa: cómo está organizado, qué se puede y qué no se puede hacer (tiene que llamarse LEEME). Contendrá en sus primeras líneas la lista de integrantes del grupo, con el siguiente formato: Apellido1 Apellido2, Nombre [tab] correo@electronico [tab] login en hendrix Apellido1 Apellido2, Nombre [tab] correo@electronico [tab] login en hendrix Donde [tab] representa el carácter tabulador. 1
3 Prácticas de Algoritmia para problemas difíciles 2 Listados del código debidamente comentados y dispuestos para ser compilados y utilizados. Un programa para el shell ejecutarx.sh que automatice la compilación y ejecución de algunos casos de prueba para los programas entregados. Deberá funcionar en hendrix. Los ficheros auxiliares de entrada necesarios para ejecutar las pruebas del punto anterior. En la calificación se tendrán en cuenta los siguientes aspectos: documentación, funcionamiento e implementación. El diseño ha de ser modular, basado en el uso de tipos abstractos de datos, con todas las funciones correctamente especificadas. Las reglas generales de tratamiento de casos de plagio de la asignatura se aplicarán, en particular, a todas las prácticas.
4 Práctica 1 Vamos a desarrollar un SAT solver o resolvedor de SAT que dada una fórmula booleana en CNF diga si es o no satisfacible. Notación: Un literal es una variable booleana afirmada o negada (p. ej. x, y, etc). Una cláusula es una disyunción de literales (p. ej. (x y)). Una fórmula en CNF es una conjunción de cláusulas (p. ej. (x y z) ( z y) ( x)). Una fórmula es satisfacible si existe una asignación de las variables que hace cierta la fórmula (p. ej. (x y z) ( z y) ( x) es satisfacible haciendo falsas las tres variables x, y, z). Se trata del problema SAT visto en clase, y es importante recordar que se trata de un problema NP-completo y que la programación de SAT solvers es un reto en el que trabajan miles de informáticos de primer nivel. Por tanto hay que tener en cuenta lo siguiente Cualquier fragmento de código o idea para el que se utilicen fuentes externas debe ser identificado y dichas fuentes citadas. En la práctica hay que hacer como mínimo lo que se especifica a continuación, pero la tarea completa no está limitada, por lo tanto los más ambiciosos pueden necesitar fijarse un límite personal Qué hay que hacer? Hacer un programa que resuelva SAT en todos los casos, separando al menos los siguientes: 1. Las fórmulas en las que todas las cláusulas tengan 1 ó 2 literales (es decir, 2-SAT permitiendo cláusulas de un solo literal). 2. Las fórmulas en las que todas las cláusulas son de Horn (Horn-SAT), es decir, cada cláusula tiene como máximo un literal afirmado (y el resto negados). Por ejemplo cláusulas como ( x 1 x 2 x 3 x 4 y). En los casos 1. y 2. anteriores el programa debe funcionar eficientemente (en tiempo polinómico). Los métodos a utilizar son: 1. Cualquiera de los algoritmos conocidos para 2-SAT, por ejemplo el de Krom que se basa en a) simplificar las cláusulas de un solo literal y asignar las variables que sólo aparecen 3
5 Prácticas de Algoritmia para problemas difíciles 4 afirmadas (o sólo negadas) en la fórmula, y b) combinar cláusulas de la forma (a b) y ( b c) en una sola (a c). 2. El algoritmo de Unit propagation para Horn-SAT. Dicho algoritmo consiste en simplificar empezando por una cláusula de un solo literal l: se asigna la variable para hacer l cierto y se simplifican el resto de las cláusulas que contienen l ó l (si una cláusula contiene l se elimina la cláusula, si contiene l se borra l de dicha cláusula). Si no existen cláusulas de un solo literal, entonces la fórmula de Horn es satisfacible haciendo falsas todas las variables. En el resto de los casos, el programa debe realizar al menos un backtracking inteligente (es decir, con alguna poda o heurística mínima) siendo recomendable (no obligatorio) implementar al menos uno de los dos siguientes algoritmos: DPLL (Davis Putnam Logemann Loveland) consistente en backtracking, WalkSAT (heurística consistente en asignar las variables en orden aleatorio, si no funciona se cambia el valor de una variable (elegida aleatoriamente o vorazmente para minimizar el número de cláusulas falsas)). Pueden utilizarse otros algoritmos que mejoren DPLL y WalkSAT o cualquier otra idea propia o ajena. El programa se llamará SATsolver y tendrá al menos las siguientes opciones: 1. Leer la fórmula en CNF de un fichero de texto que utilice + como disyunción, como conjunción, como negación y nombres de variables que contengan como mucho letras, números y, comenzando siempre por letra. La fórmula puede ocupar varias líneas. Ejemplo de entrada: (y + z + t2) ( y + z) (y + r + a 5) 2. Introducir la fórmula por medio de un menú explicativo. 3. Decir si la fórmula es o no satisfacible. 4. Decir si se trata de una fórmula 2-SAT o de Horn Entrega Deberá entregarse una semana antes de la fecha del examen.
Prueba de teoremas Fórmula a. Fórmula b. Chequeo de modelos. Construcción de modelos 20/04/2010. Prueba de teoremas (Theorem provers)
Razonamiento automático Técnicas Prueba de teoremas (Theorem provers) Chequeo de modelos (odel checkers) Constructores de modelos (odel builders) Basado en: Logic in Computer Science, Hunt & Ryan Símbolos
Procesadores de lenguajes Ingeniería Informática Especialidad de Computación Tercer curso, segundo cuatrimestre
Procesadores de lenguajes Ingeniería Informática Especialidad de Computación Tercer curso, segundo cuatrimestre Escuela Politécnica Superior de Córdoba Universidad de Córdoba Curso académico: 2016-2017
1. Enunciado. 2. Trabajo del alumno
1. Enunciado El problema de las ocho reinas consiste en situar ocho reinas en un tablero de ajedrez de forma que ninguna de ellas ataque a otra. Una solución clásica consiste en generar todas las posiciones
APELLIDOS, Nombre: // Resto de s e r v i c i o s p ú b l i c o s e n t r e l o s que s e e n c u e n t r a n i n s e r t a r y // b o r r a r //...
APELLIDOS, Nombre: N o Matrícula: U.P.M. E.T.S.I.Inf Departamento de Lenguajes y Sistemas Informáticos e Ingeniería del Software. Examen de Programación II. 27 de Marzo de 2014. Primer parcial. Realización:
Tema 4: Lógicas Informática (Tecnologías Informáticas) Curso Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla
Tema 4: Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógicas Informática (Tecnologías Informáticas) Curso 2017 18 Contenido Presentaremos un algoritmo más para estudiar
Un tercer problema NP-completo: Programación entera
Un tercer problema NP-completo: Programación entera Un problema muy estudiado por su utilidad práctica: PROG-ENT = {(A, b) A x b es un sistema de ecuaciones lineales enteras que tiene solución}. Teorema
Tema 3: Algoritmos para SAT: Tableros y algoritmo DPLL
Tema 3: : y DPLL Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógicas Informática (Tecnologías Informáticas) Curso 2016 17 Contenido Presentaremos dos s para estudiar
Procesadores de lenguajes Ingeniería Informática Especialidad de Computación Tercer curso, segundo cuatrimestre
Procesadores de lenguajes Ingeniería Informática Especialidad de Computación Tercer curso, segundo cuatrimestre Escuela Politécnica Superior de Córdoba Universidad de Córdoba Curso académico: 2013-2014
LABORATORIO DE GESTIÓN DE REDES (I)
UNIVERSIDADE DA CORUÑA Departamento de Tecnoloxías da Información e as Comunicacións LABORATORIO DE GESTIÓN DE REDES (I) 1. PRESENTACIÓN El laboratorio de Gestión de Redes constará de un conjunto de prácticas
Herramientas. 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina
1 Sergio Mera 1 1 FormaLex, Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina Introducción al Análisis Formal de Normas Legales, segundo cuatrimestre de 2014 (2)
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES TRABAJO DE PRÁCTICAS. Convocatoria de junio de 2013
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Ingeniería Técnica en Informática de Sistemas Segundo curso Departamento de Informática y Análisis Numérico Escuela Politécnica Superior Universidad de Córdoba
Prof. María Alejandra Quintero. Informática Año
Prof. María Alejandra Quintero Informática Año 2014-2015 Es la acción de escribir programas de computación con el objetivo de resolver un determinado problema. Implica escribir instrucciones para indicarle
NPC. Más problemas NP-Completos. Complexity D.Moshkovitz
NPC Más problemas NP-Completos Introducción Objetivos: - Introducir más NP-Completos. Resumen: 3SAT CLIQUE INDEPENDENT-SET 2 Método Cómo demostramos que un problema está en NPC? Primero probamos que el
PALABRA CLAVE Interpretación lógica
Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos
Intención didáctica Éste programa de estudio se sugiere que contenga una parte teórica y práctica. Por tanto se diseñó cinco unidades.
1.- DATOS DE LA ASIGNATURA: Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas prácticacréditos: Lenguaje de Programación Ingeniería Mecatrónica SRD-1005 2-3 - 5 2.- PRESENTACIÓN
Tema 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
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA ELECTRÓNICA INDUSTRIAL. Curso 2015/16. Asignatura: FUNDAMENTOS DE INFORMÁTICA
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA ELECTRÓNICA INDUSTRIAL Asignatura: DATOS DE LA ASIGNATURA Denominación: Código: 101332 Plan de estudios: GRADO DE INGENIERÍA ELECTRÓNICA INDUSTRIAL
Algoritmia Básica. Javier Campos (teoría y problemas) Simona Bernardi (prácticas)
Javier Campos jcampos@unizar.es (teoría y problemas) Simona Bernardi simonab@unizar.es (prácticas) Características: Asignatura obligatoria de la Especialidad en Computación Créditos: 6 (3 horas semanales
PRÁCTICA. Estructura de Computadores Grado en Ingeniería Informática Estudios de Informática, Multimedia y Telecomunicación
PRÁCTICA Estructura de Computadores Grado en Ingeniería Informática 2014-02 Estudios de Informática, Multimedia y Telecomunicación Presentación La práctica que se describe a continuación es una práctica
GUÍA DOCENTE ABREVIADA DE LA ASIGNATURA
GUÍA DOCENTE ABREVIADA DE LA ASIGNATURA G40 - Programación Grado en Física Curso Académico 2016-2017 1. DATOS IDENTIFICATIVOS Título/s Grado en Física Tipología Obligatoria. Curso 1 y Curso Centro Módulo
Prácticas de Lenguajes, Gramáticas y Autómatas
Prácticas de Lenguajes, Gramáticas y Autómatas Cuarto cuatrimestre (primavera) de Ingeniería en Informática Curso 2004-2005 http://webdiis.unizar.es/asignaturas/lga Profesor Responsable: Rubén Béjar Hernández
SISTEMAS 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
Práctica Junio. COMPUTADORES. EUITIG. Curso
Computadores Práctica Junio Curso 001-00 Juego de TRES en RAYA Descripción del problema Se debe desarrollar un programa C para jugar contra el ordenador a Tres en Raya en un tablero de 3x3. El desarrollo
Inteligencia Artificial (IS). Curso Trabajo sobre Inferencia en Redes Bayesianas
Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Inteligencia Artificial (IS). Curso 2016-17 Trabajo sobre Inferencia en Redes Bayesianas Esta propuesta pretende construir
Práctica 4 Análisis LALR para milenguaje y construcción de un traductor de milenguaje
Práctica 4 Análisis LALR para milenguaje y construcción de un traductor de milenguaje 1. Objetivos 1. Hacer una introducción práctica a la traducción dirigida por la sintaxis basada en el análisis LALR
PROGRAMA: COMPUTACION I
UNIVERSIDAD NACIONAL EXPERIMENTAL DEL TACHIRA VICERECTORADO ACADÉMICO DECANATO DE DOCENCIA DEPARTAMENTO DE INGENIERÍA INFORMÁTICA 1 PROGRAMA: COMPUTACION I Código 0415102T Carrera: Ingeniería Informática
Teoría de los Lenguajes de Programación Práctica curso Enunciado. Fernando López Ostenero y Ana García Serrano
Teoría de los Lenguajes de Programación Práctica curso 2015-2016 Enunciado Fernando López Ostenero y Ana García Serrano Sumario 1. Introducción: Skyline de una ciudad...3 2. Enunciado de la práctica...3
Estructuras de Datos y Algoritmos. Curso 2018/19
Estructuras de Datos y Algoritmos (Grado en Ingeniería Informática) Javier Campos Curso 2018/19 Presentación 1.- Profesorado y recursos web 2.- Directrices generales y créditos 3.- Relaciones con otras
Prácticas de Programación Práctica 1
Prácticas de Programación Práctica 1 Formato y fecha de entrega La entrega debe hacerse en el apartado Entregas y registro de EC del aula de teoría, antes del día 3 d abril de 2017 a les 23:55. Se debe
Práctica 2 de la Asignatura Programación y Estructuras de Datos Avanzadas Versión 1.0
Práctica 2 de la Asignatura Programación y Estructuras de Datos Avanzadas Versión 1.0 Escuela Técnica Superior de Ingeniería Informática UNED Curso 2016-2017 2 1.- ENUNCIADO DE LA PRÁCTICA: Las ocho reinas
SEGUNDA PRÁCTICA. Programación Curso Ingeniería en Informática Universidad Carlos III de Madrid
SEGUNDA PRÁCTICA Programación Curso 2006-2007 Ingeniería en Informática Universidad Carlos III de Madrid 1. Instrucciones generales Durante este curso se deberán realizar tres prácticas, cuyas fechas de
Programación Lógica: Satisfiability Modulo Theory (SMT)
Programación Lógica: Satisfiability Modulo Theory (SMT) Guillaume Hoffmann 2017-08-29 Satisfiability Modulo Theory (SMT) Ciertos problemas se expresan mejor en otros lenguajes que lógica proposicional
Tema: Funciones Virtuales y Polimorfismo.
POO104. Guía No. 10 1 Facultad: Ingeniería Escuela: Computación Asignatura: Programación Orientada a Objetos Tema: Funciones Virtuales y Polimorfismo. Materiales y Equipo Computadora con el software C
GENERACIÓN DE EXÁMENES TIPO TEST
PRÁCTICA Nº 5: 2 sesiones (S6: 25 de abril, 3, 4, 5 y 6 de mayo) (S7: 9, 10, 11, 12 y 13 de mayo) 0. OBJETIVOS GENERACIÓN DE EXÁMENES TIPO TEST a. Familiarizarse con el uso de listas con punto de interés.
Práctica 2. TIPOS DE DATOS SIMPLES
Práctica 2. TIPOS DE DATOS SIMPLES 1 sesión Semana: 15 de octubre OBJETIVOS: Conocer los distintos tipos de datos simples y su correcta utilización en la construcción de algoritmos Formular expresiones
Caminos. Sobre los problemas de encontrar caminos en grafos. Complexity D.Moshkovitz
Caminos Sobre los problemas de encontrar caminos en grafos 1 Introdución Objetivos: Introducir más problemas sobre grafos. Resumen: Caminos Hamiltonianos Caminos Eulerianos 2 Camino Hamiltoniano Entrada:
Examen de prácticas de Programación 1
Examen de prácticas de Programación Escuela de Ingeniería y Arquitectura Departamento de Informática e Ingeniería de Sistemas 3 de agosto de 0 Tiempo para realizar el trabajo de programación propuesto:
BOLETÍN OFICIAL DEL ESTADO UNIVERSIDADES
Núm. 25 Martes 29 de enero de 2019 Sec. III. Pág. 8060 III. OTRAS DISPOSICIONES UNIVERSIDADES 1101 Resolución de 19 de diciembre de 2018, de la Universidad de las Illes Balears, por la que se publica la
Metodología y Tecnología de la Programación. I.T. Informática de Gestión
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA PROGRAMAS, MÉTODOS Y CRITERIOS DE EVALUACIÓN A APLICAR DURANTE EL PROCESO DE EXTINCIÓN DEL PLAN 1999 Metodología y Tecnología de la Programación I.T. Informática
Universidad Autónoma de Nayarit Área Económico-Administrativa Licenciatura en Informática
Universidad Autónoma de Nayarit Área Económico-Administrativa Licenciatura en Informática 1. DATOS DE IDENTIFICACIÓN NOMBRE Y CLAVE DE LA UNIDAD DE APRENDIZAJE Análisis y Diseño de Algoritmos DOCENTE(S)
Práctica 4: Interfaces Gráficas de Usuario en Java
Práctica 4: Interfaces Gráficas de Usuario en Java Asignatura:Ingeniería del Software-II Curso:2009/2010 Francisco José Berlanga Dpto. de Informática e Ingeniería de Sistemas, Universidad de Zaragoza berlanga@unizar.es
Concurrencia Prácticas 1 y 2
Concurrencia Prácticas 1 y 2 Grado en Ingeniería Informática/ Grado en Matemáticas e Informática/ 2ble. grado en Ing. Informática y ADE Convocatoria de Semestre feb jun 2017 2018 Normas La fecha límite
Práctica 1 de la Asignatura Programación y Estructuras de Datos Avanzadas Versión 1.1
Práctica 1 de la Asignatura Programación y Estructuras de Datos Avanzadas Versión 1.1 Escuela Técnica Superior de Ingeniería Informática UNED Curso 2016-2017 2 1.- ENUNCIADO DE LA PRÁCTICA: Multiplicación
Mientras duerme, el barbero espera a ser despertado por un nuevo cliente.
1. Enunciado Tres barberos trabajan en una barbería. La barbería cuenta con tres sillones de barbero, cada uno asignado a uno de los barberos. Cada barbero desarrolla el siguiente plan de trabajo: El barbero
TUTORIAL PSEINT. Ing. Ronald Rentería Ayquipa. Fundamentos de Programación
TUTORIAL PSEINT Ing. Ronald Rentería Ayquipa Fundamentos de Programación PSEINT Página Oficial: http://pseint.sourceforge.net/ Es un software que interpreta pseudocódigo. Permite la generación de diagramas
Problemas NP-completos
Análisis de Algoritmos Problemas NP-completos Dra. Elisa Schaeffer elisa.schaeffer@gmail.com PISIS / FIME / UANL Problemas NP-completos p. 1 Problemas NP-completos La clase NP contiene numerosos problemas
TEMARIO. - Programa de teoría
Año académico: 2.006-07 Centro: Escuela Politécnica Superior Estudios: Ingeniería Técnica en Informática de Gestión Asignatura: Estructuras de Datos y Algoritmos Ciclo: 1º Curso: 2º Cuatrimestre: 1º Carácter:
Teoría de la Computación
Teoría de la Computación Grado en Ingeniería Informática Prácticas de Laboratorio Profesor: Gregorio de Miguel Casado * email: gmiguel@unizar.es Dpto. de Informática e Ingeniería de Sistemas Escuela de
Diseño estructurado de algoritmos. Sesión 8: Estructuras Algorítmicas
Diseño estructurado de algoritmos Sesión 8: Estructuras Algorítmicas Contextualización A qué crees se refiere el término estructura? Como recordaremos, un algoritmo puede ser aplicado en todo, con el único
CURSO DE INGRESO ASIGNATURA Introducción a la Informática
CURSO DE INGRESO 2013 ASIGNATURA Introducción a la Informática FACULTAD DE INFORMATICA - FACULTAD DE INGENIERIA UNLP Introducción Qué voy a aprender al leer este material? Cómo tengo que estudiar con este
Trabajo Práctico 5 Estructura Repetitiva
Trabajo Práctico 5 Estructura Repetitiva Los ejercicios para resolver y enviar por los alumnos son los que están con letra negrita los mismos deben ser enviados en un archivo zip por medio de la página
Estructuras de Datos y Algoritmos. Curso 2017/18
Estructuras de Datos y Algoritmos (Grado en Ingeniería Informática) Javier Campos Curso 2017/18 Presentación 1.- Profesorado y servidor web 2.- Directrices generales y créditos 3.- Relaciones con otras
TEORÍA DE AUTÓMATAS Y LENGUAJES
2010/2011 INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Enunciado de prácticas Lex y Yacc Enunciado de la práctica El objetivo de la práctica de esta asignatura
Asignatura: Introducción a la Programación Código: Año académico: 2007/2008 Centro:
Asignatura: Introducción a la Programación Código: 41001106 Año académico: 2007/2008 Centro: Escuela Politécnica Departamento: Lenguajes y Computación Área: Lenguajes y Sistemas Informáticos Titulación:
GRADO EN INGENIERIA INFORMATICA
EXAMENES PRIMER SEMESTRE GII 1 FUNDAMENTOS DEONT. Y JURIDICOS DE LAS TIC 1C viernes, 16 de enero de 2015 9:00 51-A1 GII 1 ALGEBRA LINEAL (PRACTICO) 1C martes, 20 de enero de 2015 16:00 Aula Inf. Dpto.
DISEÑO DE UNA METODOLOGÍA DOCENTE
DISEÑO DE UNA METODOLOGÍA DOCENTE PARA DOS ASIGNATURAS DE PROGRAMACIÓN BASADA EXCLUSIVAMENTE EN LA EVALUACIÓN AUTOMÁTICA DE PROGRAMAS COORDINADOR: Adolfo Rodríguez de Soto ÁREAS DE CONOCIMIENTO: Ciencias
BOLETÍN OFICIAL DE LA RIOJA. III.Otras disposiciones y actos
Lunes, 28 de mayo de 2018 Página 7215 III.Otras disposiciones y actos UNIVERSIDAD INTERNACIONAL DE LA RIOJA Resolución de 11 de julio de 2016, de la Universidad Internacional de La Rioja, por la que se
CIENCIA DE LA COMPUTACION
CIENCIA DE LA COMPUTACION Docentes Profesor: Alejandro Rozenfeld Jefe de trabajos prácticos: Andrea L. Riera Sebastián Villar Ayudantes diplomados: Fabio Bucciarelli Marcelo Marchioni Ayudante Alumno:
DESCRIPCIÓN DE LA ASIGNATURA
DESCRIPCIÓN DE LA ASIGNATURA ASIGNATURA: Nombre en Inglés: INDUSTRIAL COMPUTER SYSTEMS Código UPM: 565000173 MATERIA: INFORMÁTICA INDUSTRIAL CRÉDITOS ECTS: 7.5 CARÁCTER: MATERIA DE TECNOLOGÍA ESPECÍFICA
PROGRAMA DE ESTUDIO Área de Formación :
PROGRAMA DE ESTUDIO Programa Educativo: Área de Formación : Licenciatura en Sistemas Computacionales General Algoritmos y programación Horas teóricas: 2 Horas prácticas: 4 Total de Horas: 6 Total de créditos:
Tecnologías en la Educación Matemática
Tecnologías en la Educación Matemática Datos, Expresiones, Condicionales y Repetición Dpto. de Ciencias e Ingeniería de la Computación UNIVERSIDAD NACIONAL DEL SUR 1 Datos Los algoritmos combinan datos
Paradigma lógico Lógica proposicional Resolución. Programación Lógica. Eduardo Bonelli. Departamento de Computación FCEyN UBA. 10 de octubre, 2006
Departamento de Computación FCEyN UBA 10 de octubre, 2006 Prolog Se basa en el uso de la lógica como un lenguaje de programación Se especifican ciertos hechos y reglas de inferencia un objetivo ( goal
Componentes Básicos. InCo. InCo Componentes Básicos 1 / 28
Componentes Básicos InCo InCo Componentes Básicos 1 / 28 Modelo de Computación Vemos al computador como un procesador de datos. +------------+ Entrada ===> Computador ===> Salida +------------+ InCo Componentes
Guía docente de la asignatura
Guía docente de la asignatura Asignatura Materia Módulo Titulación ANÁLISIS Y DISEÑO DE ALGORITMOS INGENIERÍA DE SOFTWARE TECNOLOGÍAS ESPECÍFICAS GRADO EN INGENIERÍA INFORMÁTICA Plan 545 46920 Periodo
roducción a la programación con el lenguaje C usando el entorno de trabajo Dev-C. Nociones básicas de programación
There are no translations available. Introducción a la programación con el lenguaje C usando el entorno de trabajo Dev-C. roducción a la programación con el lenguaje C usando el entorno de trabajo Dev-C.
Grupos y Agrupamientos
Grupos y Agrupamientos 1.9 Por Maryel Mendiola Para poder crear Agrupamientos, debe estar habilitada esta opción en la administrador del sitio (solo el administrador del Moodle puede hacerlo): Una vez
Grado en Ingeniería Telemática Universidad de Alcalá 2013/2014 3º Curso 5º Cuatrimestre
Programación Avanzada Grado en Ingeniería Telemática Universidad de Alcalá 2013/2014 3º Curso 5º Cuatrimestre GUÍA DOCENTE Nombre de la asignatura: Programación Avanzada Código: 380001 Titulación en la
Prof. Dr. Paul Bustamante
Nombre: Carné: Examen C++ - Junio Informática II Fundamentos de Programación Prof. Dr. Paul Bustamante Examen Junio Grupo A Programación en C++ Pág. 2 Examen Grupo A Programación en C++ Pág. 1 ÍNDICE ÍNDICE...
Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos:
Tipos de datos. Dato: Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos: I Numéricos: Almacenan números y con
Programación en Mathematica
UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Dpto. de Matemáticas (Área de Álgebra) Curso 2004/05 PRÁCTICA Nº3 Programación en Mathematica Mathematica no sólo es un paquete de cálculo simbólico en
FACULTAD DE CIENCIAS MATEMÁTICAS
1. ORDEN DE MATRÍCULA GRADOS Se establece siguiendo el orden alfabético según la letra inicial del primer apellido (excluyendo artículos, conjunciones, preposiciones, etc.), comenzando por la letra Ñ (en
Modelos de Desarrollo de Programas Y Programación Concurrente Clase N 3: 3 - Paradigmas de Programación
3 - Paradigmas de Programación En los inicios los lenguajes de programación imitaron y abstrajeron las operaciones de una computadora, lo cual trajo aparejado que el tipo de computadora para el cual fueron
3-Coloring es NP-Completo
3-Coloring es NP-Completo Lic. Luis Miguel Prado Llanes Posgrado en Ingeniería de Sistemas Universidad Autónoma de Nuevo León 26 de mayo de 2008 Prado Llanes (PISIS) 3-Coloring 26.05.2008 1 / 36 Contenido
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA ELECTRÓNICA INDUSTRIAL. Curso 2016/17. Asignatura: FUNDAMENTOS DE INFORMÁTICA
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA ELECTRÓNICA INDUSTRIAL Asignatura: DENOMINACIÓN DE LA ASIGNATURA Denominación: Código: 101332 Plan de estudios: GRADO DE INGENIERÍA ELECTRÓNICA
UNIDAD ACADÉMICA PROFESIONAL TIANGUISTENCO
UNIDAD ACADÉMICA PROFESIONAL TIANGUISTENCO LICENCIATURA EN INGENIERÍA DE SOFTWARE UNIDAD DE APRENDIZAJE: ALGORÍTMICA Créditos institucionales de la UA: 5 Material visual: Diapositivas Unidad de competencia
SAT. Una herramienta didáctica para el problema de la satisfacibilidad
SAT. Una herramienta didáctica para el problema de la satisfacibilidad Tomás Covelli, Enzo Nicolás Horquín, Martín Santillán Cooper Resumen. La herramienta SAT fue creada como trabajo final de dos materias
PROGRAMA DE CURSO. Escuela de Ingeniería de Sistemas y Computación Universidad del Valle Santiago de Cali, Colombia. Febrero 2007
PROGRAMA DE CURSO Escuela de Ingeniería de Sistemas y Computación Universidad del Valle Santiago de Cali, Colombia Febrero 2007 Curso: ALGORITMIA Y PROGRAMACIÓN Código: 750001M Modalidad: Presencial Teórico
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA MECÁNICA. Curso 2016/17. Asignatura: FUNDAMENTOS DE INFORMÁTICA
ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA GRADO DE INGENIERÍA MECÁNICA Asignatura: DENOMINACIÓN DE LA ASIGNATURA Denominación: Código: 101232 Plan de estudios: GRADO DE INGENIERÍA MECÁNICA Curso: 1 Denominación
EXPRESIONES Y OPERADORES
EXPRESIONES Y OPERADORES Una expresión es un conjunto de operandos y operadores cuyo resultado puede ser evaluado. Las expresiones constituyen la base de cualquier aplicación y se construyen agrupando
GUÍA DE APRENDIZAJE SISTEMAS OPERATIVOS
GUÍA DE APRENDIZAJE SISTEMAS OPERATIVOS GRADO EN INGENIERIA DE COMPUTADORES Datos Descriptivos CENTRO RESPONSABLE: E.U. DE INFORMATICA OTROS CENTROS IMPLICADOS: CICLO: Grado sin atribuciones MÓDULO: MATERIA:
Programa Regular. conocimientos generales acerca de la Ingeniería de Software. Se aplicaran los
Programa Regular Asignatura: Ingeniería de Software I Carrera/s: Ingenieria en informática Ciclo lectivo: 2017 Docente/s: Esp. Lic. Sergio Daniel Conde Carga horaria semanal: 5 Horas, Semanales. Tipo de
Algoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º SEMINARIO DE C++ Sesión 1
Algoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º SEMINARIO DE C++ Sesión 1 Contenidos: 1. Características generales de C++ 2. Entrada/salida estándar 3. Variables y tipos de datos
Proposicionales. Curso Mari Carmen Suárez de Figueroa Baonza
Estandarización de Fórmulas Proposicionales Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción a la demostración automática Estandarización de fórmulas Formas
Seminario 1: Documento de Especificación de Requisitos. Laboratorio de Programación Curso 2006/2007 Impartido por: Fran Ruiz
Seminario 1: Documento de Especificación de Requisitos Laboratorio de Programación Curso 2006/2007 Impartido por: Fran Ruiz Contenido Introducción Contexto Justificación Objetivos Documento de Especificación
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE INGENIERIÍA DEPARTAMENTO DE CONSTRUCCIONES Y ESTRUCTURAS
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE INGENIERIÍA DEPARTAMENTO DE CONSTRUCCIONES Y ESTRUCTURAS 1. OBJETIVO DE LA MATERIA REGLAMENTO DE LA MATERIA TRABAJO PROFESIONAL DE INGENIERÍA CIVIL (74-99) La Materia
ACTIVIDAD CURRICULAR DE FORMACIÓN
ACTIVIDAD CURRICULAR DE FORMACIÓN Facultad o Instituto : Ciencias de la Ingeniería Carrera : Ingeniería Civil Informática I. IDENTIFICACIÓN DE LA ACTIVIDAD CURRICULAR Nombre : Diseño y Análisis de Algoritmos
UNIVERSIDAD DE GUADALAJARA
1. DATOS GENERALES DE LA UNIDAD DE APRENDIZAJE (UA) O ASIGNATURA Nombre de la Unidad de Aprendizaje (UA) o Asignatura Clave de la UA Algoritmia I9878 Modalidad de la UA Tipo de UA Área de formación Valor
Programación 1. Trabajo obligatorio. Curso
Programación 1. Trabajo obligatorio. Curso 2017-18 El objetivo de este trabajo, que cada alumno debe realizar individualmente, es doble: Diseñar y poner a punto un módulo de biblioteca denominado grupo
Práctica 2 de IA /2012. LÓGICA Fecha publicación: 26 de octubre de 2011 Duración: 3 sesiones de laboratorio Versión: 2011/10/26
Práctica 2 de IA - 2011/2012. LÓGICA Fecha publicación: 26 de octubre de 2011 Duración: 3 sesiones de laboratorio Versión: 2011/10/26 Forward y backward chaining en lógica proposicional En la práctica
Programa de la asignatura Curso: 2006 / 2007 ALGORITMIA (4456)
Programa de la asignatura Curso: 2006 / 2007 ALGORITMIA (4456) PROFESORADO Profesor/es: ANTONIO EDUARDO RENEDO MENA - correo-e: arenedo@ubu.es FICHA TÉCNICA Titulación: INGENIERÍA EN INFORMÁTICA Centro:
ANÁLISIS Y DISEÑO ORIENTADO A OBJETOS
ANÁLISIS Y DISEÑO ORIENTADO A OBJETOS OBJETIVOS GENERALES Analizar, Diseñar e Implementar Sistemas Computacionales utilizando el Paradigma de la Orientación a Objetos a través del conocimiento de su sustentación
Lógica Proposicional: Deducciones formales
Lógica Proposicional: Deducciones formales Pablo Barceló P. Barceló Resolución Proposicional - CC52A 1 / 24 La noción de consecuencia lógica La noción de consecuencia es fundamental para cualquier lenguaje,
ANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Programacion de sistemas. CURSO ACADÉMICO - SEMESTRE Segundo semestre
ANX-PR/CL/001-01 GUÍA DE APRENDIZAJE ASIGNATURA Programacion de sistemas CURSO ACADÉMICO - SEMESTRE 2016-17 - Segundo semestre GA_05TI_55000101_2S_2016-17 Datos Descriptivos Nombre de la Asignatura Titulación
ALGORITMOS II PSEUDOCODIGOS INTRODUCCION AL PSEINT CORPODICES VICTOR ANDRES OCHOA CORREA
ALGORITMOS II PSEUDOCODIGOS INTRODUCCION AL PSEINT CORPODICES VICTOR ANDRES OCHOA CORREA CONTENIDOS Definición de un algoritmo Tipos de datos Representaciones de un algoritmo Lenguaje natural Pseudocódigo