Programa de captación de estudiantes de Bachillerato del distrito universitario de Salamanca (3ª Edición). Facultad de Filosofía – Universidad de Salamanca

Memoria ID-0267. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2014-2015

Avances en Informática y Automática. Octavo Workshop

[ES]El Máster Oficial en Sistemas Inteligentes de la Universidad de Salamanca tiene como principal objetivo promover la iniciación de los estudiantes en el ámbito de la investigación. El congreso organizado por el Departamento de Informática y Automática que se celebra dentro del Máster en Sistemas Inteligentes de la Universidad de Salamanca proporciona la oportunidad ideal para que sus estudiantes presenten los principales resultados de sus Trabajos de Fin de Máster y obtengan una realimentación del interés de los mismos. La octava edición del workshop “Avances en Informática y Automática”, correspondiente al curso 2013 - 2014, ha sido un encuentro interdisciplinar donde se han presentado trabajos pertenecientes a un amplio abanico de líneas de investigación, desde los sistemas multiagente, la visualización de la información o la minería de datos hasta la lógica, el reconocimiento de patrones o las redes neuronales. Todos los trabajos han sido supervisados por investigadores de reconocido prestigio pertenecientes a la Universidad de Salamanca, proporcionando el marco idóneo para sentar las bases de una futura tesis doctoral. Entre los principales objetivos del congreso se encuentran: ofrecer a los estudiantes un marco donde exponer sus primeros trabajos de investigación. Proporcionar a los participantes un foro donde discutir ideas y encontrar nuevas sugerencias de compañeros, investigadores y otros asistentes a la reunión. Permitir a cada estudiante una realimentación de los participantes sobre su trabajo y una orientación sobre las futuras direcciones de investigación. Contribuir al desarrollo del espíritu de colaboración en la investigación

Propositional Type Theory of Indeterminacy

Special Issue: Strong and weak Kleene logics. Edited by Gavin St. John and Francesco PaoliThe aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the object language. Finally, we provide a proof system and a (constructive) proof of completeness.Ministerio de Ciencia, Innovación y Universidades (España)European Regional Development FundDepto. de Lógica y Filosofía TeóricaFac. de FilosofíaTRUEpu

Desarrollo de la página web del máster en Lógica y Filosofía del Ciencia de cara a su difusión en el ámbito internacional

Memoria ID11-112. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012.La realización de este proyecto ha conseguido, como era su objetivo, una notable mejora de la página ya existente del máster y doctorado de Lógica y Filosofía de la Ciencia, concretamente en el espacio dedicado a los alumnos. La mejora ha consistido básicamente en una apertura de la página hacia el exterior y hacia sus mismos integrantes, estudiantes y profesores. La incorporación de avisos y comentarios acerca de actividades relevantes en las materias del posgrado, como congresos y reuniones científicas, publicaciones, o noticias de prensa han supuesto una oportuna apertura de la página hacia su entorno más cercano, mientras que, por otra parte, la entrada en ella de las opiniones de los alumnos sobre el posgrado, las conexiones a sus blogs o las entrevistas con profesores permiten un mejor conocimiento de los miembros del máster y el doctorado y de los aciertos y deficiencias en el desarrollo de éste

Diseño y elaboración de un portal virtual interactivo para alumnos del máster interuniversitario en Lógica y Filosofía de la ciencia

Memoria ID11-113. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2011-2012