946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
Resumo:
Dissertação de Mestrado, Matemática, Especialização em Matemática para o Ensino, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2007
Resumo:
Dissertação de mestrado, Psicologia Clínica e da Saúde, Faculdade de Ciências Humanas e Sociais, Universidade do Algarve, 2015
Resumo:
Dissertação de mestrado, Psicologia Clínica e da Saúde, Faculdade de Ciências Humanas e Sociais, Universidade do Algarve, 2015
Resumo:
Dissertação de Mestrado, Gestão de Recursos Humanos, Escola Superior de Gestão, Hotelaria e Turismo, Faculdade de Ciências Humanas e Sociais, Universidade do Algarve, 2015
Resumo:
A Organização Mundial de Saúde estima que nos países mais industrializados uma em cada três pessoas sofra, por ano, de uma doença de origem alimentar. De acordo com os dados da Agência Europeia para a Segurança Alimentar foram relatados pelos 27 Estados Membros da União Europeia, no ano 2012, um total de 5.363 surtos de origem alimentar, assistindo-se a uma prevalência do setor da restauração, como o local de maior ocorrência dos surtos de doenças de origem alimentar. Para o mesmo ano, Portugal reportou 7 surtos de origem alimentar, envolvendo 135 pessoas com 42 hospitalizações. Neste contexto, a aplicação de boas práticas de higiene, nomeadamente no setor da restauração, é essencial para proteger o consumidor das doenças de origem alimentar. Neste estudo, pretendeu-se identificar os constructos do modelo da Teoria do Comportamento Planeado (Theory of Planned Behaviour – TPB, segundo a terminologia anglo-saxónica), de Icek Ajzen, que melhor explicam a intenção dos operadores de alimentos em adotarem os comportamentos de higiene, a saber: i) utilização de luvas e touca de proteção de cabelos, e ii) remoção de adornos pessoais, durante a manipulação de alimentos. Para o efeito, foi aplicado um questionário tendo por base a Teoria do Comportamento Planeado, a uma amostra de cento e vinte e três operadores dos vários refeitórios de uma universidade portuguesa, na sua grande maioria do sexo feminino (91,1%) e que manipulam alimentos numa base diária, recorrendo-se primeiramente a uma fase preliminar de estudo qualitativo, ou pré-inquérito, para melhor selecionar os temas essenciais e as principais categorias a considerar na construção deste inquérito. Os inquéritos foram tratados estatisticamente recorrendo-se à estatística descritiva, à análise fatorial e avaliação da consistência interna dos fatores resultantes, seguido da aplicação de regressão linear e metodologia de análise de trajetórias (path modeling) com vista à validação do TPB. Os resultados obtidos apontam para o fato de a Atitude ser o melhor preditor da Intenção em adotar os comportamentos em estudo. Verificou-se também que a motivação de cumprir resulta da pressão exercida pelos superiores hierárquicos ou colegas, influenciando positivamente a intenção, na medida em que as crenças normativas assumiram-se como sendo o segundo preditor que melhor previu a intenção.
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica - Manutenção e Produção
Resumo:
O presente relatório, no âmbito da obtenção do grau de Mestre no Ensino da Música, na Escola Superior de Música de Lisboa, descreve o estágio efectuado no Conservatório Regional de Setúbal e analisa a prática pedagógica do professor através de três alunos de violino e viola d´arco de níveis diferentes: Iniciação (violino); 4º grau, Ensino Básico (viola d´arco) e 7º grau, Ensino Secundário (viola d´arco). São descritas e analisadas as práticas pedagógicas desenvolvidas com base na filosofia do Método Suzuki e na Teoria da Auto-determinação de Edward L. Deci e Richard M. Ryan. O objectivo fundamental do processo de ensino- aprendizagem é a criação de condições para que os alunos se motivem autonomamente e atinjam níveis altos de motivação intrínseca (Teoria da Auto-determinação), e que se tornem bons instrumentistas e melhores seres humanos (Método Suzuki).
Resumo:
apresentado ao Instituto de Contabilidade e Administração do Porto para a Dissertação de Mestrado para obtenção do grau de Mestre em Contabilidade e Finanças sob orientação do Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira
Resumo:
Relatório EPE - Relatório de estágio em Educação Pré-Escolar: O presente relatório foi realizado no âmbito da unidade curricular Prática Pedagógica Supervisionada, inserida no Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, da Escola Superior de Educação do Porto, durante o ano letivo 2013/2014, atribuindo qualificação profissional no contexto de pré-escolar. Este documento pretende descrever e analisar o percurso formativo desenvolvido pela mestranda ao longo da sua prática pedagógica supervisionada, numa perspetiva reflexiva sobre a construção dos saberes profissionais para a Educação. Este percurso formativo comprometeu uma atitude investigativa, bem como a mobilização de saberes científicos e legais por forma a articular as vertentes de teoria e prática, perspetivando uma construção integrada dos saberes. A prática pedagógica foi sustentada numa perspetiva construtivista, atribuindo um papel ativo à criança na construção das suas aprendizagens. Esta baseou-se num trabalho de equipa cooperativo, o qual se concretiza através do debate e da partilha de ideias, entre os vários intervenientes da ação, como meio para a transformação da realidade educativa. Ao longo da prática foi, ainda, atribuído um papel fundamental à observação do contexto, sendo esta essencial para a compreensão e conhecimento pleno da criança. Em suma, todo o percurso formativo no qual está englobado a prática pedagógica, levou a uma problematização das questões emergentes da prática, desenvolvendo uma atitude indagadora e reflexiva. Apesar da significante contribuição para a aquisição de competências pessoais e profissionais, o percurso formativo deve ser assumido como uma construção contínua, fundamentado num princípio da aprendizagem ao longo da vida.
Resumo:
Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de doutor em filosofia
Resumo:
A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics
Resumo:
This thesis explores the debate and issues regarding the status of visual ;,iferellces in the optical writings of Rene Descartes, George Berkeley and James 1. Gibson. It gathers arguments from across their works and synthesizes an account of visual depthperception that accurately reflects the larger, metaphysical implications of their philosophical theories. Chapters 1 and 2 address the Cartesian and Berkelean theories of depth-perception, respectively. For Descartes and Berkeley the debate can be put in the following way: How is it possible that we experience objects as appearing outside of us, at various distances, if objects appear inside of us, in the representations of the individual's mind? Thus, the Descartes-Berkeley component of the debate takes place exclusively within a representationalist setting. Representational theories of depthperception are rooted in the scientific discovery that objects project a merely twodimensional patchwork of forms on the retina. I call this the "flat image" problem. This poses the problem of depth in terms of a difference between two- and three-dimensional orders (i.e., a gap to be bridged by one inferential procedure or another). Chapter 3 addresses Gibson's ecological response to the debate. Gibson argues that the perceiver cannot be flattened out into a passive, two-dimensional sensory surface. Perception is possible precisely because the body and the environment already have depth. Accordingly, the problem cannot be reduced to a gap between two- and threedimensional givens, a gap crossed with a projective geometry. The crucial difference is not one of a dimensional degree. Chapter 3 explores this theme and attempts to excavate the empirical and philosophical suppositions that lead Descartes and Berkeley to their respective theories of indirect perception. Gibson argues that the notion of visual inference, which is necessary to substantiate representational theories of indirect perception, is highly problematic. To elucidate this point, the thesis steps into the representationalist tradition, in order to show that problems that arise within it demand a tum toward Gibson's information-based doctrine of ecological specificity (which is to say, the theory of direct perception). Chapter 3 concludes with a careful examination of Gibsonian affordallces as the sole objects of direct perceptual experience. The final section provides an account of affordances that locates the moving, perceiving body at the heart of the experience of depth; an experience which emerges in the dynamical structures that cross the body and the world.
Resumo:
We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.
Resumo:
We propose finite sample tests and confidence sets for models with unobserved and generated regressors as well as various models estimated by instrumental variables methods. The validity of the procedures is unaffected by the presence of identification problems or \"weak instruments\", so no detection of such problems is required. We study two distinct approaches for various models considered by Pagan (1984). The first one is an instrument substitution method which generalizes an approach proposed by Anderson and Rubin (1949) and Fuller (1987) for different (although related) problems, while the second one is based on splitting the sample. The instrument substitution method uses the instruments directly, instead of generated regressors, in order to test hypotheses about the \"structural parameters\" of interest and build confidence sets. The second approach relies on \"generated regressors\", which allows a gain in degrees of freedom, and a sample split technique. For inference about general possibly nonlinear transformations of model parameters, projection techniques are proposed. A distributional theory is obtained under the assumptions of Gaussian errors and strictly exogenous regressors. We show that the various tests and confidence sets proposed are (locally) \"asymptotically valid\" under much weaker assumptions. The properties of the tests proposed are examined in simulation experiments. In general, they outperform the usual asymptotic inference methods in terms of both reliability and power. Finally, the techniques suggested are applied to a model of Tobin’s q and to a model of academic performance.
Resumo:
We discuss statistical inference problems associated with identification and testability in econometrics, and we emphasize the common nature of the two issues. After reviewing the relevant statistical notions, we consider in turn inference in nonparametric models and recent developments on weakly identified models (or weak instruments). We point out that many hypotheses, for which test procedures are commonly proposed, are not testable at all, while some frequently used econometric methods are fundamentally inappropriate for the models considered. Such situations lead to ill-defined statistical problems and are often associated with a misguided use of asymptotic distributional results. Concerning nonparametric hypotheses, we discuss three basic problems for which such difficulties occur: (1) testing a mean (or a moment) under (too) weak distributional assumptions; (2) inference under heteroskedasticity of unknown form; (3) inference in dynamic models with an unlimited number of parameters. Concerning weakly identified models, we stress that valid inference should be based on proper pivotal functions —a condition not satisfied by standard Wald-type methods based on standard errors — and we discuss recent developments in this field, mainly from the viewpoint of building valid tests and confidence sets. The techniques discussed include alternative proposed statistics, bounds, projection, split-sampling, conditioning, Monte Carlo tests. The possibility of deriving a finite-sample distributional theory, robustness to the presence of weak instruments, and robustness to the specification of a model for endogenous explanatory variables are stressed as important criteria assessing alternative procedures.