Trabajo que aborda el diseño del Complejo de viviendas tutelares para el adulto mayor en una de la manzanas del centro histórico de Lima / Tesis

En muchas situaciones reales se trata de utilizar determinados recursos en una cantidad limitada pero de la mejor manera, es decir que su uso cause el mayor provecho. La programación lineal estudia la optimización de una función lineal que satisface un conjunto de restricciones lineales de igualdad o desigualdad. La programación lineal es un modelo matemático que fue planteado por primera vez por George B. Dantzing en1947 cuando era consejero matemático de la fuerza aérea de los Estados Unidos. Sabemos además que en1939 Leonid V. Kantorovich ya había planteado y resuelto problemas de este tipo. En aplicaciones de la optimización a la economía, teoría de control, problemas inversos etc, surgen problemas donde la función objetivo no siempre es diferenciable o casos en los cuales el problema no está bien puesto. Para resolver problemas como estos se utilizan técnicas en el contexto del análisis convexo, como los métodos de regularización para funciones convexas así como los métodos de punto proximal y lagrangeano aumentado ente otros. Recientemente, en el año 2009, los profesores Bauschke, Lucet y Triens propusieron la media proximal, una novedosa técnica que tiene la propiedad de ser autodual respecto a la conjugada de Fenchel, que puede trabajar incluso con funciones de dominio disjunto, veremos que esta técnica puede ser aprovechada para manipular la envoltura de Goebel y probar su autodualidad respecto a la conjugada de Fenchel, además de tratar la optimización de varias funciones objetivo en el caso convexo o inclusive en el caso de ciertas funciones no necesariamente convexas aun cuando los dominios de estas funciones sean disjuntos. / Tesis

Presenta una propuesta de negocio de un proyecto inmobiliario en el Distrito de Asia, provincia de Cañete, departamento de Lima. Se trata de unidades inmobiliarias llamadas “First Line” dado que su edificación se dará sobre un terreno ubicado a orillas del mar. El producto está dirigido al Nivel socioeconómico A que desea adquirir una segunda vivienda en las afueras de la ciudad, en este caso en las playas del sur. Teniendo en consideración que la propuesta de valor y el concepto del presente plan de negocios, han tenido resultados favorables en la investigación del mercado y en el análisis de las proyecciones financieras, se concluye que las perspectivas son altamente favorables, tanto desde el punto de vista de la demanda de la viabilidad financiera del proyecto. / Tesis

Antonio Monteiro realizó una caracterización de las congruencias maximales para ciertas variedades semisimples, permitiendo presentar un teorema de representación de las mismas; que bajo condiciones específicas, este teorema se le puede presentar una prueba unificada. En esta tesis, mostramos que esta noción de congruencia maximal está íntimamente ligada a la noción de teorías maximales de Henkin para ciertas familias de lógicas de la literatura de lógicas algebraicas. Para ver esta relación, estudiamos la clase de álgebras de Hilbert n-valoradas con supremo enriquecidas con operadores de Moisil. Para esta clase de álgebras, presentamos un cálculo proposicional y de primer orden correctos y completos. Además, mostramos cómo funciona esta relación para lógicas de variedades semisimples estudiadas en la escuela de Monteiro. Ampliando el alcance de las aplicaciones, presentamos resultados de correctitud y completitud para lógicas paraconsistentes de primer orden a través de una semántica matricial no determinista. A pesar de que estas lógicas no son algebraizables con el método general de Blok-Pigozzi, presentan un comportamiento algebraico que nos permite dar una presentación simplificada. Por otro lado, construimos modelos valorados sobre estructuras de Fidel siguiendo la metodología desarrollada para modelos valorados de Heyting; recordemos que las estructuras de Fidel no son álgebras en el sentido del álgebra universal. Tomando modelos que verifican la ley de Leibniz, podemos probar que todos los axiomas de la teoría de conjuntos de ZF son válidos sobre estos modelos. La prueba se basa fuertemente en la existencia de modelos paraconsistentes de la ley de Leibniz. En este escenario, se discute la dificultad de tener modelos de ley algebraicos paraconsistentes para fórmulas con negación usando el mapeo interpretación estándar, mostrando que la existencia de modelos de la ley de Leibniz es esencial para obtener modelos para ZF. / Antonio Monteiro gave a characterization of maximal congruences in certain semisimple varieties in order to present a representation theorem for them. Under specific conditions, this theorem can be presented with the same proof for every semisimple variety considered by him. In this thesis, we show that this notion of maximal congruence is closely linked to Henkin’s notion of maximal theories for certain families of logics from the literature of algebraic logic. To see this relation, we study the class of n-valued Hilbert algebras with supremum enriched with Moisil operators. For this class of algebras, we present a sound and complete propositional and first-order calculus. Moreover, we show how this relation works for logics from semisimple varieties studied in the Monteiro’s school. Extending the scope of applications, we present soundness and completeness results for some first-order paraconsistent logics through non-deterministic matrix semantics. Despite the fact that these logics are not algebraizable with the Blok-Pigozzi’s method, they display an algebraic behaviour that allows us to give a simplified presentation. On the other hand, we build Fidel-structures valued models following the methodology developed for Heyting-valued models; recall that Fidel structures are not algebras in the universal algebra sense. Taking models that verify Leibniz law, we are able to prove that all set-theoretic axioms of ZF are valid over these models. The proof is strongly based on the existence of paraconsistent models of Leibniz law. In this setting, the difficulty of having algebraic paraconsistent models of law for formulas with negation using the standard interpretation map is discussed, showing that the existence of models of Leibniz law is essential to getting models for ZF.

Popa [13] introduced the notion of rare continuity. In the same spirit, we introduce a new class of functions called rarely βθ-continuous functions by utilizing the notion of β-θ-open sets. We also investigate some of its fundamental properties. This type of continuity is stronger that rare β-continuity [9]. / En este paper nosotros introducimos una nueva clase de función denominada función raramente βθ-continua usando la noción de conjuntos β-θ-abiertos. Este tipo de continuidad es una noción más fuerte que lanoción de función rare β-continua dada por Jafari [9].

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-12T15:13:32Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) dissertacao rommel cc.pdf: 1665635 bytes, checksum: 9f894f847272036c011387e2de71507f (MD5) / Made available in DSpace on 2014-08-12T15:13:32Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) dissertacao rommel cc.pdf: 1665635 bytes, checksum: 9f894f847272036c011387e2de71507f (MD5) Previous issue date: 2009-03-12 / Given a graph G = (V;E) and a set of vertices D V, a vertice v 2 V is dominated by D if jN[v] \ Dj 1. When jN(v) \ Dj = 1 for all v 2 V, G is efficiently dominable. A generalization of this concept is called efficient multiple domination, which requires all vertices must be dominated by a set D V exactly k times. The aim of this dissertation is to study these topics, describing the theoretical knowledge needed for advanced researches. For this reason, many of the theorems and its proofs are detailed. Furthermore, some results on the efficient multiple domination are presented, including bounds for the size of efficient k-dominating sets, the complement and iterated line graphs of efficiently (r + 1)-dominable r-regular graphs and a N P-completeness proof for the efficient multiple domination problem in arbitrary graphs. It is expected that this work contribute to the development of future researches on the efficient domination and in the resolution of some open problems. / Dado um grafo G = (V;E) e um subconjunto de vértices D V, define-se D como um conjunto dominante de G se todo vértice v 2 V que não estiver incluído no conjunto D for adjacente a pelo menos um vértice de D. Na situação em que, para todo v 2 V, jN[v]\Dj = 1, diz-se que o grafo G é eficientemente dominado. Uma generalização desse conceito consiste na múltipla dominação eficiente, em que é requerido que todo vértice do grafo seja dominado exatamente k vezes. O objetivo deste trabalho é realizar um estudo exploratório sobre esses temas, de modo a reunir o conhecimento teórico requerido para pesquisas avançadas. Para isso, buscou-se a apresentação e o detalhamento das demonstrações dos teoremas estudados. Além disso, foram fornecidos alguns resultados sobre a múltipla dominação eficiente no que se refere aos limites para o tamanho de um conjunto k-dominante eficiente, à relação da k-dominação eficiente entre grafos regulares, seu complemento e seus grafos linha iterados, bem como à caracterização da N P-completude para o problema da múltipla dominação eficiente em grafos arbitrários. Espera-se que esta dissertação forneça subsídios teóricos para estudos futuros voltados à dominação eficiente, bem como à resolução de algumas questões em aberto.

O presente trabalho tem como objetivo apresentar os conjuntos fortemente nulos e fortemente magros. Mais especicamente, iremos apresentar algumas aplicações e avaliar a independência de ZFC de armações envolvendo tais conjuntos. Com relação às aplicações, daremos alguns exemplos de conjuntos fortemente nulos e fortemente magros, estudaremos a aditividade do ideal formado pelos subconjuntos fortemente nulos da reta real, apresentaremos uma análise da relação entre a propriedade fortemente nulo e translações de subconjuntos da reta, mostraremos equivalências da Conjectura de Borel em espaços métricos, com a armação R-BC e com uma armação envolvendo jogos. Com relação a análise de independência de armações de ZFC, mostraremos que a Conjectura Dual de Borel é independente de ZFC e que a negação da Conjectura de Borel é consistente com ZFC. / The present work aims to present the strongly null and strongly meager sets. More specically, we will present some applications and evaluate the independence of ZFC from statements involving such sets. With respect to the applications, we will give some examples of strongly null and strongly meager sets, we will study the additivity of the ideal formed by the strongly null subsets of the real line, we will present an analysis of the relation between the strongly null property and the subsets of the line, of the Borel Conjecture in metric spaces, with the statement R-BC and with a statement involving games. Regarding the analysis of the independence of ZFC statements, we will show that the Borel Dual Conjecture is independent of ZFC and that the negation of the Borel Conjecture is consistent with ZFC.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-08-25T18:53:26Z No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) / Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-01-24T12:17:05Z (GMT) No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) / Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-01-24T12:18:07Z (GMT) No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) / Made available in DSpace on 2018-01-24T12:21:46Z (GMT). No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) Previous issue date: 2017-05-05 / Não recebi financiamento / The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students. / O objetivo deste trabalho é propor um método que permita levar os fundamentos da lógica matemática para o ensino médio por meio da utilização da teoria dos conjuntos, porém fazendo todo a aproximação do assunto utilizando diagramas, tornando possível evitar assim, para as demonstrações e o entendimento necessários ao desenvolvimento do assunto, os rigores da escrita utilizada na lógica matemática, que, em um primeiro contato, podem desestimular o interesse dos alunos iniciantes

The present papers deals with three variable analogue of Boas and Buck [14] type generating functions forpolynomials of two variables and then the same has been extended for m-variable analogue. The results obtained are extensions of those obtained by us in our earlier paper [14]. / El presente artículo trata el anólogo de tres variables de la función generatriz de Boas and Buck [14] para polinomios de dos variables y lo mismo se puede extender para el análogo de m variables. Los resultados obtenidos son extensiones de un artículo previo [14].

A crescente criminalidade nas áreas urbanas e o sentimento de insegurança dos cidadãos, bem como as formas de prevenção a estes problemas através do projeto urbano, são questões que tem sido investigadas em estudos relacionados aos efeitos do ambiente construído sobre a ocorrência de crimes. Muitas pesquisas tem evidenciado o importante papel do projeto físico na redução do crime no espaço urbano, sugerindo que a organização dos espaços pode minimizar as oportunidades do crime ocorrer. O layout do ambiente não irá causar ou inibir a atividade criminal, ou determinar o nível de segurança do espaço, mas nos locais onde o problema da falta de segurança existe, o layout e a organização do espaço podem torná-lo mais seguro. Partindo da premissa que a falta de segurança urbana se reflete em ambientes residenciais, mais especificamente em conjuntos habitacionais, tendo um forte impacto na qualidade de vida, atitudes e comportamento dos usuários, esta pesquisa tem como objetivo verificar a influência de determinadas variáveis físicas de projeto na ocorrência de crimes em seis conjuntos habitacionais localizados na cidade de Porto Alegre, que apresentam diferentes tipologias e configurações, inseridos em diferentes contextos urbanos, destinados à população de baixa renda. A escolha do local para realizar o estudo também objetivou expandir o reduzido conhecimento existente sobre as variáveis físicas associadas ao crime em conjuntos habitacionais de Porto Alegre. Foram selecionados indicadores para analisar estes fatores, através do uso de métodos de avaliação pós-ocupação. Os resultados sustentaram a influência de fatores relacionados ao controle territorial, conexões visuais e funcionais, localização do conjunto e criminalidade da área, não sustentando totalmente a influência de fatores relacionados à definição territorial, configuração dos acessos, manutenção das edificações e áreas livres, nível de integração das vias de circulação e uso dos espaços na ocorrência de crime nestes ambientes. Assim, fica evidenciada a importância da consideração das variáveis físicas do layout de conjuntos habitacionais como agentes na redução da suscetibilidade destes locais ao crime.