Lógica de protocolos incondicionalmente seguros

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

Download "Lógica de protocolos incondicionalmente seguros"

Transcripción

1 Lógica de protocolos incondicionalmente seguros Proyecto de Excelencia, convocatoria 2008 Memoria Científico-Técnica Resumen. En este proyecto proponemos analizar y diseñar protocolos de seguridad para agentes computacionalmente ilimitados que usan métodos y herramientas lógicas. Tales protocolos pueden ser especificados y sus propiedades verificadas con lenguajes e instrumentos lógicos. Proponemos el uso de lógicas epistémicas dinámicas, que autorizan a razonar sobre conocimiento estático y propiedades de creencia, en un marco multiagente donde también podemos expresar lo que conocen los agentes sobre otros agentes; pero estas lógicas también permiten razonar sobre propiedades de sistemas dinámicos, por ejemplo, las postcondiciones de conocimiento de protocolos. Los propios protocolos pueden ser descritos en tales lógicas. Por otra parte, aplicaremos resultados de los estudios lógicos de la abducción e incorporaremos en protocolos los métodos de expansión y revisión abductiva. Un resultado final debería ser, de un lado, protocolos mejor diseñados, análisis y valoración de protocolos de seguridad, posible invalidación de protocolos que habían sido pensados como seguros (de particular interés es si protocolos de longitud variable pueden ser atacados sobre bases de teoría de juegos), y creciente mejora en dinámica de la información en general. De otro, consecuencias y repercusiones de orden teórico y conceptual, en lógica dinámica, epistemología y aplicaciones de la abducción y sus implicaciones filosóficas, así como de orden institucional y formativo, con la consolidación de un núcleo de investigadores en lógica y sus aplicaciones altamente competitivo y equiparable a los de las mejores universidades del mundo, captando el interés de empresas en estas investigaciones. 1. Antecedentes del proyecto 1.1. Introducción El estudio y comprensión de protocolos incondicionalmente seguros representa una gran ayuda para una mejor elaboración de protocolos condicionalmente seguros, de la misma manera que la lógica, en general, viene a constituir una buena herramienta de ayuda para la mejora del razonamiento ordinario y de sentido común. Merece la pena fijar la atención en tales aspectos de seguridad incondicional, para lo cual podemos integrar la fuerza de nuestro equipo de investigación en los estudios de lógica y lenguaje. Este proyecto se plantea con un fuerte carácter multidisciplinar (véase más abajo) a partir de los cuatro campos siguientes: 1. Protocolos incondicionalmente seguros 1

2 2. Lógica epistémica dinámica 3. Verificación de modelos 1 4. Abducción 1.2. Protocolos incondicionalmente seguros Los protocolos criptográficos son usados por agentes que se comunican para transmitir y compartir bits de información supuestamente secreta. A partir de los años 80, se han venido empleando métodos formales y lógicos para especificar o validar protocolos de seguridad así como otras técnicas criptográficas. Existen varias líneas de investigación, con cierto solapamiento entre ellas, que realizan este tipo de análisis basado en la información. Un punto de referencia importante es la lógica de autenticación de Burrows, Abadi and Needham (abreviadamente lógica BAN ) [7] que propone una especificación lógica de los protocolos de seguridad para poder investigar sus propiedades. Este enfoque ha sido complementado con varias investigaciones recientes [22, 2, 19, 8]. En los protocolos de comocimiento-cero, un emisor/demostrador revela a un receptor/verificador cierto conocimiento sobre un secreto, sin revelar el propio secreto [12]. Así, sólo un receptor que ya conozca el secreto sabrá ahora que el emisor lo conoce también. Se puede encontrar una propuesta reciente con fuerte orientación lógica en [26]. A partir de la noción de envite en el juego del Bridge, se ha investigado cómo los agentes que comparten información en un sistema cerrado pueden compartir bits secretos, o realizar computaciones semipúblicas con tales bits de un modo de asegurar la confidencialidad (bits confidenciales) bajo diferentes restricciones comunicativas. Cuando hay más de dos jugadores, otros jugadores pueden hacer de fisgones. Esto ha sido objeto de diversas investigaciones sobre barajas y mezclas de cartas [9, 17, 3, 29, 25, 5]. Especialmente la tercera de estas líneas de investigación se centra en agentes computacionalmente ilimitados, también conocidos como agentes perfectamente lógicos o racionales. Un tema habitual en el análisis de protocolos basados en información es que los protocolos deben funcionar para tales agentes computacionalmente ilimitados. Para ello, cobra sentido obtener especificaciones lógicas formales del flujo de información [16]. Podemos comparar los protocolos incondicionalmente seguros con los protocolos condicionalmente seguros. En estos últimos, la gran complejidad computacional de algún aspecto del protocolo es parte esencial del mismo. Los protocolos condicionalmente seguros aprovechan las limitaciones computacionales de 1 Traducimos así la expresión Model checking comúnmente utilizada en la literatura. 2

3 los agentes racionales reales. Por ejemplo, un aspecto computacional bien conocido es la gran complejidad de la factorización en números primos. Sin embargo, los recientes avances en algoritmos de factorización sugieren la vulnerabilidad posible de los protocolos habituales basados en la complejidad: [1] muestra que puede determinarse en tiempo polinomial si cierto número es primo. Algunos protocolos de comunicación habituales (por ejemplo el de Rabin [20]) tienen ciertas debilidades que explotan las expectativas comunicativas, como puede ser modelado mediante lógica epistémica dinámica Lógica epistémica dinámica La lógica epistémica dinámica [11, 6, 28, 31] investiga qué pueden conocer y creer los agentes, qué saben sobre otros agentes, y cómo cambia dicho conocimiento tras ciertos eventos o acciones, como anuncios públicos, cambios en el medioambiente, y comunicación de mensajes secretos entre un agente emisor y otro receptor. Esta lógica es una lógica modal también conocida como la lógica del conocimiento, concebida por el prestigioso filósofo Jaakko Hintikka [14], y con aplicaciones en lógica dinámica (o lógica de programas) de David Harel et al. [13]. La lógica modal se conoce como la lógica de los mundos posibles, donde podemos expresar formalmente cómo podría ser el mundo, lo que en terminología informática básica no es más que una lista de variables de estado. La lógica modal no es tan conocida como la lógica de primer orden estándar (también llamada lógica de predicados ) que emplea los cuantificadores para todo y existe. Desde los años 60 la lógica modal se ha vuelto popular por sus propiedades computacionales, muy equilibradas si se comparan con la lógica de primer orden, y por ciertas áreas de aplicación relevantes, como la verificación de programas y model ckecking. La lógica epistémica dinámica es un formalismo natural para la especificación de la información y sus cambios en los protocolos de seguridad, dado que sus aspectos clave radican en si los participantes conocen ciertos mensajes e información, o si cierto intruso permanece ignorante. Algunos estudios específicos sobre lógica epistémica dinámica aplicada a la criptografía son los de [29]. Se centra en un ejemplo llamado las cartas rusas en el que dos de tres jugadores (emisor y receptor) deben encontrar un protocolo para comunicarse sus cartas sin que el tercero (intruso) las descubra Verificación de modelos Un desarrollo reciente es el uso de buscadores de modelos para verificar propiedades de los protoclos. Los buscadores de modelos 2 son programas informáticos que testean y verifican especificaciones de protocolos por medio de la búsqueda sistemática y exhaustiva de contraejemplos. En el mundo de la lógica modal, que engloba la lógica epistémica dinámica, el típico buscador de modelos emplea la especificación del comportamiento en lógicas puramente temporales como CTL. Recientemente, los buscadores de modelos están también disponibles 2 En inglés, model checkers, de ahí el término model checking que hemos traducido como verificación de modelos debido a que es así como suele emplearse. 3

4 para especificaciones en lógica epistémica [10, 21, 33]. El buscador de modelos MCK ha sido desarrollado por Peter Gammie y Ron van der Meyden [10], y MCMAS por Franco Raimondi y Alessio Lomuscio [21] ambos están basados en intérpretes y emplean lógica epistémica temporal. Estas herramientas de prueba han sido aplicadas a la especificación y verificación de las cartas rusas en [32] Abducción En un sentido muy amplio, la abducción es el proceso de razonamiento mediante el cual se construyen explicaciones para observaciones sorprendentes, esto es, para hechos novedosos o anómalos. Hay sin embargo, una diversidad de enfoques que reclaman cada uno la verdadera naturaleza de este concepto. Una razón para tal diversidad radica en el hecho de que el razonamiento abductivo ocurre en una multitud de contextos y por tanto pretende modelar desde la selección de hipótesis ya existentes hasta la generación de nuevos conceptos en la ciencia. La investigación sobre la abducción en inteligencia artificial se remonta a los años setenta, pero es hasta los años noventa en que se encuentra un interés creciente en áreas como la programación lógica, la asimilación del conocimiento y diagnóstico, reconocimiento de patrones, procesamiento de lenguaje natural, visión, aprendizaje y en general como un tipo de razonamiento de carácter rebatible. La abducción ha sido el tema principal de varios talleres y conferencias de inteligencia artificial y de razonamiento basado en modelos, así como protagonista de títulos de reciente aparición. En todos estos sitios, la discusión sobre los diversos aspectos de la abducción ha sido conceptualmente un reto, pero también ha mostrado una frecuente confusión sobre todo terminológica con respecto a la inducción, otra forma de razonamiento rebatible y refutable por excelencia. La importancia de la abducción ha sido reconocida por investigadores líderes en diversos campos del conocimiento. Para Jaakko Hintikka (Lógica y Epistemología), la abducción es el problema fundamental de la epistemología contemporánea, en el cual las inferencias abductivas son respuestas a las preguntas del inquisidor. Por otra parte, para Herbert Simon (Psicología Cognitiva), el proceso retroductivo otro término para la abducción es el tema central de la teoría de resolución de problemas en las Ciencias Cognitivas. Finalmente, para Paul Thagard (Ciencias de la Computación), diversos tipos de abducción juegan un papel fundamental como estrategias heurísticas en el programa PI (procesos de inducción), un sistema útil sobretodo en representaciones y simulaciones computacionales de descubrimiento científico. La abducción es un proceso de razonamiento, cuyo producto es una explicación con cierta estructura inferencial. El esquema lógico de la abducción puede verse como una relación entre tres elementos: Θ, α ϕ 4

5 La observación o creencia ϕ, la explicación abductiva α, y la teoría Θ de trasfondo. Además, se han propuesto [4] tres parámetros principales que determinan varios tipos de abducción. (i) el parámetro inferencial, que determina la relación lógica entre el explanandum ϕ y el explanans (la teoría de trasfondo Θ y la explicación α). Esta relación puede ser la de consecuencia lógica clásica, inferencia estadística o incluso algún tipo de inferencia no clásica. (ii) los detonadores abductivos: ϕ puede ser un fenómeno novedoso o bien una anomalía, un fenómeno en conflicto con la teoría. (iii) Finalmente, los productos α son los diversos productos de los procesos abductivos: hechos, reglas e incluso teorías. Esta taxonomía generaliza la definición estándar de abducción como inferencia lógica en la inteligencia artificial ya que no se limita a interpretar la relación inferencial como clásica ni tampoco restringe la forma de las explicaciones a átomos. Más importante, sin embargo, es que este esquema general propone a la revisión como caso de razonamiento abductivo. Aunque existen diversos trabajos que consideran este caso como de abducción, no se ha tratado desde un punto de vista lógico. Incorporar a la revisión como caso de razonamiento abductivo reconoce que los cambios en la teorías no se dan sólo por acumulación de nuevos descubrimientos, sino que se dan también como consecuencia de anomalías. Así, nos acercamos a la noción de abducción Peirceana, en donde un hecho es sorprendente por ser una experiencia novedosa o una contraria a las expectativas. Con las nociones novedad abductiva, ϕ es novedosa: Θ ϕ, tampoco Θ ϕ anomalía abductiva, ϕ es anómala: Θ ϕ, sino que Θ ϕ y la idea de que las operaciones abductivas de cambio epistémico son las operaciones que inducen cada uno de los detonadores abductivos: expansión abductiva. Dada una novedad abductiva, una explicación consistente α se calcula de forma que Θ, α ϕ. Así se añaden α y ϕ a la teoría Θ por una simple expansión. revisión abductiva. Dada una anomalía abductiva, una explicación consistente α se calcula de la siguiente manera: Primero se revisa Θ de tal forma que no explique a ϕ. Esto es, se obtiene Θ de tal manera que Θ ϕ donde Θ = Θ {β 1,...,β n }. Una vez obtenida Θ, se obtiene una explicación α consistente con Θ de tal forma que Θ, α ϕ. Así, el proceso de revisión involucra los procesos de contracción y de expansión. Una vez definidas las nociones anteriores, podemos describir el proceso abductivo de cambio epistémico como sigue: el razonamiento abductivo se dispara por una sorpresa, la cual genera una duda que puede ser de dos tipos: novedad o anomalía. En el primer caso el fenómeno a explicar es totalmente nuevo y consistente con la teoría, por lo que su explicación se calcula y se incorpora a la teoría por la operación de extensión. En el segundo caso, como el hecho es 5

6 anómalo, la operación de revisión es necesaria para incorporarlo. Así, la teoría se revisa de tal forma que su modificación no esté en conflicto con el hecho a explicar, a continuación se calcula la explicación y se incorpora a la teoría revisada por expansión. Investigaciónes recientes de los miembros del equipo de este proyecto en el campo de abducción incluyen [18, 23, 4, 24]. 2. Objetivos del proyecto Para fijar los objetivos hemos de tener en cuenta previamente que la actual Sociedad del Conocimiento está poniendo de manifiesto que existen necesidades para cuya satisfacción es imprescindible aunar esfuerzos que se vienen realizando en ámbitos de investigación diversos. La extraordinaria conectividad que hemos alcanzado hoy en día requiere de aplicaciones seguras y escalables que sean capaces de tratar sistemas complejos ciertamente heterogénos y altamente distribuidos. Como ejemplo, baste mencionar los múltiples servicios de la web. En general, las técnicas basadas en métodos lógicos tienen el fuerte potencial de ser aplicadas exitosamente en todos estos campos, aunque existen tipos de problemas que requieren una mejora e innovación de herramientas aún más potentes. Hemos captado el interés como EPO de la sede de Sevilla de Natural Language, empresa internacional fundada por Infinity, como más avanzado proveedor de soluciones de atención al cliente basadas en inteligencia artificial del lenguaje Hipótesis de partida Este proyecto se plantea el uso de herramientas y métodos lógicos para el análisis y diseño de protocolos de seguridad. Proponemos el uso de lógicas dinámicas epistémicas, las cuales permiten razonar sobre conocimiento estático y propiedades de creencia, en posición multi-agente donde también podemos expresar lo que los agentes conocen sobre otros agentes; pero estas lógicas tambien permiten razonar sobre propiedades de sistemas dinámicos, por ejemplo, las postcondiciones de conocimiento en protocolos. Además, la incorporación de la abducción como inferencia lógica en inteligencia artificial, no restringida a la relación de consecuencia clásica, permitirá nuevas modelizaciones de sistemas multiagente y estudios de contextos. Nuestra hipótesis inicial tiene en cuenta el fuerte carácter interdisciplinar de la investigación propuesta (principalmente, lógica, aunque también informática, matemática combinatoria, filosofía y lingüistica). Los protocolos mismos pueden ser descritos en las lógicas mencionadas y la formalización lógica dinámica de las intenciones es uno de estos aspectos interdisciplinares, pues conecta directamente con los análisis pragmáticos de Grice. 6

7 2.2. Objetivos Como objetivos generales, en primer lugar, nos proponemos investigar protocolos de seguridad con instrumentos y métodos lógicos, para desarrollar lógicas epistémicas dinámicas y abductivas adecuadas a tales investigaciones, así como estudiar y establecer las propiedades de tales lógicas, y encontrar métodos computacionalmente tratables para comprobar dichos protocolos con instrumentos tales como probadores de teoremas (cálculos de tablas semánticas), buscadores de modelos y herramientas de razonamiento abductivo. Entre las implicaciones filosóficas, cabe mencionar la búsqueda de una interpretación de la lógica misma que ofrezca una respuesta al desafío del abordaje pragmático. Por otra parte, una biblioteca de protocolos incondicionalmente seguros y pruebas de rendimiento para testearlos en buscadores de modelos o con otras herramientas de prueba es, pensamos, un objetivo deseable. Los protocolos con cambios de clave y otras características de cambio factual necesitan lógicas epistémicas dinámicas más complejas que las inicialmente indicadas en la propuesta, pero también en aquellas áreas hay un rápido progreso en formulaciones teóricas [27, 33, 15, 30]. Una recompensa a esta búsqueda debería ser que se haga posible un análisis mucho más teórico-informativo de protocolos que pueda ser automatizado, lo que no es captado por la lógica BAN ni por el reciente trabajo de análisis de protocolos criptográficos en buscadores de modelos de lógica temporal. Dados estos objetivos generales, nos proponemos varios objetivos concretos: Describir protocolos criptográficos de naipes de longitud finita arbitraria Verificar propiedades de protocolos en buscadores de modelos epistémicos existentes Desarrollar y analizar protocolos para sistemas interpretados Incorporar dinámicas complejas en protocolos Incorporar en protocolos métodos de expansión y revisión abductiva Asimismo nos planteamos objetivos institucionales: Consolidación definitiva del equipo y máxima cualificación en investigación en el campo interdisciplinar de Lógica, Lenguaje e Información, de máxima relevancia en Europa Las líneas generales de un programa integral de formación superior en este campo, pionero en España. Se realizará una tesis doctoral en el marco del proyecto (se solicita una beca asociada al proyecto) y se culminarán dos tesis en curso sobre la temática que nos ocupa A partir de una fluida comunicación con el Departamento de I+D+I del EPO (Natural Language), incremento de relaciones con el mundo empresarial para futuras acciones combinadas, en las que los estudios de lógica y lenguaje cobran una gran importancia estatégica para la gestión del conocimiento y desarrollo de actividad empresarial basade en la misma 7

8 3. Metodología y plan de trabajo Preveemos un número razonable de retos técnicos y de carácter lógico. Los probadores de teoremas para lógicas con operadores modales para grupos de agentes, como conocimiento común, no están todavía operativos. Esto es debido a razonaes teóricas relativas a cuestiones similares en el área de la verificación de programas y PDL. Las propiedades de protocolos de longitud finita arbitraria son, por lo que sabemos, comprendidas de manera incompleta, y las investigaciones específicas de protocolos para criptografía de cartas, como se sugirió más arriba, incrementará, en consecuencia, nuestra comprensión de tales materias Grupos de actividades Proponemos el desarrollo de la investigación en grupos de diferentes actividades, cada una de las cuales se divide en tres tareas temáticas. Estas partes se estructuran según los cuatro campos anteriormente mencionados: Protocolos incondicionalmente seguros Proponemos los siguíentes tres temas: protocolos de longitud finita variable relación entre bit-exchange y protocolos basados en tratamiento de cartas complejidad comunicativa en protocolos multiagente La relación entre bit-exchange y protocolos basados en tratamiento de cartas ocupa un lugar central entre nuestras preocupaciones. Pensamos que una obvia y prometedora generalización de criptografía de cartas es criptografía de sistemas interpretados, donde en lugar de mantener la mano de cartas en secreto, el objetivo es mantener en secreto el estado local. De hecho, los modelos epistémicos para tratamientos de cartas no son más que una clase específica de sistemas interpretados, donde los tratamientos de cartas son estados globales y las manos de cartas son estados locales, con más dependencias de estado local específico. Lógica epistémica dinámica Los temas son: lógicas comunicativas para especificación de protocolo lógicas de eventos y revisión de creencias (aplicadas a dinámicas de protocolos) integración de abducción, consecuencia no monótona y epistémicas dinámicas 8

9 Las lógicas BAN para especificación de protocolo han sido usadas ampliamente, pero son necesarias lógicas más refinadas para aspectos epistémicos y comunicativos. La revisión de creencias y predicción de consecuencias de protocolo se benefician de la integración con primitivos abductivos. Verificación de modelos Los temas son: complejidad de los procesos de verificación de modelos para protocolos específicos relación entre model checking epistémicos temporales y los epistémicos dinámicos especificación lógica de protocolos para pruebas de rendimiento en epistémicas dinámicas Trataremos de aproximar la distancia entre las capacidades limitadas de buscadores de modelos epistémicos dinámicos y los instrumentos de verificación en tiempo real basados en técnicas de reescritura en términos de primer orden. Probar rendimientos recurriendo frecuentemente a aspectos de protocolo comunicativos nos llevará a comprobar estos requerimientos. Abducción Los temas son: aplicar expansión abductiva a la modelización de protocolos aplicar revisión abductiva a la modelización de protocolos razonamiento con tablas semánticas y verificación de modelos Un reto de particular interés será la integración de técnicas de verificación de modelos con procedimientos de tablas semánticas efectivos para soluciones abductivas mínimas Plan de trabajo Se seguirán en principio las directrices de la investigación lógica en el momento presente y seguiremos la línea marcada por algunos rasgos que pueden caracterizarla, como carácter comprensivo de los planteamientos teóricos empleo, explotación y coordinación de diversos instrumentos y materiales cognitivos (conceptuales y analíticos, descriptivos y normativos, modélicos y teóricos, por ejemplo) 9

10 coherencia en los diversos temas aspiración a propuestas plausibles sobre la base del intercambio constante de información, ideas, hipótesis, etc. Para la comunicación de información e intercambio de ideas y propuestas, tendrá una importancia vital el aprovechamiento de las formas de comunicación en línea entre los miembros del equipo y el uso de los recursos disponibles en los centros de investigación (principalmente, a través de la Universidad de Sevilla). Crearemos foros e-discursivos. Asimismo, se emplearán los procedimientos convencionales de comunicación interpersonal, con reuniones periódicas y, al menos, una de carácter anual plenaria, de todos los integrantes del equipo y los investigadores en formación y otros cuyas sugerencias y aportaciones sean de interés para el proyecto. Por otra parte, aprovechando la experiencia de otros proyectos y la capacidad organizativa, experiencia en las European Summer School of Logic, Language and Information y los contactos del investigador de reconocido prestigio que se incorpora al proyecto, se organizará un seminario permanente (continuación a un nivel superior del Seminario de Lógica y Lenguaje), al que serán invitados otros investigadores de prestigio de campos afines, además de permitir el acceso del público interesado, difundiendo los incrementos de conocimiento obtenidos a partir de la plataforma virtual que se creará al efecto. Se tendrá en cuenta la experiencia en formación doctoral de algunos de los miembros del equipo, asimismo el material de trabajo del Diseño del Máster en Cognición (Filosofía, Lógica y Lingüística), realizado por un equipo de tres universidades coordinado por A. Nepomuceno. Se organizará la tarea de la persona titular de la beca adscrita al proyecto de manera que la tesis sea codirigida por Hans van Ditmarsch y otro de los componenentes del equipo. Con respecto a las relaciones con el EPO (Natural Language), cuyo interés hemos captado para este proyecto, mantendremos una relación fluida de comunicación con su Departamento de I+D+I y al menos anualmente propondremos la celebración de un seminario conjunto para la presentación de los resultados que se vayan obteniendo y captación de sus preocupaciones, problemas y necesidades de conocimiento. Se pondrá esta experiencia al servicio de la comunidad investigadora, especialmente de ámbitos humanísticos, a partir de la mencionada plataforma. El plan comprende dos clases de actividades: 1. Secuenciales, dispuestas a lo largo del período de ejecución del proyecto, para el logro de los objetivos propuestos y la integración de los resultados logrados. Se estructura así el siguiente cronograma: en el primer año se tendrán muy avanzadas la descripción de protocolos criptográficos de cartas de longitud finita arbitraria (primer objetivo concreto) y las verificaciones de propiedades de protocolos en buscadores existentes (segundo objetivo concreto. En el segundo, además de completar los anteriores, se habrá logrado un desarrollo suficiente de protocolos para sistemas interpretados (tercer objetivo concreto) y se comenzará a incorporar dinámicas 10

11 complejas (cuarto objetivo concreto). En el tercero se completarán las tareas pendientes y se incorporarán métodos de expansión y revisión abductiva, como último objetivo concreto. A partir de aquí, pasará a un primer plano el análisis teórico-informativo de protocolos y la integración de los distintos logros con vistas a la consecución de los objetivos globales planteados. Los grupos de tareas que se indican más abajo se irán integrando a lo largo de todas estas etapas. 2. Transversales, referidas a la comunicación, difusión y publicación de los resultados, y se intercalarán en las anteriores a lo largo del período de ejecución del proyecto, teniendo en cuenta consideraciones de priorización y adecuación al curso de la investigación: la comunicación de información, intercambio de ideas y discusión interna en las áreas de trabajo destacarán en los primeros momentos de la ejecución del proyecto, mientras que la presentación de resultados, su publicación y nuevas propuestas, se irán incrementando en momentos posteriores. Se organizarán las tareas con la participación de todos los componentes del equipo, si bien para optimizar el rendimiento del equipo, cada uno de los grupos de tareas y actividades tendrá un responsable de su coordinación y desarrollo, según se esquematiza a continuación Grupos de tareas Protocolos incondicionalmente seguros: H. van Ditmarsch Lógica epistémica dinámica: H. van Ditmarsch Verificación de modelos: F. Soler Abducción: A. Aliseda Otras actividades Coordinación general: A. Nepomuceno Temas de lógica clásica: A. Cordón Temas de lógicas no clásicas: D. Fernández Temas lingüísticos: F. J. Salguero 4. Resultados esperados y plan de difusión Los resultados esperados vienen determinados, en primera instancia, por los objetivos marcados. Hemos fijado cinco objetivos concretos cuya consecución implica otros tantos resultados, a saber Descripciones de protocolos de longitud finita arbitraria Verificación de las principales propiedades de ciertos protocolos existentes: protocolos en buscadores de modelos epistémicos 11

12 Desarrollo de protocolos para sistemas interpretados Resultados obtenidos de la incorporación de dinámicas complejas en protocolos Los resultados de la incorporación de métodos propios de lógicas abductivas, más concretamente, los métodos de expansión y revisión abductiva En cuanto al logro de los objetivos finales, estos nos llevarán a ver si los protocolos que son pensados como seguros se tornan inseguros cuando el comportamiento estratégico de agentes se tiene también en cuenta. En otras palabras, si tales protocolos se muestran como filtros de información cuando se aplica teoría de juegos. Asimismo, y en último término, ver si nuevos protocolos para grupos que constan de más de dos agentes (es decir, más que un emisor y un receptor) encuentran su sitio desde la comunidad investigadora hasta el lugar marcado, o si las alternativas incondicionalmente seguras llegan a ser aceptables para protocolos basados en complejidad estándar. Se alcanzarán nuevas perspectivas en la elaboración de marcos lógicos del conocimiento y la acción. Podemos considerar otros rendimientos y beneficios esperables de máxima importancia, que resumimos a continuación De orden teórico y conceptual: el análisis de conceptos clave en las lógicas epistémicas y dinámicas utilizadas, así como en aplicaciones de conocimiento lingüístico y tratamiento lógico de problemas abductivos y sus repercusiones, tanto de índole epistemológico como filosófico De carácter disciplinario: nuevas orientaciones en el estudio de protocolos de seguridad y nuevos contenidos dirigidos a la adquisición de habilidades y competencias en diversos estudios superiores (Filosofía, Lingüística y Ciencias de la Computación) De carácter interdisciplinario: en conexión con lo anterior, en estudios de ámbitos tanto de ingeniería del conocimiento como lógicos, lingüísticos y humanísticos en general. Fijación de los pilares básicos para la elaboración de un programa de postgrado en el que, sin perder sus raíces humanísticas, se alcance un nivel de investigación básica comparable al de otros ámbitos teóricos científicos De carácter institucional y social. Consolidación del grupo de trabajo: el núcleo inicial ha venido desarrollando su actividad con varios proyectos en el emergente campo interdisciplinar mencionado de Lógica, Lenguaje e Información y con el presente proyecto se conseguirá la ampliación y consolidación de un equipo de trabajo especializado en dicho campo, su definitiva internacionalización y logro del máximo nivel de competitividad. Asimismo, se establecerá una línea de comunicación con el mundo empresarial, propiciando un modelo de actuación paradigmático para otros grupos de investigación en ámbitos humanísticos. 12

13 Interrelaciones: como complemento de lo anterior, reforzamiento de relaciones con otros grupos que trabajan en lógica y en otros campos afines, tanto en Andalucía como en el resto de España y la U. E. Se propiciará la creación de una Red de Lógica y Lenguaje en Andalucía, con las conexiones recomendables a nivel nacional e internacional, en línea con las del grupo inicial y su potenciación con la incorporación del investigador de reconocido prestigio a nivel mundial Teniendo en cuenta que las publicaciones son el medio de difusión más importante de los resultados obtenidos en la investigación básica, el plan de presentación y difusión de resultados tiene en cuenta que los principales foros serán las presentaciones en congresos de prestigio, así como la publicación en revistas internacionales especializadas. Naturalmente, seguiremos la vía habitual: en primer lugar participación en seminarios y reuniones científicas de ámbito nacional donde se expondrán los resultados obtenidos en primera instancia, procurando así enriquecerlos, un mayor refinamiento en los modos de presentarlos y conocer otros puntos de vista con los comentarios de dictaminadores y los propios de la dinámica de la presentación misma. Tras esta foma de presentación de los primeros resultados, una vez mejorados en este proceso, se elaborarán versiones definitivas de los trabajos para su presentación en congresos internacionales y en revistas internacionales especializadas, poniendo una atención especial en buscar la publicación en revistas bien situadas en los indicadores de calidad (Philosopher s Index, Journal Citation Report, etc.) en las áreas propias de los temas del proyecto. Sin menoscabo de la actuación indicada, a partir del segundo año, se editará un anuario con las actuaciones y principales resultados, para su distribución (via intercambio) en los circuitos académicos. También recurriremos a la redacción de informes que pueden ser de interés para nuestro EPO; sobre ello, Natural Language cuenta en su web con algunos trabajos de investigación presentados en su momento en foros especializados. 5. Personal del equipo 5.1. Investigador de reconocido prestigio Hans van Ditmarsch. De formación filosófica y matemática, completó un MSc en 1986, Universidad de Utrecht. Desde entonces hasta 2001 impartió docencia principalmente en Holanda. In 1996 comenzó también su tesis doctoral en la Universidad de Groningen, bajo la supervisión de Joan van Benthem (Universidades de Amsterdam y Stanford) y Gerard Renardel. En su tesis doctoral, defendida en 2000, presentaba un lenguaje para lógica epistémica dinámica y aplicaciones de este lenguaje a la modelación de juegos. Es coautor (junto con J. van Benthem) del más importante manual holandés en el campo de Lógica, Lenguaje e Información. Impartió clases en la Universidad de Otago, Nueva Zelanda, en 2001, donde es profesor titular. En 2007 y 2008 está asimismo 13

TÉCNICAS DE SIMULACIÓN

TÉCNICAS DE SIMULACIÓN ASIGNATURA DE MÁSTER: TÉCNICAS DE SIMULACIÓN Curso 2015/2016 (Código:22201221) 1.PRESENTACIÓN La simulación es una de las técnicas más utilizadas en Metodología de las Ciencias del Comportamiento, y un

Más detalles

Verificado por el Consejo de Universidades Pendiente de autorización por la Comunidad Autónoma

Verificado por el Consejo de Universidades Pendiente de autorización por la Comunidad Autónoma PROGRAMA DE DOCTORADO EN TECNOLOGIAS INDUSTRIALES Y MATERIALES POR LA UNIVERSITAT JAUME I Verificado por el Consejo de Universidades Pendiente de autorización por la Comunidad Autónoma COORDINACIÓN DEL

Más detalles

MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL

MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL Centro Responsable: Facultad de Ciencias Económicas y Empresariales Orientación: Investigadora y Profesional Especialidades: Análisis Económico.

Más detalles

Programa de Doctorado en Economía Facultad de Ciencias Sociales Convocatoria 2013

Programa de Doctorado en Economía Facultad de Ciencias Sociales Convocatoria 2013 1. INTRODUCCIÓN Programa de Doctorado en Economía Facultad de Ciencias Sociales Convocatoria 2013 El Programa de Doctorado en Economía está dirigido a la formación de profesionales de alto nivel de especialización

Más detalles

Metodología Pedagógica.

Metodología Pedagógica. Master in Business Administration (MBA) El programa Master in Business Administration - MBA se desarrolla desde la perspectiva de la integración del directivo o empresario en el rol de los negocios de

Más detalles

MASTER UNIVERSITARIO EN PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES

MASTER UNIVERSITARIO EN PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES MASTER UNIVERSITARIO EN PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES UNIVERSIDAD DE VALENCIA 5.1 DESCRIPCIÓN DEL PLAN DE ESTUDIOS 5.1.1 Descripción general del plan de estudios Distribución del plan

Más detalles

MASTER EN CIBERNÉTICA APLICADA. Mención Minería de Datos

MASTER EN CIBERNÉTICA APLICADA. Mención Minería de Datos MASTER EN CIBERNÉTICA APLICADA. Mención Minería de Datos Tipo: investigación/mixto Promueve: Departamento de Control Automático, Departamento de Matemática Interdisciplinaria y Departamento de Matemática

Más detalles

DOCTORADO EN CIENCIAS COMPUTACIONALES

DOCTORADO EN CIENCIAS COMPUTACIONALES DOCTORADO EN CIENCIAS COMPUTACIONALES Objetivos El programa de Doctorado en Ciencias Computacionales, tiene el propósito esencial de formar profesionales con las siguientes características: Amplio dominio

Más detalles

DATOS DE ADMISIÓN AL PROGRAMA DE DOCTORADO

DATOS DE ADMISIÓN AL PROGRAMA DE DOCTORADO PROGRAMA Psicología PLAZAS DE NUEVO INGRESO PRIMER CURSO: 40 SEGUNDO CURSO: 40 TERCER CURSO: 40 CENTRO ADMINISTRATIVO RESPONSABLE Centro / Instituto / Departamento: Facultad de Psicología Contacto: David

Más detalles

NEUROCIENCIA COGNITIVA, DESARROLLO Y EDUCACIÓN

NEUROCIENCIA COGNITIVA, DESARROLLO Y EDUCACIÓN 1.PRESENTACIÓN ASIGNATURA DE MÁSTER: NEUROCIENCIA COGNITIVA, DESARROLLO Y EDUCACIÓN Curso 2015/2016 (Código:22203053) La Neurociencia Cognitiva es una disciplina que surge como resultado de la aparición

Más detalles

PLAN DE GESTIÓN DE LA CALIDAD DOCENTE DE LOS CENTROS ACREDITADOS PARA LA FORMACIÓN SANITARIA ESPECIALIZADA

PLAN DE GESTIÓN DE LA CALIDAD DOCENTE DE LOS CENTROS ACREDITADOS PARA LA FORMACIÓN SANITARIA ESPECIALIZADA LOS CENTROS ACREDITADOS PARA LA FORMACIÓN SANITARIA ESPECIALIZADA Elaborado por: Subdirección General de Ordenación Profesional Oficina de Planificación Sanitaria y Calidad Pág. 1 de 23 1 Presentación

Más detalles

Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil

Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil Nombre de la asignatura: Inteligencia Artificial Créditos: 2-2 - 4 Aportación al perfil Diseñar e implementar interfaces hombre- máquina y máquinamáquina para la automatización de sistemas. Identificar

Más detalles

MEMORIA PARA LA CREACIÓN DE LA ESCUELA INTERNACIONAL DE DOCTORADO DE LA UNIVERSIDAD DE ALMERÍA (EIDUAL)

MEMORIA PARA LA CREACIÓN DE LA ESCUELA INTERNACIONAL DE DOCTORADO DE LA UNIVERSIDAD DE ALMERÍA (EIDUAL) MEMORIA PARA LA CREACIÓN DE LA ESCUELA INTERNACIONAL DE DOCTORADO DE LA UNIVERSIDAD DE ALMERÍA (EIDUAL) Preámbulo El Real Decreto 99/2011, de 28 de enero de 2011, que regula la organización de los estudios

Más detalles

MÁSTER UNIVERSITARIO EN

MÁSTER UNIVERSITARIO EN MÁSTER UNIVERSITARIO EN Titulación oficial: Máster Universitario en Gestión de Procesos con Sistemas Integrados de Información por la Universidad Pública de Navarra Rama de conocimiento: Ciencias Sociales

Más detalles

Guía de Trabajo Final de Grado de los Estudios de Psicología

Guía de Trabajo Final de Grado de los Estudios de Psicología + Guía de Trabajo Final de Grado de los Estudios de Psicología 2 Presentación... 3 I. Qué es el Trabajo Final de Grado (TFG)?... 3 II. Cuáles son los requisitos y recomendaciones para cursar el TFG?...

Más detalles

PLAN DE MARKETING DE EMPRESAS TURÍSTICAS

PLAN DE MARKETING DE EMPRESAS TURÍSTICAS PLAN DE MARKETING DE EMPRESAS TURÍSTICAS Fecha inicio: 20 de febrero de 2012 Fecha fin: 29 de junio de 2012 Clases presenciales: 20/02: De 17:00 h. a 19:00 h. 16/04: De 17:00 h. a 19:00 h. 24/05: De 17:00

Más detalles

Elecciones a Director del Departamento de Informática y Sistemas Programa electoral

Elecciones a Director del Departamento de Informática y Sistemas Programa electoral UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA Elecciones a Director del Departamento de Informática y Sistemas Programa electoral Candidatura de Carmelo Rubén García Rodríguez, Agustín Trujillo Pino y Gabino

Más detalles

ENFOQUE DE LA INVESTIGACIÓN EDUCATIVA EN EL INSTITUTO POLITÉCNICO NACIONAL (IPN) DESDE EL ÁREA DE GOBIERNO

ENFOQUE DE LA INVESTIGACIÓN EDUCATIVA EN EL INSTITUTO POLITÉCNICO NACIONAL (IPN) DESDE EL ÁREA DE GOBIERNO ENFOQUE DE LA INVESTIGACIÓN EDUCATIVA EN EL INSTITUTO POLITÉCNICO NACIONAL (IPN) DESDE EL ÁREA DE GOBIERNO PATRICIA CAMARENA GALLARDO / ESPERANZA LOZOYA MEZA RESUMEN: Los avances que aquí se presentan

Más detalles

Programa de Criminología de la UOC. Prácticum

Programa de Criminología de la UOC. Prácticum Programa de Criminología de la UOC Prácticum Presentación Descripción La asignatura en el conjunto del plan de estudios Campos profesionales en que se proyecta Conocimientos previos Objetivos y resultados

Más detalles

Asociación Española de Ingeniería Mecánica. XV Reunión Nacional de Profesores de Ingeniería Mecánica y de Vehículos

Asociación Española de Ingeniería Mecánica. XV Reunión Nacional de Profesores de Ingeniería Mecánica y de Vehículos Asociación Española de Ingeniería Mecánica Conocimientos y capacidades para el Cálculo, Diseño y Ensayo de Máquinas en los títulos de Grado y Capacidad para el Diseño y Ensayo de Máquinas en los títulos

Más detalles

FORMACIÓN PERMANENTE: MÁSTER Y DOCTORADO Pedro Sáenz-López Buñuel Universidad de Huelva

FORMACIÓN PERMANENTE: MÁSTER Y DOCTORADO Pedro Sáenz-López Buñuel Universidad de Huelva FORMACIÓN PERMANENTE: MÁSTER Y DOCTORADO Pedro Sáenz-López Buñuel Universidad de Huelva RESUMEN La convergencia europea aporta una nueva estructura al sistema europeo de educación superior dividiéndola

Más detalles

En verde están algunas propuestas que entendemos que faltan y que ayudarían a mejorar las fichas sustancialmente.

En verde están algunas propuestas que entendemos que faltan y que ayudarían a mejorar las fichas sustancialmente. NOTAS ACLARATORIAS: Esta ficha de grado es la resultante de las dos reuniones celebradas (9 enero 2009 y 23 de febrero de 2009) por la subcomisión creada desde el MICIIN para debatir las fichas de Grado

Más detalles

Introducción al curso

Introducción al curso Introducción al curso El desarrollo económico actual y la necesidad de las empresas de ser competitivas están generando constantemente innovaciones en los mercados nacionales e internacionales en todos

Más detalles

Facultad de Ciencias de la Educación

Facultad de Ciencias de la Educación Facultad de Ciencias de la Educación PROCEDIMIENTO DE COORDINACION DOCENTE DE LOS TÍTULOS DE GRADO DE LA FACULTAD DE CIENCIAS DE LA EDUCACIÓN DE LA UNIVERSIDAD DE HUELVA (Aprobado en Junta de Facultad

Más detalles

2.- Su profesión está ligada a la carrera en la que aquí da clases? Licenciatura Ingeniería Total SI 21 18 39 NO 0 0 0 21 18 39

2.- Su profesión está ligada a la carrera en la que aquí da clases? Licenciatura Ingeniería Total SI 21 18 39 NO 0 0 0 21 18 39 Resultados de la encuesta aplicada a los profesores de la Facultad de Ciencias de la Computación Comisión de Evaluación y Seguimiento Curricular Otoño 2008 1.- Tipo de contratación? TC 16 15 31 MT 3 2

Más detalles

Programa 41 Transición del Grado al Máster

Programa 41 Transición del Grado al Máster Programa 4. Transición del Grado al Máster Programa 4 Transición del Grado al Máster La nueva estructura de las enseñanzas universitarias en tres niveles oficiales reconocidos -Grado, máster y doctorado-

Más detalles

UNIVERSIDAD AUTÓNOMA METROPOLITANA. UNIDAD IZTAPALAPA División de Ciencias Sociales y Humanidades

UNIVERSIDAD AUTÓNOMA METROPOLITANA. UNIDAD IZTAPALAPA División de Ciencias Sociales y Humanidades UNIVERSIDAD AUTÓNOMA METROPOLITANA UNIDAD IZTAPALAPA División de Ciencias Sociales y Humanidades Licenciatura en Administración Título: Licenciado o Licenciada en Administración PLAN DE ESTUDIOS I. OBJETIVOS

Más detalles

Guía docente de la asignatura: POSICIONAMIENTO DE DESTINOS Y PRODUCTOS TURÍSTICOS. Titulación: Máster en GDEIT

Guía docente de la asignatura: POSICIONAMIENTO DE DESTINOS Y PRODUCTOS TURÍSTICOS. Titulación: Máster en GDEIT Guía docente de la asignatura: POSICIONAMIENTO DE DESTINOS Y PRODUCTOS TURÍSTICOS Titulación: Máster en GDEIT Curso: 2012-2013 1. Datos de la asignatura Nombre Materia Módulo POSICIONAMIENTO DE DESTINOS

Más detalles

LAS NUEVAS HABILIDADES Y COMPETENCIAS DEL BIBLIOTECARIO

LAS NUEVAS HABILIDADES Y COMPETENCIAS DEL BIBLIOTECARIO LAS NUEVAS HABILIDADES Y COMPETENCIAS DEL BIBLIOTECARIO Dra. Patricia Ramos Fandiño Dra. Beatriz Rodríguez Sierra INTRODUCCIÓN: Los últimos 20 años han sido de trascendencia para el desarrollo de las ciencias

Más detalles

DIRECCIÓN DE EMPRESAS

DIRECCIÓN DE EMPRESAS MÁSTER UNIVERSITARIO EN DIRECCIÓN DE EMPRESAS Titulación oficial: Máster Universitario en Dirección de Empresas Rama de conocimiento: Ciencias Sociales y Jurídicas Centro responsable: Facultad de Ciencias

Más detalles

Expresión audiovisual en la docencia en Física. María Ángeles Pérez García

Expresión audiovisual en la docencia en Física. María Ángeles Pérez García Expresión audiovisual en la docencia en Física María Ángeles Pérez García Departamento de Física Fundamental & IUFFyM, Universidad de Salamanca Edificio Trilingüe, Plaza de la Merced s/n, 37008, Salamanca

Más detalles

Grado en Ingeniería de Sistemas de Información

Grado en Ingeniería de Sistemas de Información Escuela Superior de Enseñanzas Técnicas Grado en Ingeniería de Sistemas de Información Programa Formativo Índice 1. Objetivos de la titulación 2. Salidas Profesionales 3. Perfil de egreso: competencias

Más detalles

CONCEPTOS DE CALIDAD Y CALIDAD DEL SOFTWARE

CONCEPTOS DE CALIDAD Y CALIDAD DEL SOFTWARE CONCEPTOS DE CALIDAD Y CALIDAD DEL SOFTWARE INTRODUCCIÓN El avance informático actual es muy alto comparado con lo se tenía en los años 90, al hablar de desarrollo de software se hace más notable, en el

Más detalles

COMPETENCIAS GRADO EN INGENIERÍA TELEMÁTICA

COMPETENCIAS GRADO EN INGENIERÍA TELEMÁTICA COMPETENCIAS GRADO EN INGENIERÍA TELEMÁTICA COMPETENCIAS BÁSICAS Según lo establecido en el R.D. 1393/2007 de 29 de octubre, se garantizaran, como mínimo las siguientes competencias básicas, en el caso

Más detalles

GUÍA DOCENTE TITULACIONES DE POSGRADO

GUÍA DOCENTE TITULACIONES DE POSGRADO GUÍA DOCENTE TITULACIONES DE POSGRADO TITULACIÓN: MASTER UNIVERSITARIO EN FORMACIÓN DEL PROFESORADO DE EDUCACIÓN SECUNDARIA OBLIGATORIA, BACHILLERATO, FORMACIÓN PROFESIONAL Y ENSEÑANZA DE IDIOMAS CURSO

Más detalles

EXPOSICIÓN DE MOTIVOS

EXPOSICIÓN DE MOTIVOS NORMATIVA GENERAL PARA TRABAJOS FIN DE GRADO (TFG) Y TRABAJOS FIN DE MÁSTER (TFM) Aprobada por acuerdo del Consejo de Gobierno de la Universidad CEU Cardenal Herrera de fecha 9 de mayo de 2012. Modificada

Más detalles

=drð^=al`bkqb= qfqri^`flkbp=ab=do^al=

=drð^=al`bkqb= qfqri^`flkbp=ab=do^al= =drð^=al`bkqb= qfqri^`flkbp=ab=do^al= TITULACIÓN: GRADO EN INGENIERÍA DE SISTEMAS DE INFORMACIÓN CURSO 2014/2015 ASIGNATURA: SIMULACIÓN Nombre del Módulo o Materia al que pertenece la asignatura. MÉDODOS

Más detalles

DESARROLLO DE SOFTWARE CON CALIDAD PARA UNA EMPRESA

DESARROLLO DE SOFTWARE CON CALIDAD PARA UNA EMPRESA DESARROLLO DE SOFTWARE CON CALIDAD PARA UNA EMPRESA Resumen AUTORIA CARLOS CABALLERO GONZÁLEZ TEMATICA INFORMÁTICA ETAPA ESO-BACHILLERATO-CFGM(ESI,ASI,DSI) Se describe la revolución que supuso la incursión

Más detalles

Guía Docente del Trabajo de Fin de Grado

Guía Docente del Trabajo de Fin de Grado Guía Docente del Trabajo de Fin de Grado Centro: Facultad de Ciencias Sociales y de la Comunicación Titulación: Grado en Publicidad y Relaciones Públicas Curso académico: 2013/14 Curso: 4 Duración: 12

Más detalles

ESTRATEGIAS INCLUSIVAS PARA LA MEJORA DE LA EMPLEABILIDAD DEL ALUMNADO UNIVERSITARIO CON DISCAPACIDAD DE LA UNED

ESTRATEGIAS INCLUSIVAS PARA LA MEJORA DE LA EMPLEABILIDAD DEL ALUMNADO UNIVERSITARIO CON DISCAPACIDAD DE LA UNED ESTRATEGIAS INCLUSIVAS PARA LA MEJORA DE LA EMPLEABILIDAD DEL ALUMNADO UNIVERSITARIO CON DISCAPACIDAD DE LA UNED Ignacio Rodríguez de Rivera Alemán, Lucía Diez de La Riva, Isabel Santesmases Montalbán,

Más detalles

CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS

CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS 1 INTRODUCCIÓN 1.1 Justificación Esta investigación está motivada por el interés en lograr una mejor comprensión del papel que desempeña la creatividad dentro

Más detalles

PROGRAMA DE DOCTORADO EN PSICOLOGÍA POR LA UNIVERSITAT JAUME I

PROGRAMA DE DOCTORADO EN PSICOLOGÍA POR LA UNIVERSITAT JAUME I PROGRAMA DE DOCTORADO EN PSICOLOGÍA POR LA UNIVERSITAT JAUME I Informe favorable de ANECA Pendiente de autorización por la Comunidad Autónoma COORDINACIÓN DEL PROGRAMA: Cristina Botella Arbona (botella@psb.uji.es)

Más detalles

PERFIL DEL INGENIERO DE SISTEMAS FUSM

PERFIL DEL INGENIERO DE SISTEMAS FUSM PERFIL DEL INGENIERO DE SISTEMAS FUSM PERFIL DEL INGENIERO DE SISTEMAS DE LA FUSM El perfil del Ingeniero de Sistemas presencial de la Fundación Universitaria San Martín, Bogotá, está en capacidad de modelar

Más detalles

MAESTRÍA Y DOCTORADO EN CIENCIAS DE LA INGENIERÍA ELÉCTRICA

MAESTRÍA Y DOCTORADO EN CIENCIAS DE LA INGENIERÍA ELÉCTRICA MAESTRÍA Y DOCTORADO EN CIENCIAS DE LA INGENIERÍA ELÉCTRICA Importante: Este programa de posgrado es GRATUITO para todos sus estudiantes gracias al apoyo del CONACYT en el marco del Programa PROCIENCIA

Más detalles

GRADO EN INGENIERÍA EN ELECTRÓNICA INDUSTRIAL Y AUTOMÁTICA

GRADO EN INGENIERÍA EN ELECTRÓNICA INDUSTRIAL Y AUTOMÁTICA COMPETENCIAS DEL GRADO EN: COMPETENCIAS GRADO EN INGENIERÍA EN ELECTRÓNICA INDUSTRIAL Y AUTOMÁTICA A continuación se enumeran las 17 competencias (tanto las 11 específicas de la titulación como las 6 generales)

Más detalles

SISTEMA DE UNIVERSIDADES ESTATALES DE LA COSTA CARIBE COLOMBIANA SUE CARIBE PROGRAMA MAESTRÍA EN CIENCIAS FÍSICA DOCUMENTO RESUMEN

SISTEMA DE UNIVERSIDADES ESTATALES DE LA COSTA CARIBE COLOMBIANA SUE CARIBE PROGRAMA MAESTRÍA EN CIENCIAS FÍSICA DOCUMENTO RESUMEN SISTEMA DE UNIVERSIDADES ESTATALES DE LA COSTA CARIBE COLOMBIANA SUE CARIBE PROGRAMA MAESTRÍA EN CIENCIAS FÍSICA DOCUMENTO RESUMEN JUNIO 1 DE 2005 INFORMACIÓN BÁSICA DEL PROGRAMA INSTITUCION RED INSTITUCIÓN

Más detalles

PLAN DE ACTIVIDADES FORMATIVAS. A continuación se ofrece un resumen de los contenidos de las actividades formativas que se incluyen en el Programa.

PLAN DE ACTIVIDADES FORMATIVAS. A continuación se ofrece un resumen de los contenidos de las actividades formativas que se incluyen en el Programa. PROGRAMA DE DOCTORADO EN INGENIERÍA AGRARIA, ALIMENTARIA, FORESTAL Y DEL DESARROLLO RURAL SOSTENIBLE POR LA UNIVERSIDAD DE CÓRDOBA Y LA UNIVERSIDAD DE SEVILLA PLAN DE ACTIVIDADES FORMATIVAS A continuación

Más detalles

Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica

Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica C1. Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar

Más detalles

ACUERDO DE ACREDITACIÓN Nº 197 CARRERA DE PERSONAL TRAINER INSTITUTO PROFESIONAL AIEP SEDES VIÑA DEL MAR, CONCEPCIÓN Y SANTIAGO (BARRIO UNIVERSITARIO)

ACUERDO DE ACREDITACIÓN Nº 197 CARRERA DE PERSONAL TRAINER INSTITUTO PROFESIONAL AIEP SEDES VIÑA DEL MAR, CONCEPCIÓN Y SANTIAGO (BARRIO UNIVERSITARIO) ACUERDO DE ACREDITACIÓN Nº 197 CARRERA DE PERSONAL TRAINER INSTITUTO PROFESIONAL AIEP SEDES VIÑA DEL MAR, CONCEPCIÓN Y SANTIAGO (BARRIO UNIVERSITARIO) OCTUBRE 2013 ACUERDO DE ACREDITACIÓN Nº 197 Carrera

Más detalles

Todas estas actividades se desarrollan según el calendario siguiente: csv: 135224094070707925079351

Todas estas actividades se desarrollan según el calendario siguiente: csv: 135224094070707925079351 4. Sistemas de información previa a la matriculación y procedimientos accesibles de acogida y orientación de los estudiantes de nuevo ingreso para facilitar su incorporación a la Universidad y a la titulación.

Más detalles

Reflexiones en torno al Currículo para el Profesor de Matemáticas de Secundaria.

Reflexiones en torno al Currículo para el Profesor de Matemáticas de Secundaria. Reflexiones en torno al Currículo para el Profesor de Matemáticas de Secundaria. Prof. Luis Rico Departamento de Didáctica de la Matemática Universidad de Granada Logroño, enero 1997 Presentación dei problema:

Más detalles

Departamento de Postgrado y Especialización (DPE) Plan Estratégico

Departamento de Postgrado y Especialización (DPE) Plan Estratégico Departamento de Postgrado y Especialización (DPE) Plan Estratégico PLAN DE ACTUACIÓN 2006 2009 CONSEJO SUPERIOR DE INVESTIGACIONES CIENTÍFICAS Departamento de Postgrado y Especialización (DPE) Plan Estratégico

Más detalles

Estatuto del Personal Docente e Investigador. Secretaría de Estado de Universidades. Dirección General de Universidades

Estatuto del Personal Docente e Investigador. Secretaría de Estado de Universidades. Dirección General de Universidades Estatuto del Personal Docente e Investigador Secretaría de Estado de Universidades. Dirección General de Universidades Índice de contenidos 01 02 03 Motivación El PDI universitario Líneas principales de

Más detalles

GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS

GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS La presente guía docente corresponde a la asignatura de Introducción a la Programación de Videojuegos y Gráficos (Videojuegos) del

Más detalles

Programa de Criminologia UOC Practicum

Programa de Criminologia UOC Practicum Presentación Descripción La asignatura en el conjunto del plan de estudios Campos profesionales en que se proyecta conocimientos previos Objetivos y resultados de aprendizaje Contenidos Recursos Materiales

Más detalles

Máster universitario de Gestión cultural orientación académica y de investigación UOC- UdG-UIB

Máster universitario de Gestión cultural orientación académica y de investigación UOC- UdG-UIB Máster universitario de Gestión cultural orientación académica y de investigación UOC- UdG-UIB Un máster para la formación de nuevos perfiles en la gestión de la cultura Esta oferta responde a la necesidad

Más detalles

Máster Universitario en Neurorrehabilitación. Edición 2014-2016

Máster Universitario en Neurorrehabilitación. Edición 2014-2016 GUÍA DOCENTE MÓDULO: Trabajo Final de Máster Coordinador: Dr. Josep M. Tormos e-mail: investigacio@guttmann.com Código UAB: 42357 Carácter: obligatorio 15 ECTS 2o semestre 2015-2016 Según la orientación

Más detalles

MANUAL DE REFERENCIA

MANUAL DE REFERENCIA GOBIERNO DE CHILE MINISTERIO DE HACIENDA Dirección de Presupuestos MANUAL DE REFERENCIA GUÍA PARA IMPLEMENTACIÓN ISO 9001:2000 SISTEMA DE AUDITORÍA INTERNA Versión 05 Diciembre 2008 INDICE Introducción...

Más detalles

NORMATIVA DEL CENTRO SOBRE EL TRABAJO FIN DE GRADO

NORMATIVA DEL CENTRO SOBRE EL TRABAJO FIN DE GRADO NORMATIVA DEL CENTRO SOBRE EL TRABAJO FIN DE GRADO Escuela Universitaria de Enfermería de Vitoria-Gasteiz Curso Académico 2015/2016 Elaborado por la Comisión de Trabajo Fin de Grado Aprobado por la Junta

Más detalles

MAESTRÍA EN GERENCIA DE PROYECTOS TEC-2016

MAESTRÍA EN GERENCIA DE PROYECTOS TEC-2016 MAESTRÍA EN GERENCIA DE PROYECTOS TEC-2016 INFORMACION GENERAL El programa se caracteriza por ser una Maestría Profesional en Gerencia de Proyectos, impartido por el Área Académica de Gerencia de Proyectos,

Más detalles

MÁSTER UNIVERSITARIO EN INGENIERÍA INFORMÁTICA

MÁSTER UNIVERSITARIO EN INGENIERÍA INFORMÁTICA MÁSTER UNIVERSITARIO EN INGENIERÍA INFORMÁTICA Centro Responsable: E.T.S. Ingeniería Informática Orientación: Profesional Coordinador Académico: Dr. Nicolas Guil Mata Duración (ECTS): 90 Créditos Modalidad:

Más detalles

INFORME DE AUTOEVALUACIÓN PROGRAMAS DE POSTGRADO

INFORME DE AUTOEVALUACIÓN PROGRAMAS DE POSTGRADO INFORME DE AUTOEVALUACIÓN PROGRAMAS DE POSTGRADO I. INTRODUCCIÓN El proceso de autoevaluación, en el sistema de aseguramiento de la calidad de la educación superior en Chile, es una instancia de autorregulación

Más detalles

Nota Práctica 5 El cuadro de mano integral en cooperación. Cómo implantar la estrategia en la organización

Nota Práctica 5 El cuadro de mano integral en cooperación. Cómo implantar la estrategia en la organización Cómo implantar la estrategia en la organización El gran reto de toda organización no es únicamente definir una estrategia con sentido, sino conseguir que ésta se implante con éxito en todas las áreas y

Más detalles

"LA TUTORIA A TRAVES DE TÉCNICAS VIRTUALES DE APRENDIZAJE SIGNIFICATIVO EN LA ASIGNATURA DE ESTRUCTURA DE DATOS EN EL INSTITUTO POLITECNICO NACIONAL.

LA TUTORIA A TRAVES DE TÉCNICAS VIRTUALES DE APRENDIZAJE SIGNIFICATIVO EN LA ASIGNATURA DE ESTRUCTURA DE DATOS EN EL INSTITUTO POLITECNICO NACIONAL. - 1 - "LA TUTORIA A TRAVES DE TÉCNICAS VIRTUALES DE APRENDIZAJE SIGNIFICATIVO EN LA ASIGNATURA DE ESTRUCTURA DE DATOS EN EL INSTITUTO POLITECNICO NACIONAL. M. EN C. BEATRIZ DOLORES GUARDIAN SOTO INSTITUTO

Más detalles

La perspectiva humana tiene mucha importancia en la gestión empresarial

La perspectiva humana tiene mucha importancia en la gestión empresarial 24 La inteligencia emocional, una habilidad para el éxito de los directivos globales Simon L. Dolan Catedrático de recursos humanos de la Universitat Ramon Llull y director científico del Instituto de

Más detalles

BARCELONA INTERNATIONAL MANAGEMENT BUSINESS SCHOOL MÁSTER GERENCIA DE EMPRESAS INTERNACIONALES

BARCELONA INTERNATIONAL MANAGEMENT BUSINESS SCHOOL MÁSTER GERENCIA DE EMPRESAS INTERNACIONALES MÁSTER GERENCIA DE EMPRESAS INTERNACIONALES FICHA TÉCNICA DEL MÁSTER TITULACIÓN Nombre del programa: Gerencia de empresas internacionales. Año académico: 2012-2013 Ficha del comienzo de las clases: Director

Más detalles

Diseño de un Proyecto IV

Diseño de un Proyecto IV Diseño de un Proyecto IV El diseño del proyecto es el proceso de elaboración de la propuesta de trabajo de acuerdo a pautas y procedimientos sistemáticos como ya se mencionó, un buen diseño debe identificar

Más detalles

ESTADÍSTICA (ING.INFORMÁTICA/ING.TI)

ESTADÍSTICA (ING.INFORMÁTICA/ING.TI) ASIGNATURA DE GRADO: ESTADÍSTICA (ING.INFORMÁTICA/ING.TI) Curso 2015/2016 (Código:7190105-) 1.PRESENTACIÓN DE LA ASIGNATURA Esta asignatura es una introducción a la Modelización probabilística, la Inferencia

Más detalles

CARACTERÍSTICAS DEL TRABAJO FIN DE MÁSTER

CARACTERÍSTICAS DEL TRABAJO FIN DE MÁSTER REGLAMENTO SOBRE TRABAJO FIN DE MÁSTER Máster en Tecnologías de la Información y Comunicaciones en Ingeniería Biomédica Este documento contiene las directrices específicas relacionadas con la definición,

Más detalles

MASTER OFICIAL DE PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES

MASTER OFICIAL DE PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES UNIVERSITAT DE VALÈNCIA MASTER OFICIAL DE PLANIFICACIÓN Y GESTIÓN DE PROCESOS EMPRESARIALES ORGANISMO RESPONSABLE Departamento de Estadística e Investigación Operativa Facultad de Matemáticas Universidad

Más detalles

2.1 Justificación del título propuesto, argumentando el interés académico, científico o profesional del mismo

2.1 Justificación del título propuesto, argumentando el interés académico, científico o profesional del mismo 2. JUSTIFICACIÓN 2.1 Justificación del título propuesto, argumentando el interés académico, científico o profesional del mismo Relación de Modificaciones para ajustarse al informe evaluación sobre la propuesta

Más detalles

PRESENTACIÓN 7 I. PLANEACIÓN AL DISEÑO E IMPLEMENTACIÓN DEL MECIP 9

PRESENTACIÓN 7 I. PLANEACIÓN AL DISEÑO E IMPLEMENTACIÓN DEL MECIP 9 1 2 ÍNDICE PRESENTACIÓN 7 I. PLANEACIÓN AL DISEÑO E IMPLEMENTACIÓN DEL MECIP 9 A. COMPROMISO DE LA MÁXIMA AUTORIDAD DE LA INSTITUCIÓN 11 B. ORGANIZACIÓN DEL COMITÉ DE TRABAJO 12 C. DEFINICIÓN DE LOS NIVELES

Más detalles

PRESENTACIÓN-ASPECTOS GENERALES DE LA MATERIA

PRESENTACIÓN-ASPECTOS GENERALES DE LA MATERIA GUÍA DEL ALUMNO. MATERIA Gestión de Recursos Humanos NIVEL 2ª CURSO Administración y Finanzas DEPARTAMENTO Administrativo, economía y comercio PROFESOR Alicia Hernández Torres PRESENTACIÓN-ASPECTOS GENERALES

Más detalles

PROYECTO FORMATIVO DE LA ASIGNATURA PRÁCTICAS EXTERNAS DEL MÁSTER UNIVERSITARIO EN TRADUCCIÓN PROFESIONAL Y MEDIACIÓN INTERCULTURAL

PROYECTO FORMATIVO DE LA ASIGNATURA PRÁCTICAS EXTERNAS DEL MÁSTER UNIVERSITARIO EN TRADUCCIÓN PROFESIONAL Y MEDIACIÓN INTERCULTURAL PROYECTO FORMATIVO DE LA ASIGNATURA PRÁCTICAS EXTERNAS DEL MÁSTER UNIVERSITARIO EN TRADUCCIÓN PROFESIONAL Y MEDIACIÓN INTERCULTURAL Contextualización de la asignatura La asignatura Prácticas Externas del

Más detalles

Grado en Ingeniería Informática

Grado en Ingeniería Informática Grado en Ingeniería Informática Competencias Generales y trasversales De acuerdo con la resolución del Consejo de Universidades de fecha 3 de marzo de 2009, para obtener este título de grado en ingeniería

Más detalles

MASTER EN ESTUDIOS AVANZADOS SOBRE ISLAM EN LA SOCIEDAD EUROPEA CONTEMPORANEA

MASTER EN ESTUDIOS AVANZADOS SOBRE ISLAM EN LA SOCIEDAD EUROPEA CONTEMPORANEA MASTER EN ESTUDIOS AVANZADOS SOBRE ISLAM EN LA SOCIEDAD EUROPEA CONTEMPORANEA INSTRUCCIONES PARA LA REALIZACIÓN DEL TRABAJO DE FIN DE MASTER (TFM) En función del Real Decreto 1393/2007, las enseñanzas

Más detalles

GRADO EN INGENIERÍA MECÁNICA

GRADO EN INGENIERÍA MECÁNICA COMPETENCIAS DEL GRADO EN: COMPETENCIAS GRADO EN INGENIERÍA MECÁNICA A continuación se enumeran las 17 competencias (tanto las 11 específicas de la titulación como las 6 generales) que se desarrollarán

Más detalles

SISTEMA DE GARANTÍA DE LA CALIDAD DE LOS PROGRAMAS DE DOCTORADO DE LA UNIVERSIDAD DE MÁLAGA

SISTEMA DE GARANTÍA DE LA CALIDAD DE LOS PROGRAMAS DE DOCTORADO DE LA UNIVERSIDAD DE MÁLAGA SISTEMA DE GARANTÍA DE LA CALIDAD DE LOS PROGRAMAS DE DOCTORADO DE LA UNIVERSIDAD DE MÁLAGA (Versión revisada del documento aprobado en el Consejo de Gobierno de la Universidad de Málaga de 16 de Diciembre

Más detalles

COMPETENCIAS Y OBJETIVOS

COMPETENCIAS Y OBJETIVOS COMPETENCIAS Y OBJETIVOS FACULTAD DE CIENCIAS SOCIALES Y DE LA COMUNICACIÓN CAMPUS DE JEREZ DE LA FRONTERA 1 Pág. COMPETENCIAS Y OBJETIVOS 1. Competencias En el diseño del Plan de Estudios del Investigación

Más detalles

Art. 1. Objeto y ámbito de aplicación. Art. 2. Características del TFM

Art. 1. Objeto y ámbito de aplicación. Art. 2. Características del TFM Reglamento para el desarrollo de los Trabajos Fin de Máster de la Titulación Máster Universitario en Lingüística y Enseñanza del Español como Lengua Extranjera Art. 1. Objeto y ámbito de aplicación El

Más detalles

UNIVERSIDAD DE LOS LLANOS Facultad de Ciencias Económicas. RESOLUCIÓN No 007 de Abril 30 de 2014 EL CONSEJO DE FACULTAD DE CIENCIAS ECONÓMICAS,

UNIVERSIDAD DE LOS LLANOS Facultad de Ciencias Económicas. RESOLUCIÓN No 007 de Abril 30 de 2014 EL CONSEJO DE FACULTAD DE CIENCIAS ECONÓMICAS, EL CONSEJO DE FACULTAD DE CIENCIAS ECONÓMICAS, En uso de las atribuciones legales que le confiere el Acuerdos Superior 004 de 2009, el Acuerdo Superior 012 de 2009 y Acuerdo Superior 015 de 2003 de Reglamento

Más detalles

Guía docente de la asignatura DIRECCIÓN DE MARKETING I 2º CURSO DEL GRADO EN MARKETING E INVESTIGACIÓN DE MERCADOS

Guía docente de la asignatura DIRECCIÓN DE MARKETING I 2º CURSO DEL GRADO EN MARKETING E INVESTIGACIÓN DE MERCADOS Guía docente de la asignatura DIRECCIÓN DE MARKETING I 2º CURSO DEL GRADO EN MARKETING E INVESTIGACIÓN DE MERCADOS Asignatura Materia DIRECCIÓN DE MARKETING I COMERCIALIZACIÓN E INVESTIGACIÓN DE MERCADOS

Más detalles

Consejo de Administración Ginebra, noviembre de 2006

Consejo de Administración Ginebra, noviembre de 2006 OFICINA INTERNACIONAL DEL TRABAJO GB.297/PFA/ICTS/1 297. a reunión Consejo de Administración Ginebra, noviembre de 2006 Subcomisión de las Tecnologías de la Información y la Comunicación PFA/ICTS PARA

Más detalles

- Capacidad para dirigir las actividades objeto de los proyectos del ámbito de la informática de acuerdo con los conocimientos adquiridos.

- Capacidad para dirigir las actividades objeto de los proyectos del ámbito de la informática de acuerdo con los conocimientos adquiridos. Competencias generales - Capacidad para concebir, redactar, organizar, planificar, desarrollar y firmar proyectos en el ámbito de la ingeniería en informática que tengan por objeto, de acuerdo con los

Más detalles

MÁSTER UNIVERSITARIO EN

MÁSTER UNIVERSITARIO EN MÁSTER UNIVERSITARIO EN Título oficial: Máster Universitario en Ingeniería Industrial por la Universidad Pública de Navarra Rama de conocimiento: Ingeniería y Arquitectura Centro responsable: Escuela Técnica

Más detalles

El Proyecto Fin de Carrera podrá estar constituido por tres tipos de trabajos:

El Proyecto Fin de Carrera podrá estar constituido por tres tipos de trabajos: NORMATIVA DEL PROYECTO FIN DE CARRERA El Proyecto o Trabajo Fin de Carrera (PFC) es una de las materias obligatorias incluidas en los planes de estudio de Ingeniero Técnico Agrícola impartidos en la E.U.I.T.A.

Más detalles

PRIMERA COMUNICACIÓN

PRIMERA COMUNICACIÓN PRIMERA COMUNICACIÓN SÍNTESIS Lugar: Provincia de San Juan - Argentina Fecha: 14,15 y16 de agosto de 2015 Convoca: Sociedad Argentina de Ciencias Cognitivas de la Música (SACCoM) Organizan: Licenciatura

Más detalles

INFORME DE AVANCE DE ACTIVIDADES CINECIEN 2013 CAPÍTULO URUGUAY

INFORME DE AVANCE DE ACTIVIDADES CINECIEN 2013 CAPÍTULO URUGUAY ANTECEDENTES INFORME DE AVANCE DE ACTIVIDADES CINECIEN 2013 CAPÍTULO URUGUAY El Festival CINECIEN del MERCOSUR surge como una iniciativa presentada por el Departamento de Artes Audiovisuales del IUNA,

Más detalles

ACUERDO DE ACREDITACIÓN Nº 252 CARRERA DE INGENIERÍA CIVIL EN COMPUTACIÓN E INFORMÁTICA, ACTUAL INGENIERÍA CIVIL INFORMÁTICA UNIVERSIDAD ANDRÉS BELLO

ACUERDO DE ACREDITACIÓN Nº 252 CARRERA DE INGENIERÍA CIVIL EN COMPUTACIÓN E INFORMÁTICA, ACTUAL INGENIERÍA CIVIL INFORMÁTICA UNIVERSIDAD ANDRÉS BELLO ACUERDO DE ACREDITACIÓN Nº 252 CARRERA DE INGENIERÍA CIVIL EN COMPUTACIÓN E INFORMÁTICA, ACTUAL INGENIERÍA CIVIL INFORMÁTICA UNIVERSIDAD ANDRÉS BELLO SANTIAGO Y VIÑA DEL MAR OCTUBRE 2014 ACUERDO DE ACREDITACIÓN

Más detalles

PERFILES OCUPACIONALES

PERFILES OCUPACIONALES PERFILES OCUPACIONALES A continuación se presenta la relación de los diferentes cargos que un ingeniero de sistemas de la Universidad de Lima puede desempeñar durante su vida profesional. También se presentan

Más detalles

Cómo se aproxima la norma ISO 9001:2000 a los modelos de Excelencia? Cómo se aproxima la norma ISO 9001:2000 a los modelos de Excelencia?

Cómo se aproxima la norma ISO 9001:2000 a los modelos de Excelencia? Cómo se aproxima la norma ISO 9001:2000 a los modelos de Excelencia? Cómo se aproxima la norma ISO 9001:2000 a los modelos de Excelencia? osa García Sánchez Dpto. Ec. Financiera y D. Operaciones Universidad de Sevilla esumen: Teniendo en cuenta que el objetivo final que

Más detalles

Tema 3. MODELOS. 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas biológicos.

Tema 3. MODELOS. 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas biológicos. Tema 3. MODELOS 011 0 01 01 FUNDAMENTOS 1. Modelos computacionales. 2. Computación y Neurociencia. CONTENIDOS 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas

Más detalles

PROPUESTA PROYECTO EDUCATIVO PROGRAMA ADMINISTRACIÓN DE EMPRESAS

PROPUESTA PROYECTO EDUCATIVO PROGRAMA ADMINISTRACIÓN DE EMPRESAS PROPUESTA PROYECTO EDUCATIVO PROGRAMA ADMINISTRACIÓN DE EMPRESAS DENOMINACIÓN ACADÉMICA Nombre del Programa: Administración de Empresas Titulo Otorgado: Administrador (a) de Empresas Propósito: La carrera

Más detalles

Maestría en Dirección y Administración de Empresas

Maestría en Dirección y Administración de Empresas Maestría en Dirección y Administración de Empresas Acreditada por Resolución de la CONEAU Nº 1021/11 Más de 900 profesionales ya confiaron en nosotros y lideran empresas de la región, la Argentina y el

Más detalles

SISTEMA DE GARANTÍA DE

SISTEMA DE GARANTÍA DE SISTEMA DE GARANTÍA DE CALIDAD DEL TÍTULO MASTER UNIVERSITARIO EN GESTIÓN ESTRATÉGICA Y Índice Pág. Presentación 1 A. Responsables del Sistema de Garantía de Calidad del Título 2 A.1. Estructura del Sistema

Más detalles

EVALUACIÓN SOBRE LA PROPUESTA DE MODIFICACIÓN DE PLAN DE ESTUDIOS

EVALUACIÓN SOBRE LA PROPUESTA DE MODIFICACIÓN DE PLAN DE ESTUDIOS FECHA: 27/07/2012 EXPEDIENTE Nº: 4348/2011 ID TÍTULO: 4312799 EVALUACIÓN SOBRE LA PROPUESTA DE MODIFICACIÓN DE PLAN DE ESTUDIOS Denominación del Título Universidad solicitante Universidad/es participante/s

Más detalles

COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO

COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO Junio de 2008 Presentación El documento Competencias Genéricas que Expresan el Perfil del Egresado de la EMS incluye las competencias

Más detalles

Conviértete en el cambio que deseas ver en el mundo. Ghandi. a c t i v a - t

Conviértete en el cambio que deseas ver en el mundo. Ghandi. a c t i v a - t Conviértete en el cambio que deseas ver en el mundo Ghandi a c t i v a - t Quiénes somos En Activa-t nuestro esfuerzo y empeño está orientado en identificar las claves que permitan crear entornos que favorezcan

Más detalles

3. OBJETIVOS. 3.1. Objetivos. Objetivos generales del título. Objetivos específicos del título

3. OBJETIVOS. 3.1. Objetivos. Objetivos generales del título. Objetivos específicos del título 3. OBJETIVOS 3.1. Objetivos Objetivos generales del título De acuerdo con lo establecido en el Libro Blanco y el acuerdo del plenario de la Conferencia de Directores y Decanos de Informática (Zaragoza,

Más detalles

115 / 213. Identificador : 2501347. 5.5 NIVEL 1: Trabajo Fin de Grado 5.5.1 Datos Básicos del Módulo NIVEL 2: Proyectos

115 / 213. Identificador : 2501347. 5.5 NIVEL 1: Trabajo Fin de Grado 5.5.1 Datos Básicos del Módulo NIVEL 2: Proyectos que la propia actividad de evaluación sea una actividad formativa de intercambio de conclusiones, y recapitulación de lo aprendido. Se valorará la puntualidad del alumno en la entrega de sus actividades

Más detalles