Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Basi di Campi Finiti

Questo elaborato si propone di approfondire lo studio dei campi finiti, in modo particolare soffermandosi sull’esistenza di una base normale per un campo finito, in quanto l'utilizzo di una tale base ha notevoli applicazioni in ambito crittografico. ​Vengono trattati i seguenti argomenti: elementi di base della teoria dei campi finiti, funzione traccia e funzione norma, basi duali, basi normali. Vengono date due dimostrazioni del Teorema della Base Normale, la seconda delle quali fa uso dei polinomi linearizzati ed è in realtà un po' più generale, in quanto si riferisce ai q-moduli.​

A dor que dói na escola: psicanálise e educação no século XXI

A presente pesquisa nasce da inserção de uma psicóloga em formação psicanalítica em escolas municipais da cidade do Rio de Janeiro. Nosso ponto de partida é a expansão dos diagnósticos de Déficit de Atenção e Hiperatividade em crianças em idade escolar e de Burnout em professores. O reconhecimento de que tais diagnósticos são nomes correntes na atualidade para nomear a dor que dói na escola permite que nos questionemos sobre as mudanças no campo da cultura e suas repercussões na tarefa educativa na escola. Para construirmos uma leitura sobre o mal-estar na escola em nossa época, recorremos à psicanálise enquanto instrumento primordial. Nossa investigação se inicia em Freud e suas diversas concepções de educação, desde a noção de moral sexual civilizada até admissão da educação enquanto uma tarefa necessária e impossível, causadora do mal-estar. Logo em seguida, abordamos a releitura de Freud feita por Lacan a partir da teoria dos discursos. Passamos, assim, à educação enquanto laço social. Verificamos o quanto Lacan avança ao distinguir o discurso do mestre como discurso de entrada na linguagem, a partir do qual os outros discursos são possíveis. O discurso do mestre escreve a operação permanente em toda civilização, sem que isso indique a imutabilidade do Outro. Ao nos indagarmos sobre a delimitação do Outro em nossa época, reconhecemos a importância do discurso da ciência e do capitalista, assim como o Outro nãotodo. Com essas chaves de leitura, questionamo-nos sobre o lugar da criança na cultura hoje e sobre os significantes-mestres das atuais políticas públicas para a educação, aproximando-nos do mal-estar na escola. Sustentados por essas ferramentas, terminamos por nos indagar sobre a prática da psicanálise nas instituições escolares, desvendando que a partir das (re)invenções da psicanálise, há na escola um lugar possível para o psicanalista.

Interpretazione in una logica n-dimensionale di Metafisica 4,4

Il Principio di non contraddizione (PNC) così come tradizionalmente inteso sembra minare alla base la possibilità di un'alterità « assoluta », di un'alterità, cioè che non sia in nessun modo riconducibile ad un'ipseità che la conosca. [...]

Anatta e Anicca nella poetica interstiziale di Fernando Pessoa

Tendo como prerrogativa o desmascaramento da pretensão, inserida em qualquer essência fenoménica e psicológica, de afirmar-se como uma entidade autónoma, isolada e independente, como puro “em si”, e à revelação de como, contrariamente, qualquer realidade empírica tenha de tal forma uma natureza impermanente subentendendo-se como uma rede de relações e de interligações, a teoria da anatta-, juntamente com a da anicca, representam no âmbito do ensinamento budista talvez o que mais se assemelha ao conceito de askesis filosófica formulado no Ocidente por uma certa tradição de pensamento tendo como raízes Heraclito, Platão, Hegel e Nietzsche e que descobre dois de entre os mais originais intérpretes em Novalis e Pessoa. De facto, quer no primeiro quer no segundo, o filosofar configura-se como uma arte de compor e recompor- se a si mesmo, um percurso de iniciação a si que passa inexoravelmente pelo abandono da posição da própria auto-referencialidade e da aceitação ontognoseológica do outro no seio do idêntico. Mediante esta operação de descentralização, que em Pessoa começa e se dissolve no interior da estratégia estética da heteronímia, onde a palavra poética transfigura-se no interstício, na abdicação e fingimento, o sujeito descobre-se diferença e relação e é-lhe finalmente possível reconhecer-se como totalidade e de reflectir-se nela.

Fatores indutores à evolução da gestão ambiental na indústria: uma abordagem pela Teoria Institucional.

A poluição figura como a principal causadora dos altos impactos ambientais provocando danos à sociedade, à fauna e a flora com degradação e comprometimento do meio ambiente. Somado a esse fato, existe outra fundamental consideração quanto à utilização e desperdício de recursos naturais advindos da produção de bens que visa expandir-se sempre uma vez que busca a ampliação dos mercados e consequentemente do consumo. As organizações industriais são apontadas como grandes responsáveis pela contribuição e acirramento desses problemas. Entretanto, com a inclusão de variáveis sociais e ambientais na condução das atividades empresariais, nota-se uma adoção de práticas diferenciadas para uma prevenção à poluição, maior eficiência e diminuição do uso de recursos naturais. Esta pesquisa tem como principal objetivo identificar em que etapas de gestão se encontram as empresas industriais brasileiras dos segmentos de transformação e os fatores indutores que as levam a adotar a gestão diferenciada, como a produção mais limpa. A investigação se deu mediante survey com posterior Análise Fatorial por Componentes Principais para destacar as variáveis mais relevantes e aplicada Regressão Linear Múltipla para verificar a evolução da gestão ambiental, os fatores motivadores mais influentes e a percepção dos gestores quanto às pressões sofridas, segundo preceitos da Teoria Institucional. Foi possível constatar que as empresas evoluíram positivamente sobre os entendimentos do meio ambiente nas atividades gerenciais nos últimos anos, e que a pressão coercitiva é um fator relevante na gestão das empresas gaúchas e fluminenses. Contudo, o meio ambiente ainda não é abordado de forma estruturada e sistematizada por tais empresas.

Organizações culturais e (re)configuração do espaço: o caso do Istituto Europeo di Design, na cidade do Rio de Janeiro

O presente estudo tem como objetivo investigar de que maneira a possibilidade de instalação do Istituto Europeo di Design (IED) no bairro da Urca, na cidade do Rio de Janeiro, interfere na (re)configuração do espaço. Para o estudo desse processo adotou-se o conceito de espaço definido por Milton Santos, que o caracteriza como um conjunto indissociável de sistemas de objetos e ações, considerando necessária sua análise numa perspectiva histórica. Para ampliação das considerações sobre poder, identificação e caracterização dos atores sociais e das relações entre eles estabelecidas foram utilizados conceitos propostos por Carlos Matus para a análise da realidade social. A pesquisa de campo, de natureza qualitativa, coletou dados secundários a partir de notícias sobre o processo de revitalização do antigo Cassino da Urca e instalação do Istituto Europeo di Design no local, publicadas em jornais e revistas impressos, jornais on line e blogs, assim como dados primários, a partir de observação não estruturada das instalações ao redor do prédio do antigo Cassino da Urca, participação em reuniões da associação de bairro e entrevistas semi-estruturadas com representantes de organizações envolvidas no processo. Para o tratamento dos dados coletados, realizou-se análise argumentativa e interpretativa a partir da teoria utilizada. Com base nas notícias e documentos consultados, foi definido o período de análise, desde a cessão do prédio do antigo Cassino da Urca ao IED, em agosto de 2006, até o anúncio de parceria com outra organização, pelo instituto, em maio de 2012. O estudo permitiu identificar que a instalação do IED na Urca interferiu na configuração do espaço, principalmente no que se refere à formação e à atuação da associação de moradores do bairro, à instalação de novos empreendimentos comerciais no entorno do prédio já restaurado e, por consequência, na paisagem do bairro. Destaca-se também que a instalação do IED gerou mudanças que extrapolam os limites territoriais do bairro. Com base nos dados analisados, destaca-se que a relação de cooperação entre a Prefeitura Municipal do Rio de Janeiro e o IED foi estabelecida em torno da valorização por parte da Prefeitura do domínio de uma capacidade técnica pelo IED, nas áreas de atuação da organização, que são o ensino, pesquisa e consultoria nas áreas de arquitetura, design, moda e comunicação, o que reforça o argumento da valorização atual de organizações culturais no processo de (re)configuração do espaço urbano, quanto aos aspectos econômicos, simbólicos e sociais.

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Teoria de estabilidade de equações diferenciais ordinárias e aplicações: modelos presa-predador e competição entre espécies

Pós-graduação em Matemática Universitária - IGCE

Anti-de Sitter holography in di?erent coordinates

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)