La importancia de la competencia sociocultural: propuesta de actividades para su desarrollo en alumnos portugueses del 3.º ciclo de Enseñanza Básica y Enseñanza Secundaria

Este estudio pretende valorar la competencia sociocultural, presentando un abanico de actividades para desarrollarla en clase con nuestros alumnos. Asimismo se mostrará cómo un profesor puede y debe ser un mediador en la transmisión y adquisición de contenidos socioculturales. Para ello, en el primer capítulo se da la definición del término cultura, analizando la importancia de su integración en las clases de lengua y presentando la evolución del estudio de contenidos socioculturales en la didáctica de idiomas. Se analizará igualmente la relevancia dada hoy en día a los contenidos socioculturales en los documentos oficiales, el Marco Común Europeo de Referencia, el Plan Curricular del Instituto Cervantes y el Programa de Español del Ministerio de Educación Portugués. A continuación, definimos el concepto de interculturalidad e incidimos en el papel del profesor en la eliminación de estereotipos, prejuicios y malentendidos, en el descubrimiento de uno mismo y en la tolerancia por los demás, resaltando también la importancia de la intraculturalidad en las clases de lengua materna y terminando el capítulo con algunos aspectos socioculturales españoles, indispensables para la formación de un alumno de español. En un segundo capítulo, se presenta el Instituto de Ciências Educativas – institución privada en la que se realizó la Práctica Supervisionada de Español - , y se procede igualmente a la caracterización de los grupos. Finalmente, se presentan algunas de las actividades más significativas para el tema de estudio y su respectiva reflexión.

Memórias autobiográficas de adultos idosos : Comparações quanto ao género e ao meio sociocultural de residência

Dissertação de Mestrado apresentada no Instituto Superior de Psicologia Aplicada para a obtenção de grau de Mestre na especialidade de Psicologia Clínica.

A delinquência juvenil em Cabo Verde: da caracterização do fenómeno à contextualização sociocultural

Tese de Doutoramento em Psicologia Aplicada.

The influence of the Palestinian sociocultural values in shaping the vernacular architecture of Nablus city

Recently, environmental architecture and sustainable construction has been ranked on top of the worldâ s interests. Making use of natural resources helps in reducing energy consumption and costs associated with the operation of buildings. The current architectural approaches and designs in Palestine are far away from environmental concepts, copying and simulating abroad approaches, without taking into account the culture, climate, and inhabitant's needs. On the contrast, vernacular architecture has achieved environmental concepts and has given suitable approaches and samples - without any need to simulate or copy - which come from people and land. This paper discusses how the Palestinian socio-cultural context shaped the residential vernacular architecture in Palestine, taking the old city of Nablus as a case-study. The research concept depends on analysing and trying to understand the effect of the socio-cultural context on vernacular architecture and trying to reach some rules or understandings of how it works in order to reach a modern environmental dwelling that is suitable to this concept. The research method goes through analysing study cases from the traditional architecture models and the Nablus city is selected as a case study. This analytical and qualitative method can lead to deep understanding for how to benefit from vernacular architecture in Palestine in finding the future environmental residential construction. One of the main findings of this research is to set general and special rules for building sustainable buildings in Palestine from the socio-cultural point view, in order to be a reference for designers, stakeholders, ministry of planning, and municipalities.

Au revoir, Portugal: a influência do ambiente sociocultural nas rotinas produtivas: análise dos noticiários da manhã da Alfa e da Renascença

Relatório de estágio de mestrado em Ciências de Comunicação (área de especialização em Informação e Jornalismo)

Potenciar a competência comunicativa e sociocultural através de documentos audiovisuais na aula de espanhol língua estrangeira

Relatório de estágio de mestrado em Ensino de Português no 3º Ciclo do Ensino Básico e Ensino Secundário e de Espanhol nos Ensinos Básico e Secundário

Aplicaciones de la teoría de PDE a la relatividad general

Este plan de trabajo contempla diversas aplicaciones de la teoría de las Ecuaciones en Derivadas Parciales en el contexto de la Relatividad General. (...) Estas aplicaciones tiene como una de las intenciones últimas la de ser empleadas en simulaciones numéricas. Entre ellas destacamos las siguientes: * Fluidos viscosos relativistas y sus límites parabólicos. * Modelado numérico de las ecuaciones del primer punto. * Existencia global de sistemas disipativos. * Teoremas no-hair cosmológicos. * Límite Newtoniano de la relatividad general, resultados rigurosos. * Condiciones de contorno para las ecuaciones de Einstein.

La teoría de la mente desde una perspectiva interdisciplinaria: el problema de la conciencia

Diversas disciplinas científicas tales como la Psicología, las neurociencias, la psicología evolutiva, la inteligencia artificial, la lingüística, etc., abordan el estudio de los fenómenos mentales desde diferentes ángulos y con presupuestos y metodologías particulares. Por otra parte, en el marco disciplinario de la filosofía de la mente, especialmente en los últimos años, se han encarado investigaciones en torno a distintos tópicos especiales (representación, causación mental, intencionalidad, procesamiento de información, fenómenos cualitativos, subjetividad, auto-conocimiento, etc.) que han sido discutidos en diferentes niveles de análisis: ontológico, epistemológico, metodológico, semántico. Esta situación trae como consecuencia el desarrollo de investigaciones paralelas cuyas vinculaciones sólo excepcionalmente son advertidas, e incluso en el caso de algunas disciplinas aplicadas, ni siquiera se consideran los resultados de las indagaciones teóricas, lo que las lleva a incurrir tanto en errores conceptuales como la interpretación. (...) En la anterior etapa de investigación hemos logrado realizar un relevamiento general, en algunas de las disciplinas mencionadas, de los distintos marcos conceptuales y explicativos empleados en teorías de la intencionalidad. En esta nueva etapa nos proponemos analizar y evaluar las principales dificultades y discusiones epistemológicas implicadas en el intento de construir una única teoría global acerca de lo mental, vinculando diferentes disciplinas. (...) En esta primera etapa prevemos abordar el problema planteado abocándonos al estudio de una temática especial, presente en los desarrollos teóricos de las distintas disciplinas e ineludible para la construcción de una teoría transdisciplinaria acerca de los fenómenos mentales: el problema de la conciencia. (...) Objetivos específicos: 1. Examinar las teorías alternativas de la conciencia (empíricas y filosóficas) discriminando en especial sus presupuestos epistemológicos. 2. Comparar los marcos teóricos globales que se desprenden de las teorías de la conciencia con las interpretaciones que de ella se postulan en los distintos contextos disciplinarios (psicología, lingüística, etc.). 3. Evaluar la viabilidad de una teoría unitaria de la conciencia, atendiendo a las condiciones de adecuación epistemológica de acuerdo con un enfoque interdisciplinario.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Maimónides y la teoría política del sur de Europa

Maimónides aporta una explicación de lo público, procedente del siglo doce, con novedades que hoy son relevantes. La ciencia política comienza con el estudio del gobierno de cada uno. Esta idea, de origen aristotélico, se funde con la tradición judía del halakha para aportar una filosofía nueva. La ciudad es para Rambam un conjunto de patios y callejuelas y, en su entendimiento de la política, no se puede identificar conocimiento con poder. Su obra propugna un método pedagógico que establece la enseñanza de uno en uno para la trasmisión de conocimientos trascendentales, tal y como era acostumbrado en la tradición sefardí. Su reflexión sobre el poder y la ciudad le llevan a resaltar el buen juicio cotidiano. Proteger el buen juicio es la manera de que la filosofía pública atienda tanto la inherencia como la contingencia

Notas para una comparación de la teoría del imperialismo con la teoría del comercio internacional

La lectura de una serie de textos relativamente mal conocidos, tanto en la tradición neoclásica como en la teoria del imperialismo permite reconstruir la trayectoria seguida por esos autores para explicar la situación europea de 1840 en adelante. Un eslabón fundamental en la cadena de razonamientos resulta ser en último término el papel de la agricultura (y después de la mineria) y los limites que su lento desarrollo impone a la expansión del sistema en conjunto. En el esquema ricardiano, que es el punto de partida común de las dos teorias consideradas, la escasez de tierras de calidad es el parárnetro más relevante. En la versión neoclásica posterior, influida por la dotación de factores que se da en los paises colonizados por Inglaterra, la renta de escasez se generaliza potencialmente a todos los factores, privando de base a la teoría objetiva del valor-trabajo. En el desarrollo marxista de la teoria juegan un rol más importante los vestigios feudales que siguen presentes en la agricultura capitalista europea y la incapacidad de ésta para alimentar a costes bajos a una poblaci6n creciente.