Este libro es una guía teórico-práctica que permite al estudiante de administración y carreras afines entender los conceptos sobre los que se fundamenta cada tema y aplicarlos a sus análisis administrativos. Para ello, además de una breve explicación teórica, en cada tema se presentan ejemplos resueltos y luego por resolver para fijar el aprendizaje. Finalmente, se cierra cada unidad con una serie de ejercicios aplicados. Esta obra es producto de la experiencia obtenida a lo largo de varios años en la coordinación y dictado de los cursos de la Universidad Peruana de Ciencias Aplicadas como Nivelación de Matemáticas, Lógica Matemática y, principalmente, Matemática Básica para Administradores. Asimismo, está complementado con los aportes y problemas propuestos por la mayoría de los profesores de estos cursos. Se trata entonces de una publicación útil y práctica para administradores, estudiantes y profesores.

Este libro es una guía teórico-práctica que permite al estudiante de administración y carreras afines entender los conceptos sobre los que se fundamenta cada tema y aplicarlos a sus análisis administrativos. Para ello, además de una breve explicación teórica, en cada tema se presentan ejemplos resueltos y luego por resolver para fijar el aprendizaje. Finalmente, se cierra cada unidad con una serie de ejercicios aplicados. Esta obra es producto de la experiencia obtenida a lo largo de varios años en la coordinación y dictado de los cursos de la Universidad Peruana de Ciencias Aplicadas como Nivelación de Matemáticas, Lógica Matemática y, principalmente, Matemática Básica para Administradores. Asimismo, está complementado con los aportes y problemas propuestos por la mayoría de los profesores de estos cursos. Se trata entonces de una publicación útil y práctica para administradores, estudiantes y profesores.

Este libro es una guía teórico-práctica que permite al estudiante de administración y carreras afines entender los conceptos sobre los que se fundamenta cada tema y aplicarlos a sus análisis administrativos. Para ello, además de una breve explicación teórica, en cada tema se presentan ejemplos resueltos y luego por resolver para fijar el aprendizaje. Finalmente, se cierra cada unidad con una serie de ejercicios aplicados. Esta obra es producto de la experiencia obtenida a lo largo de varios años en la coordinación y dictado de los cursos de la Universidad Peruana de Ciencias Aplicadas como Nivelación de Matemáticas, Lógica Matemática y, principalmente, Matemática Básica para Administradores. Asimismo, está complementado con los aportes y problemas propuestos por la mayoría de los profesores de estos cursos. Se trata entonces de una publicación útil y práctica para administradores, estudiantes y profesores.

El presente trabajo -Intuición y rigor en la resolución de problemas de optimización. Un análisis desde el enfoque ontosemiótico de la cognición e instrucción matemática- proporciona un aporte teórico con un estudio de la intuición, en particular de lo que llamo “intuición optimizadora”, en el marco del enfoque ontosemiótico de la cognición e instrucción matemática; y un aporte práctico, con el propósito de contribuir a mejorar la calidad de la educación matemática, haciendo propuestas concretas con fundamento matemático y didáctico para la inclusión de problemas de optimización en la educación básica, de modo que desde la niñez se estimule una intuición optimizadora sin descuidar el rigor, como parte de una formación científica integral.

Este trabajo tuvo como objetivo proponer un programa de juegos digitales sobre la clasificación y seriación para fortalecer el pensamiento lógico matemático en niños de tres años. Esta investigación cuenta con un diseño de básica propositiva, en la cual se pudo describir el nivel de lógica matemática en 30 niños de la Institución Educativa Nacional de Inicial N° 016 “Pastorcitos de Nuestra Señora de Guadalupe”. Donde se pudo aplicar al fenómeno de estudio una lista de cotejo compuesta por dos dimensiones clasificación y seriación, en la que salió como resultado evidenciándose un nivel bajo, de esto se partió para crear un programa de juegos llamado “Logikids” que se espera que tenga resultados eficientes en el área de matemática como en la educación integral de los niños desarrollando diversas habilidades de manera positiva y les permita desenvolverse de manera competente en la sociedad, dando soluciones a las problemática de la actualidad.

A Modelagem de Sólidos vem se estabelecendo como uma área da Computação Gráfica em pleno crescimento, sendo responsável pelo tratamento de problemas envolvendo a manipulação, análise e exibição interativa de modelos computacionais de objetos sólidos. Sistemas de CAD, CAM e CAE contribuíram para a popularização do uso de diversos conceitos dessa área. Ademais, o recente advento da Realidade Virtual mostrou a importância da aplicação de tais conceitos no projeto de mundos virtuais. A intenção inicial do presente trabalho foi a de elaborar um Sistema Modelador de Sólidos completo. Contudo, um sistema de tal monta demandaria mais tempo do que o disponível, além de exigir o trabalho em conjunto de uma equipe de analistas e programadores. Assim sendo, os esforços foram aplicados na elaboração de um sistema de suporte às Operações Booleanas Regularizadas, que são o cerne da técnica CSG. Tal sistema foi projetado de forma a garantir a portibilidade necessária para permitir sua execuçãm em diversos tipos de plataformas de hardware e software. Assim sendo, o presente trabalho propõe-se a estudar, analisar e dar suporte às Operações Booleanas Regularizadas entre primitivas CSG inseridas em mundos virtuais escritos em VRML (Virtual Reality Modeling Language), que não dá suporte a tais operadores. Apresenta-se aqui uma extensão à tal linguagem, além de métodos e algoritmos utilizados para a aproximação dos sólidos através da técnica de octrees.

A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.

A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T19:11:26Z (GMT). No. of bitstreams: 1 Silvestrini_LuizHenriquedaCruz_D.pdf: 1289416 bytes, checksum: aa5f4929e7149a647d28c4fd4df86874 (MD5) Previous issue date: 2011 / Resumo: Mikenberg, da Costa e Chuaqui (1986) introduziram a noção de quase-verdade por meio da noção de estruturas parciais, e para tanto, conceberam os predicados como ternas. O arcabouço conceitual resultante proporcionou o emprego de estruturas parciais na ciência, pois, em geral, não sabemos tudo a respeito de um determinado domínio de conhecimento. Generalizamos a noção de predicados como ternas para fórmulas complexas. A partir desta nova abordagem, obtemos uma definição de quase-verdade via noção de satisfação pragmática de uma fórmula A em uma estrutura parcial E. Introduzimos uma lógica subjacente à nossa nova definição de quase-verdade, a saber, a lógica paraconsistente trivalente LPT1, a qual possui uma axiomática de primeira ordem. Relacionamos a noção de quase-verdade com algumas lógicas paraconsistentes já existentes. Defendemos que a formalização das Sociedades Abertas, introduzidas por Carnielli e Lima-Marques (1999), quando combinada com quantificadores modulados, introduzidos por Grácio (1999), constitui uma alternativa para capturar a componente indutiva presente na atividade científica, e mostramos, a partir disso, que a proposta original de da Costa e colaboradores pode ser explicada em termos da nova noção de sociedades moduladas / Abstract: Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a conceptual framework to analyse the use of (first-order) structures in science in contexts of informational incompleteness. In this Thesis, the notion of predicates as triples is extended recursively to any complex formula of the first-order object language. From this, a new definition of quasi-truth via the notion of pragmatic satisfaction is obtained. We obtain the proof-theoretic counterpart of the logic underlying our new definition of quasi-truth, namely, the three-valued paraconsistent logic LPT1, which is presented axiomatically in a first-order language. We relate the notion of quasi-truth with some existing paraconsistent logics. We defend that the formalization of (open) society semantics when combined with the modulated quantifiers constitutes an alternative to capture the inductive component present in scientific activity, and show, from this, that the original proposal of da Costa and collaborators can be explained in terms of the new concept of modulated societies / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T20:57:48Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_D.pdf: 6531217 bytes, checksum: 2a972c9e9fa860af8f9cc57b3e1bb73d (MD5) Previous issue date: 2005 / Resumo: Neste trabalho investigamos com um enfoque abstrato um processo de combinações de lógicas conhecido como Fibrilação de lógicas. Em particular estudamos a transferência, mediante fibrilação, de certas propriedades intrínsecas às lógicas proposicionais. As noções mencionadas são as de protoalgebrizabilidade, equivalencialidade e algebrizabilidade. Ditas noções fazem parte da "Hierarquia de Leibniz" , conceito fundamental da chamada Lógica Algébrica Abstrata. Tal hierarquia classifica as diferentes lógicas segundo o seu grau de algebrizabilidade. Assim, nesta tese estudaremos se, quando duas lógicas possuem alguma dessas propriedades, a fibrilação delas possui também tal característica. Com o objetivo de diferençar os diferentes modos de fibrilação existentes na literatura, analisamos duas maneiras de fibrilar lógicas: Fibrilação categorial (ou C-fibrilação) e Fibrilação no sentido de D. Gabbay (G-fibrilação). Também estudamos uma variante da Gfibrilação de lógicas conhecida como Fusão de lógicas. Assim, damos diferentes condições que devem valer para que a C-fibrilação de uma lógica protoalgébrica seja também protoalgébrica, e procedemos de forma similar com as outras propriedades que constituem a Hierarquia de Leibniz. No caso da G-fibrilação e da fusão de lógicas chegamos a diversos resultados análogos aos anteriores, os quais permitem ter uma visão geral da relação entre Lógica Algébrica Abstrata e as Combinações de lógicas / Abstract: ln this thesis we investigate, with an abstract approach, a process of combinations of logics known as fibring of logics. ln particular we study the transference by fibring of certain properties, intrinsic to propositionallogics: protoalgebricity, equivalenciality and algebraizability. The notions above belong to the "Leibniz Hierarchy", a fundamental concept of the so-called Abstract Algebraic Logic. Such hierarchy classifies the logics according to its algebraizability degree. So, in this thesis we will study whether, given two logics having some of these properties, the fibring of them still has that property. With the aim of distinguishing the different techniques of fibring existing in the literature, we analyze two methods of fibring logics: Categorial Fibring (or C-fibring) and Fibring in D. Gabbay's sense (G-fibring). We also study a variant of G-fibring known as fusion of logics. So, we give different conditions that must hold in order to obtain a protoalgebraic logic by means of C-fibring of protoalgebric logics. We proceed in a similar way with the other properties that constitutes the Leibniz Hierarchy. With respect to G-fibring and fusion, we arrive to similar results which allow us to get an overview of the relation between Abstract AIgebraic Logic and the subject of combinations of logics / Doutorado / Doutor em Filosofia