Browsing by Issue Date, starting with "2023-10-10"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- Colorismo: impacto do tom de pele na vida de pessoas de origem africana em LisboaPublication . Santos, Cintia Joana Salé dos; Magano, Olga; Bäckström, BárbaraO termo “colorismo” é aplicado em casos de preconceito e discriminação com base no tom de pele. Trata-se de um tema amplamente estudado em países como o Brasil e os Estados Unidos da América (EUA). Em Portugal, tendo em conta o aumento da perceção do fenómeno do colorismo, apenas mais recentemente o termo passou a ser utilizado. Não obstante o colorismo se verificar em diferentes grupos socioculturais, este estudo, sobre o colorismo na sociedade portuguesa, almeja evidenciar o impacto do tom de pele na vida de pessoas de origem africana, em específico, dos Países Africanos de Língua Oficial Portuguesa (PALOP) pela sua ligação histórica com Portugal que inclui o imperialismo e o colonialismo. A pesquisa orienta-se por um paradigma de investigação qualitativa com recurso a entrevistas semiestruturadas por estas possibilitarem a recolha de informação subjetiva, portanto, rica e profunda. Foram entrevistadas nove pessoas selecionadas através de contactos formais e informais, com idades entre os 18 e os 42 anos e residentes em Lisboa. Os resultados da investigação demonstram que o tom de pele é relevante e que o colorismo tem implicações como, por exemplo, a restrição do acesso às oportunidades de emprego ou de educação. O tratamento é diferente no quotidiano, favorecendo pessoas com tons de pele mais claros, ou seja, mais próximos do branco tal qual numa escala gradativa de cores. O colorismo expressa claramente o preconceito com pessoas de tons de pele mais escuros, especialmente mulheres, a quem são atribuídos traços como insipiência, agressividade e fealdade.
- Proof Mining: análise quantitativa de demonstrações matemáticasPublication . Fino, António Miguel Dias; Ferreira, Gilda; Pinto, Pedro Miguel dos SantosEsta dissertação foca-se em dois resultados obtidos através da utilização de ferramentas de proof mining. O programa tem como objectivo obter informação adicional de teoremas matemáticos já deduzidos utilizando ferramentas ou técnicas da lógica matemática. O intuito será obter versões quantitativas dos teoremas de convergência para a iteração implícita de Browder e explícita de Halpern para famílias de funções não expansivas (Sn) e ponto de ancora u ∈ C, onde C indica um subconjunto fechado, limitado e convexo de um espaço de Banach (Teoremas 7 e 8) obtidos por T. Suzuki em [28], onde a ferramenta crucial é a utilização de interpretações funcionais. De forma resumida, estas interpretações São aplicações que traduzem fórmulas A para fórmulas do tipo ∀x∃yAf (x, y), onde Af (x, y) é uma fórmula livre de quantificadores. Começamos por apresentar e caracterizar a linguagem formal L ω da aritmética de tipos finitos PAω e respetivos modelos standard e dos funcionais fortemente majorizáveis. Em seguida, é expresso a interpretação funcional a ser utilizada no decorrer desta tese, designada por interpretação funcional limitada e a representação formal de números reais, mais concretamente, ao nível de espaços normados, onde a teoria da aritmética de Peano em todos os tipos finitos é extendida a espaços normados (PAω,X ⊴ ). Uma prova modificada do teorema de Browder é então introduzida para mostrar como evitar argumentos de compacidade fraca sequencial através de provas modificadas. Essa subsecção ´e finalizada, introduzindo um Princípio generalizado, e a respetiva versão quantitativa, de forma a eliminar a compacidade fraca sequencial pela utilização de ferramentas de proof mining. A ultima secção é dedicada às versões quantitativas dos teoremas de convergência de Browder e Halpern, desenvolvidas por U.Kohlenbach e P.Pinto em [17].