Orientador: Andres Raggio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5) Previous issue date: 1977 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Ingeniero Civil Matemático / La presente memoria tiene como objetivo estudiar subshifts generados por sustituciones multidimensionales. Los sistemas dinámicos generados por sustituciones unidimensionales han sido ampliamente estudiados y existe una vasta teoría al respecto [6]. Un teorema importante de la teoría en el caso multidimensional fue demostrado el año 1989 por Mozes [18] y clasifica una gran cantidad de sistemas generados por Z^2-sustituciones dentro de la clase de Z^2-subshifts de tipo sófico. Dicho teorema si bien es bastante general y permite comprender mejor las propiedades dinámicas de estos sistemas, no abarca la clase de subshifts límites generados por una sustitución, ni tampoco entrega información sobre si los sistemas generados por sustituciones son Z^2-SFT de tipo finito o no. Una extensión del teorema de Mozes para el caso de subshifts límites generados por Z^2-sustituciones cuadradas de tamaño 2 fue probada recientemente por Ollinger [16]. La primera parte de este trabajo entrega algunos conceptos básicos de sistemas dinámicos topológicos y de dinámica simbólica que son necesarios para entender los argumentos que se utilizan en el resto del escrito. Posteriormente se estudian las Z^d-sustituciones junto con los sistemas dinámicos generados por ellas y se introduce el teorema de Mozes [18]. Luego se estudia el embaldosado de Robinson [23], el cual es un ejemplo clásico de un Z^2-SFT no vacío sin puntos periódicos que posee una estructura jerárquica interesante. Dicho sistema se generaliza de modo tal que dependa de dos números naturales k,l >=2 de modo tal que la estructura jerárquica tenga formas rectangulares que dependen de k y l. En el capítulo siguiente se extiende el resultado de Mozes para el caso de Z^2-subshifts límites generados por sustituciones rectangulares de tamaño arbitrario, así generalizando el resultado de Ollinger a un contexto más amplio. Para ello se utiliza una técnica distinta que emplea la estructura del embaldosado de Robinson generalizado para codificar en una secuencia de látices contenidos en dicha estructura el pasado completo de un punto de este tipo de subshifts bajo la acción de una sustitución. En el último capítulo se discute brevemente el problema de clasificar los subshifts generados por Z^2-sustituciones en subclases de los Z^2-subshifts de tipo sófico y posteriormente se estudia la existencia de Z^2-SFT minimales que no se reducen a una órbita finita y que son generados por sustituciones. Se culmina el capítulo con la construcción explícita de dicho objeto mostrando así que el problema de clasificación debe necesariamente considerar la existencia de dichas estructuras.

Antropóloga

Magíster en Ciencias de la Ingeniería, Mención Matemáticas Aplicadas. Ingeniero Civil Matemático / El presente trabajo de memoria analiza subshifts de tipo finito definidos sobre grupos virtual- mente-Z a partir de su subdinámica proyectiva: el estudio del subshift obtenido al restringir cada configuración a un subgrupo H. Trabajos previos, como el de R. Pavlov y M. Schraudner [12] o el de Johnson, Kass y Madden [14], se centran en el estudio de la subdinámica de subshifts sobre Z^d; así, el trabajo actual es una suerte de complemento de los anteriores, analizando un caso en que la relación entre un subshift y su subdinámica es más estrecha por el fuerte parecido geométrico existente. El primer capítulo introduce los conceptos algebraicos necesarios para definir los grupos virtualmente-Z y enunciar sus propiedades básicas. Se establecen diversas clasificaciones pa- ra este tipo de grupos, junto con herramientas útiles para la representación geométrica de un grupo, como los grafos de Cayley y Schreier. Posteriormente, se introducen los concep- tos fundamentales de dinámica simbólica para grupos de carácter general, necesarios para introducir la subdinámica proyectiva y el contexto en que ésta es natural. En el segundo capítulo se define formalmente la noción de subdinámica proyectiva y se expone la idea fundamental de la construcción realizada por Pavlov y Schraudner en [12]. Posteriormente, se realiza un estudio preliminar de los subshifts definidos sobre la clase de grupos de la forma Z × F, con |F| < ∞, que en particular comprende a todos los grupos virtualmente-Z abelianos, obteniéndose versiones análogas de algunos resultados de [12] en el contexto actual. Se demuestra que todos los Z-subshifts obtenidos como subdinámica proyectiva de un SFT sobre alguno de estos grupos son subshifts sóficos; asimismo, se muestra también que es posible realizar cualquier Z-sófico de entropía positiva como subdinámica proyectiva de un (Z × F)-SFT. Finalmente, se introducen condiciones necesarias para la realización de Z-sóficos de entropía nula. El tercer capítulo concierne la relación entre entropía de un subshift y de su subdinámica proyectiva, para el caso de grupos de la forma Z×F. El resultado principal consiste en mostrar que, si la subdinámica proyectiva es un Z-subshift irreducible y se alcanza la igualdad entre ambas entropías, la subdinámica es un SFT. Se introducen herramientas de teoría de grafos y un estudio de propiedades de mezcla que son necesarios para demostrar este resultado bajo las hipótesis expuestas. El capítulo final busca extender los argumentos empleados previamente para obtener teoremas de soficidad y realización en el caso más general. Se demuestra que la subdinámica proyectiva de cualquier SFT sobre un grupo virtualmente-Z es un Z-sófico; también se muestra un resultado de realización para una gran clase de grupos virtualmente-Z. Se concluye esbozando argumentos para generalizar los resultados obtenidos en los capítulos previos. En la parte final del capítulo 4 y en las conclusiones se exploran posibles avenidas para un trabajo futuro que esclarezca la relación entre un subshift y su subdinámica proyectiva en el caso virtualmente-Z.

Made available in DSpace on 2016-08-29T14:12:14Z (GMT). No. of bitstreams: 1 tese_7636_Dissertação PPGHIS UFES Rosely Machado.pdf: 10458755 bytes, checksum: 7992e95449631487607727a133a64302 (MD5) Previous issue date: 2015-05-15 / Esta dissertação inscreve-se no debate sobre educação e política, voltado para análise da relação entre educação, currículo escolar e violência simbólica, na perspectiva do adolescente entre 12 e 17 anos que cumpre medida socioeducativa no Centro de Referência Especializado de Assistência Social CREAS de Vitória (ES). Tem por objetivo analisar e refletir sobre a inadequação curricular no que se refere às expectativas desses adolescentes. A hipótese sustentada é que há inadequação curricular de um modo geral e, em particular, para atender à condição dos alunos em cumprimento de medida socioeducativa. A pesquisa demonstra que existe uma discrepância grande entre a regulamentação das medidas e a prática no cotidiano escolar desses adolescentes, e um dos grandes entraves para essa adequação é a ausência de protagonismo, ou seja, os professores que trabalham com esses adolescentes e o próprio adolescente não foram ouvidos para a formulação das propostas. Resultado disso é uma escola totalmente desinteressante para esses adolescentes e ineficaz do ponto de vista pedagógico. Teoricamente, o fio condutor desta análise teve como base a violência simbólica a partir de Bourdieu e Passeron e as discussões feitas por Apple e Candau.

Programa de Pós-Graduação em Ciências – Física de Materiais. Departamento de Física, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-04-24T17:35:02Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-04-24T18:20:33Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) / Made available in DSpace on 2015-04-24T18:20:33Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_EstudoModelosConservação.pdf: 1757239 bytes, checksum: c17144bfb0e5835c429c1560de8c8658 (MD5) Previous issue date: 2015 / Nesse trabalho, investigamos o fenômeno de crescimento da superfície gerada pela deposição do tipo solido sobre sólido (SOS) segundo as regras que definem os autômatos celulares estocásticos propostos por Grassberger (modelos A e B), e pela propagação de danos no modelo de Ising unidimensional submetido a uma dinâmica proposta por Hinrichsen e Domany (HD). Esses modelos não pertencem à classe de universalidade da percolação direcionada (DP) e apresentam novos valores para expoentes críticos, cuja origem se deve à conservação de paridade (PC). Determinamos o expoente de persistência local _, expoente de crescimento _w, válido em tempos curtos, assim como os outros expoentes críticos associados ao crescimento de superfície (_ e z). Nossas estimativas para os expoentes _w, _ e z, se comparam bem com os resultados obtidos a partir de razões de inteiros propostas por Jensen para os expoentes _, || _ e __ . Além disso, através da introdução de um campo externo no modelo A de Grassberger mapeamos a transição da classe de universalidade da PC para a DP através do expoente _w. ______________________________________________________________________________________________ / ABSTRACT: In this work, we investigated the phenomena of surface growth by the solid-onsolid (SOS) deposition according to the rules that define the stochastic cellular automata proposed by Grassberger (A and B models), and the damage spreandig in an one-dimensional Ising model submitted to a dynamic proposed by Hinrichsen and Domany (HD). These models are known do not belong to the directed percolation universality class. They are characterized by different exponents, which are related to the parity conserving (PC). We estimated the local persistence exponent , growth exponent w, in short-time regimen, such as, other critical exponents associated to the surface growth ( and z). Our results for w, and z are in good agreement with those expected for parity conserving universality class. In the sequence, by introduction of an external symmetry breaking field on Grassbergers´s A model we studied the crossover from PC to DP universality class by surface growth.

In recent years, there is a growing interest in many-valued logics in many areas such as computer sciences automated theorem proving, approximate reasoning, multi-agent systems, program verication electrical engineering and digital circuits, linguistics, mathematics and algebra, philosophy, etc. In this context, the general problem of nding an axiomatization for nite many-valued logics has not yet been solved satisfactorily. For this, we must demonstrate the correction and completeness theorems of these logic systems, both mathematically rigorous. Soundness theorem is straightforward, however, it is known that the demonstration of the "completeness theorem"is much more sosticated and unique for each logic system. Completeness is one of the most important notions in logic and the foundations of mathematics. Completeness means the possibility of getting all correct and reliable schemata of inference by use of logical methods. When one wishes to build or design a many-valued logic system, he or she is implicitly looking for a system with a minimal set of axioms and rules. The purpose of this thesis is to establish a general algorithmic completeness proof procedure for nite many-valued logics. It is shown that a matrix is characteristic (sound and complete) for a many-valued nite logic system when, all successive correct extensions of this matrix have the same set of tautologies. It is also shown that in order to determine if a matrix is characteristic, all one has to do is to fetch from all the unit extensions those which are correct and then verify if they are repetitions of the matrix being considered. How to implement a computational procedure to demonstrate the completeness of a many-valued nite logic system is shown from these results. The new approach is a simpler and more uniform solution for the problem of nite many-valued logics axiomatization. / Nos últimos anos tem crescido o interesse nas denominadas lógicas multivalentes: no ramo da computação, em áreas como prova automática de teoremas, raciocínio aproximado, sistemas multi-agente e vericação de programas; na engenharia elétrica como em circuitos digitais; na área da matemática pura, como em provas de independência ou consistência, na teoria generalizada de conjuntos e estruturas algébricas universais e mesmo na linguística e losoa. Nesse contexto, o problema de axiomatização geral de lógicas nitas multivalentes ainda não foi resolvido de forma satisfatória. Para tal, devemos demonstrar os teoremas da correção e completude desses sistemas lógicos, ambos teoremas matematicamente rigorosos. De forma geral, a demostração do teorema da correção não pode ser considerada como uma diculdade pois é direta, bastando uma vericação nos axiomas e regras de inferência. No entanto, é sabido que em geral a demonstração do teorema da completude é muito mais sosticada e particular para cada sistema lógico. A completude é uma das noções mais importantes na Lógica e nos fundamentos da Matemática. Completude signica a demonstração da possibilidade de obtermos todos os esquemas corretos de inferência através do uso de um sistema formal lógico. Além disso, quando desejamos construir ou desenhar um sistema lógico multivalente implicitamente estamos procurando por um sistema com um conjunto mínimo de axiomas e regras. A proposta dessa tese é estabelecer um método algorítmico para demonstra ção da completude em lógicas nitas multivalentes. Demonstra-se que se uma matriz M é correta para um sistema lógico nito multivalente L e todas as suas extensões unitárias corretas são repetições da matriz M, então M é uma matriz característica de L. A partir desse resultado, são implementados procedimentos computacionais que demonstram a completude de um sistema lógico nito multivalente. A nova abordagem soluciona de uma forma mais simples e uniforme o problema da axiomatização de lógicas nitas multivalentes. / Doutor em Ciências

Este trabajo describe las circunstancias de la entrada de José de San Martín en Lima y la posterior proclamación de la independencia el 28 de julio de 1821, con el objetivo de contribuir a la reflexión teórica sobre el ritual político entendido como un dispositivo de pactos. Para ello, analiza las conexiones de este evento con la tradición del recibimiento de virreyes y proclamaciones reales en todas sus fases, examina el problema de la construcción simbólica de la autoridad suprema y vincula esto último a la empresa más amplia de regeneración política e identitaria conducida en el plano simbólico por el «libertador-protector».

Orientador: Michael Beaumont Wrigley / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-26T10:05:31Z (GMT). No. of bitstreams: 1 Sarmento_GaribaldiMonteiro_D.pdf: 2167671 bytes, checksum: 2b263ef3901972c08f6bbd92cd223477 (MD5) Previous issue date: 2000 / Resumo: Tomando-se por base uma análise lógico-epistemológica da noção Fregeana de analiticidade, e uma (re)definiçâo dessa noção em termos de teoria de modelos, proponho uma abordagem 'neo-logicista' para fundamentação da aritmética elementar. Este enfoque lógíco-reducionista consiste na derivação formal dos axiomas da Teoria Geral de Conjuntos (arcabouço semântico para a aritmética de Peano em segunda ordem) de um sistema lógico de ordem superior, cuja base axiomático-definicional é caracterizada pelo acréscimo do axioma da extensionalidade, a um fragmento da lógica de segunda ordem (total), e pela introdução de um princípio de abstração analítico que denominamos de 'princípio de equipolência lógica'. Além disso, estabeleço um critério Iógico-epistemológico para a demarcação de definições contextuais analíticas baseado na (re)definição de analiticidade e no princípio de equipolência lógica / Abstract: Taking as starting point a logico-epistemological analysis of Frege's notion of analyticity, and a (re)definition of this notion in model-theoretic terms, I offer a 'neo-logicisl' approach to the foundations of arithmetic. This logico-reductionist approach consists in the formal derivation of the axioms of General Set Theory (which is the semantic framework for second-order Peano arithmetic) from a higher-order logical system, whose axiomatic-definitional basis consists of axiom of extensionality and an analytic principle of abstraction which we shall call the "principle of logical equipollence". Furthermore, I establish a logico-epistemological criterion for demarcation of analytical contextual definitions based on the {redefinition of analyticity, here proposed, and the principle of logical equipollence / Doutorado / Doutor em Filosofia

Orientador : Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T11:11:33Z (GMT). No. of bitstreams: 1 CifuentesVasquez_JoseCarlos_M.pdf: 4387558 bytes, checksum: 53ae15e0d9bb7091eead68294bfd8ecc (MD5) Previous issue date: 1988 / Resumo: Não encontrado / Abstract: Not informed / Mestrado / Mestre em Matemática