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

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

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

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

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

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

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

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

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

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

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

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

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

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

ENSEÑANZAS DE GRADO EN PSICOLOGÍA

ENSEÑANZAS DE GRADO EN PSICOLOGÍA FICHA TÉCNICA DE PROPUESTA DE TÍTULO UNIVERSITARIO DE GRADO SEGÚN RD 55/2005, de 21 de enero ENSEÑANZAS DE GRADO EN PSICOLOGÍA Denominación del Título: Licenciado/a en Psicología ó Psicólogo/a NÚMERO DE

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

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

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

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

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

ESPECIFICACIONES PARA LA EVALUACIÓN de la materia PSICOLOGÍA del 2º curso del Bachillerato

ESPECIFICACIONES PARA LA EVALUACIÓN de la materia PSICOLOGÍA del 2º curso del Bachillerato I.E.S. Ruiz de Alda de San Javier (Murcia) DEPARTAMENTO DE FILOSOFÍA ESPECIFICACIONES PARA LA EVALUACIÓN de la materia PSICOLOGÍA del 2º curso del Bachillerato Este Departamento Didáctico ha expuesto su

Más detalles

Planificación de Sistemas de Información

Planificación de Sistemas de Información Planificación de Sistemas de Información ÍNDICE DESCRIPCIÓN Y OBJETIVOS...1 ACTIVIDAD 1: INICIO DEL PLAN DE SISTEMAS DE INFORMACIÓN...4 Tarea 1.1: Análisis de la Necesidad del...4 Tarea 1.2: Identificació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

Planificación de Sistemas de Información

Planificación de Sistemas de Información Planificación de Sistemas de Información ÍNDICE DESCRIPCIÓN Y OBJETIVOS... 1 ACTIVIDAD 1: INICIO DEL PLAN DE SISTEMAS DE INFORMACIÓN... 4 Tarea 1.1: Análisis de la Necesidad del... 4 Tarea 1.2: Identificación

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

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

CRITERIOS DE EVALUACIÓN DE EDUCACIÓN PARA LA CIUDADANÍA

CRITERIOS DE EVALUACIÓN DE EDUCACIÓN PARA LA CIUDADANÍA CRITERIOS DE EVALUACIÓN DE EDUCACIÓN PARA LA CIUDADANÍA 1. Identificar y rechazar, a partir del análisis de hechos reales y figurados, las situaciones de discriminación hacia personas de diferente origen,

Más detalles

PROGRAMA DE DOCTORADO INTERUNIVERSITARIO DESARROLLO PSICOLÓGICO, APRENDIZAJE Y EDUCACIÓN: PERSPECTIVAS CONTEMPORÁNEAS

PROGRAMA DE DOCTORADO INTERUNIVERSITARIO DESARROLLO PSICOLÓGICO, APRENDIZAJE Y EDUCACIÓN: PERSPECTIVAS CONTEMPORÁNEAS PROGRAMA DE DOCTORADO INTERUNIVERSITARIO DESARROLLO PSICOLÓGICO, APRENDIZAJE Y EDUCACIÓN: PERSPECTIVAS CONTEMPORÁNEAS NORMAS Y CRITERIOS DE PRESENTACIÓN Y EVALUACIÓN DEL TRABAJO DE INVESTIGACIÓN TUTELADO

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

COMPETENCIAS. Máster universitario en Gestión y Dirección de Empresas e Instituciones Turísticas (GDEIT)

COMPETENCIAS. Máster universitario en Gestión y Dirección de Empresas e Instituciones Turísticas (GDEIT) COMPETENCIAS Máster universitario en Gestión y Dirección de Empresas e Instituciones Turísticas (GDEIT) COMPETENCIAS GENERALES Y BÁSICAS En términos amplios, el Máster en GDEIT se dirige a profundizar

Más detalles

MÁSTER UNIVERSITARIO EN

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

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

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

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

Lo que miden los niveles de dominio

Lo que miden los niveles de dominio NIVELES DE DESEMPEÑO PISA XI. ESTANDARES CURRICULARES Y APRENDIZAJES ESPERADOS XI.1. PISA. Un referente internacional El Programa para la Evaluación Internacional de Alumnos de la OCDE (PISA, por sus siglas

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

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

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

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

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

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

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

Máster Universitario en. Estudios Avanzados en Trabajo y Empleo

Máster Universitario en. Estudios Avanzados en Trabajo y Empleo Máster Universitario en Estudios Avanzados en Trabajo y Empleo Universidad Complutense de Madrid 5.1. Estructura de las enseñanzas. Explicación general de la planificación del plan de estudios. El Máster

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

Calidad de las guías docentes y adecuación a lo dispuesto en el proyecto de titulación

Calidad de las guías docentes y adecuación a lo dispuesto en el proyecto de titulación Informe de evaluación de la calidad y los resultados de aprendizaje Especialización e Investigación en Derecho Calidad de las guías docentes y adecuación a lo dispuesto en el proyecto de titulación Tomando

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

EL CUADRO DE MANDO INTEGRAL

EL CUADRO DE MANDO INTEGRAL EL CUADRO DE MANDO INTEGRAL El Cuadro de Mando Integral proporciona a los ejecutivos un amplio marco que traduce la visión y estrategia de una empresa, en un conjunto coherente de indicadores de actuación.

Más detalles

TECNICAS APLICADAS A LA ECONOMIA Y NEGOCIOS INTERNACIONALES

TECNICAS APLICADAS A LA ECONOMIA Y NEGOCIOS INTERNACIONALES TECNICAS APLICADAS A LA ECONOMIA Y NEGOCIOS INTERNACIONALES Grado en Economía y Negocios Internacionales Grado en Administración y Dirección de Empresas (Plan de estudios G340) Grado en Contabilidad y

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

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

Documento de Competencias. Facultad de Informática, UPV/EHU. 1 Estructura general del Grado TE1 TE2 TE3 TE4 TE5 TE6 TE7 TE8

Documento de Competencias. Facultad de Informática, UPV/EHU. 1 Estructura general del Grado TE1 TE2 TE3 TE4 TE5 TE6 TE7 TE8 Documento de Competencias Grado en INGENIERÍA INFORMÁTICA Facultad de Informática, UPV/EHU 1 Estructura general del Grado 1.1 Fundamentos de Tecnología de los Principios de Diseño de Sistemas Digitales

Más detalles

Maestría en Epistemología e Historia de la Ciencia Modalidad a Distancia PLAN DE ESTUDIOS

Maestría en Epistemología e Historia de la Ciencia Modalidad a Distancia PLAN DE ESTUDIOS Maestría en Epistemología e Historia de la Ciencia Modalidad a Distancia PLAN DE ESTUDIOS 1. IDENTIFICACIÓN DE LA CARRERA MAESTRIA EN EPISTEMOLOGIA E HISTORIA DE LA CIENCIA Denominación: Maestría en Epistemología

Más detalles

Diseñar y desarrollar políticas y sistemas de gestión de RSC acordes con el modelo de negocio y las características de cada empresa u organización.

Diseñar y desarrollar políticas y sistemas de gestión de RSC acordes con el modelo de negocio y las características de cada empresa u organización. 3. PROGRAMA DE FORMACIÓN. ESTUDIOS/ TÍTULOS 3.1. Objetivos formativos incluyendo perfil de competencias En los últimos años la empresa actual debe actuar bajo un paradigma diferente a como lo ha hecho

Más detalles

Calle Cobre No. 433 Fraccionamiento Bonanza Saltillo Coahuila. 8444310785 Aarmas433@hotmail.com

Calle Cobre No. 433 Fraccionamiento Bonanza Saltillo Coahuila. 8444310785 Aarmas433@hotmail.com Calle Cobre No. 433 Fraccionamiento Bonanza Saltillo Coahuila. 84443108 Aarmas433@hotmail.com Introducción. El constante avance tecnológico hace cada día más exigente la actualización y el uso de herramientas

Más detalles

INGENIERÍA EN INFORMÁTICA. Ingeniero en Informática

INGENIERÍA EN INFORMÁTICA. Ingeniero en Informática Facultad de Ingeniería Av. Paseo Colón 850 (C1063ACV) Ciudad de Buenos Aires Tel.: (011) 4343-0893 Fax: (011) 4345-7262 Página web: www.ingenieria.uba.ar Correo electrónico: academica@fi.uba.ar INGENIERÍA

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

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

Estrategia de Apoyo a la Elaboración del Plan de Mejoramiento Educativo Manual estratégico

Estrategia de Apoyo a la Elaboración del Plan de Mejoramiento Educativo Manual estratégico Estrategia de Apoyo a la Elaboración del Plan de Mejoramiento Educativo Manual estratégico Estrategia de apoyo en la elaboración del Plan de Mejoramiento Educativo Manual Estratégico División de Educación

Más detalles

Programa de Gestión Universitaria Ciclo 2014-2015

Programa de Gestión Universitaria Ciclo 2014-2015 ProRectorado de Gestión Administrativa Unidad de Capacitación Programa de Gestión Universitaria Ciclo 2014-2015 La capacitación y formación de los funcionarios técnicos, administrativos y de servicios

Más detalles

Recibe directrices y políticas de actuación general, habiéndose fijado claramente los resultados esperados.

Recibe directrices y políticas de actuación general, habiéndose fijado claramente los resultados esperados. DENOMINACIÓN: ADMINISTRADOR CENTRO ACADÉMICO DESCRIPCIÓN RESPONSABILIDAD ESPECÍFICA: NIVEL 3 El puesto se ocupa de organizar, programar, dirigir y controlar las actividades de un servicio o equivalente

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

LA IMPORTANCIA DE LA ADMINISTRACIÓN PARA LA COMPETITIVIDAD

LA IMPORTANCIA DE LA ADMINISTRACIÓN PARA LA COMPETITIVIDAD LA IMPORTANCIA DE LA ADMINISTRACIÓN PARA LA COMPETITIVIDAD Por Jack Fleitman Actualmente los retos son muy diferentes a los que han enfrentado los profesionistas de la administración en épocas anteriores.

Más detalles

Denominación de la materia. créditos ECTS = 36 carácter = OBLIGATORIA SISTEMAS OPERATIVOS, SISTEMAS DISTRIBUIDOS Y REDES

Denominación de la materia. créditos ECTS = 36 carácter = OBLIGATORIA SISTEMAS OPERATIVOS, SISTEMAS DISTRIBUIDOS Y REDES Denominación de la materia SISTEMAS OPERATIVOS, SISTEMAS DISTRIBUIDOS Y REDES créditos ECTS = 36 carácter = OBLIGATORIA Ubicación dentro del plan de estudios y duración La materia está formada por 6 asignaturas

Más detalles

TECNÓLOGO EN INFORMÁTICA PLAN DE ESTUDIOS

TECNÓLOGO EN INFORMÁTICA PLAN DE ESTUDIOS Administración Nacional de Universidad de la República Educación Pública Facultad de Ingenieria CF Res..0.07 Consejo Directivo Central Consejo Directivo Central Res..05.07 Res. 17.0.07 TECNÓLOGO EN INFORMÁTICA

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

Guía Docente. NUEVAS TECNOLOGÍAS Y SOCIEDAD DE LA INFORMACIÓN 1º curso GRADO EN COMUNICACIÓN Y RELACIONES PÚBLICAS (GRCOM) Curso 2014 /2015.

Guía Docente. NUEVAS TECNOLOGÍAS Y SOCIEDAD DE LA INFORMACIÓN 1º curso GRADO EN COMUNICACIÓN Y RELACIONES PÚBLICAS (GRCOM) Curso 2014 /2015. Guía Docente NUEVAS TECNOLOGÍAS Y SOCIEDAD DE LA INFORMACIÓN 1º curso GRADO EN COMUNICACIÓN Y RELACIONES PÚBLICAS (GRCOM) Curso 2014 /2015 Campus: Valencia Profesor/es: Jose Vicente Sancho Escrivá Periodo

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

I. OBJETIVOS INTRODUCCIÓN. Oscar Daniel Camuendo Vásquez e-mail: oscardny86@hotmail.com

I. OBJETIVOS INTRODUCCIÓN. Oscar Daniel Camuendo Vásquez e-mail: oscardny86@hotmail.com DISEÑO, IMPLEMENTACIÓN E IMPLANTACIÓN DE UNA APLICACIÓN WEB DE ADMINISTRACIÓN Y CONTROL DE CALIFICACIONES PARA LA UNIDAD EDUCATIVA PARTICULAR OVIEDO (SECCIÓN SECUNDARIA), UTILIZANDO SOFTWARE LIBRE. Oscar

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

Introducción. Metadatos

Introducción. Metadatos Introducción La red crece por momentos las necesidades que parecían cubiertas hace relativamente poco tiempo empiezan a quedarse obsoletas. Deben buscarse nuevas soluciones que dinamicen los sistemas de

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

EL PROCESO DE VERIFICACIÓN Y ACREDITACIÓN DE LOS TITULOS UNIVERSITARIOS

EL PROCESO DE VERIFICACIÓN Y ACREDITACIÓN DE LOS TITULOS UNIVERSITARIOS EL PROCESO DE VERIFICACIÓN Y ACREDITACIÓN DE LOS TITULOS UNIVERSITARIOS Alicante, 4 de Julio de 2013 Miguel-Ángel Galindo Coordinador de Evaluación de Enseñanzas e Instituciones Índice Antecedentes y marco

Más detalles

ARAGÓN PERFIL DEL GEÓGRAFO PROFESIONAL

ARAGÓN PERFIL DEL GEÓGRAFO PROFESIONAL ARAGÓN PERFIL DEL GEÓGRAFO PROFESIONAL Dpto. Geografía y Ordenación del Territorio Facultad de Filosofía y Letras UNIVERSIDAD DE ZARAGOZA ARAGÓN EDITA Colegio de Geógrafos - Aragón Departamento de Geografía

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

Aprobadas en Comisión Permanente 8/2015 de 17 de julio

Aprobadas en Comisión Permanente 8/2015 de 17 de julio DIRECTRICES DE TRABAJO FINAL DE MÁSTER FACULTAD DE COMERCIO Y TURISMO Aprobadas en Comisión Permanente 8/2015 de 17 de julio En función del Real Decreto 1393/2007, las enseñanzas de Máster concluirán con

Más detalles

ENTRADAS PROCESO RECURSOS

ENTRADAS PROCESO RECURSOS Título: Conceptos básicos de la gestión de procesos en las empresas Autor: Ángel Ibisate, Jefe del Departamento de Calidad y Normativa (Red Eléctrica Española) Fecha: 20-05-2005 1. INTRODUCCIÓN El presente

Más detalles

INFORME FINAL EVALUACIÓN PARA RENOVACIÓN DE LA ACREDITACIÓN

INFORME FINAL EVALUACIÓN PARA RENOVACIÓN DE LA ACREDITACIÓN EXPEDIENTE Nº: 4312004 FECHA: 20/05/2014 INFORME FINAL EVALUACIÓN PARA RENOVACIÓN DE LA ACREDITACIÓN Denominación del Título Universidad (es) Centro (s) donde se imparte Menciones/Especialidades que se

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

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES GUÍA DEL TRABAJO DE FIN DE GRADO 1. MARCO NORMATIVO DEL TRABAJO DE FIN DE GRADO El Trabajo Fin de Grado (TFG) en nuestra Facultad está regulado por: - El

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

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

Guía para la aplicación de la Norma UNE-EN ISO 9001:2008 en el sector educativo

Guía para la aplicación de la Norma UNE-EN ISO 9001:2008 en el sector educativo Guía para la aplicación de la Norma UNE-EN ISO 9001:2008 en el sector educativo María Cristina Alonso García Título: Guía para la aplicación de la Norma UNE-EN ISO 9001:2008 en el sector educativo Autora:

Más detalles

OBJETIVOS DE LA TITULACIÓN. Máster en Dirección y Administración de Empresas (MBA)

OBJETIVOS DE LA TITULACIÓN. Máster en Dirección y Administración de Empresas (MBA) OBJETIVOS DE LA TITULACIÓN Máster en Dirección y Administración de Empresas (MBA) OBJETIVOS DE LA TITULACIÓN La contribución de la Escuela de Negocios Novacaixagalicia al desarrollo del tejido empresarial

Más detalles

Talento Inycom 3 ITINERARIOS FORMATIVOS CON INCORPORACIÓN EN EMPRESA

Talento Inycom 3 ITINERARIOS FORMATIVOS CON INCORPORACIÓN EN EMPRESA 1.- INYCOM, presentación de Empresa... 3 1.1.- Unidad de Negocio de Tecnologías de la Información (TIC)... 3 1.2.- Personal y Datos de Interés de la UN TIC... 3 2.- Programa Talento INYCOM... 4 2.1.- Objeto...

Más detalles

Comité de Desarrollo y Propiedad Intelectual (CDIP)

Comité de Desarrollo y Propiedad Intelectual (CDIP) S CDIP/9/9 ORIGINAL: INGLÉS FECHA: 2 DE ABRIL DE 2012 Comité de Desarrollo y Propiedad Intelectual (CDIP) Novena sesión Ginebra, 7 a 11 de mayo de 2012 ACCESO A BASES DE DATOS ESPECIALIZADAS FASE II Documento

Más detalles

La investigación y su evaluación en el área de expresión gráfica arquitectónica

La investigación y su evaluación en el área de expresión gráfica arquitectónica La investigación y su evaluación en el área de expresión gráfica arquitectónica RESUMEN. La investigación en E.G.A. en nuestro país, tal como ocurre también en otras áreas especializadas y específicas

Más detalles

PROGRAMA DE TRABAJO DE LA DIVISIÓN DE ESTADÍSTICA Y PROYECCIONES ECONÓMICAS, 2010-2011

PROGRAMA DE TRABAJO DE LA DIVISIÓN DE ESTADÍSTICA Y PROYECCIONES ECONÓMICAS, 2010-2011 SOLO PARA PARTICIPANTES DOCUMENTO DE SALA CEPAL Comisión Económica para América Latina y el Caribe Novena reunión del Comité Ejecutivo de la Conferencia Estadística de las Américas de la Comisión Económica

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

PLANIFICACIÓN, SELECCIÓN Y FORMACIÓN DE RECURSOS HUMANOS

PLANIFICACIÓN, SELECCIÓN Y FORMACIÓN DE RECURSOS HUMANOS Centro: PLANIFICACIÓN, SELECCIÓN Y FORMACIÓN DE RECURSOS HUMANOS Titulación: Asignatura: Código ULPGC asignatura: 43517 Códigos UNESCO asignatura: 5311.04 Módulo al que pertenece la asignatura: Materia

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

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

DOCTORADO EN CIENCIAS EN INGENIERÍA

DOCTORADO EN CIENCIAS EN INGENIERÍA DOCTORADO EN CIENCIAS EN INGENIERÍA Duración: 4 años Líneas de Investigación 1. Ingeniería de Sistemas de Proceso: Las actividades de esta línea se orientan al diseño, simulación, control y optimización

Más detalles

Sección 1. Naturaleza jurídica, objetivos y funciones. Artículo 1. Naturaleza jurídica.

Sección 1. Naturaleza jurídica, objetivos y funciones. Artículo 1. Naturaleza jurídica. REGLAMENTO DE RÉGIMEN INTERNO DE LA ESCUELA DE DOCTORADO STUDII SALAMANTINI (Aprobado en el Consejo de Gobierno de 30 de noviembre de 2011 y modificado en la sesión del Consejo de Gobierno de 29 de enero

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

Debes de ser consciente que actualmente los entornos competitivos son muy dinámicos debido al impacto de factores tales como: Ilustración 1

Debes de ser consciente que actualmente los entornos competitivos son muy dinámicos debido al impacto de factores tales como: Ilustración 1 2. ANÁLISIS Y FORMULACIÓN TECNOLÓGICA DEL EMPRENDIMIENTO 2.1. Análisis del entorno y capacidad competitivas A continuación evaluaremos el emprendimiento, desde el punto de vista de la Tecnología, partiendo

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

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