De las numerosas subvariedades de las álgebras de Ockham, aquella estrechamente relacionada con las álgebras de De Morgan es Km,0 con m > 1, la cual está formada por las álgebras de Ockham que satisfacen la identidad adicional f2m(x) = x. Como las álgebras de Lukasiewicz-Moisil de orden n (o Ln–álgebras) tienen un reducto que es un álgebra de De Morgan, T. Almada y J. Vaz de Carvalho ([1]) consideraron una generalización de las Ln–álgebras reemplazando dicho reducto por uno que pertenece a Km,0 y, de este modo, introdujeron la variedad de las álgebras de Lukasiewicz m−generalizadas de orden n (o Lmn–álgebras). En esta tesis, nosotros continuamos con el estudio de esta variedad. Al volumen lo hemos organizado en cinco capítulos. En el Capítulo I damos nociones básicas y hacemos un repaso de los resultados más importantes de álgebra universal. Además, hemos incluido una breve exposición sobre la teoría de los cálculos proposicionales extensionales implicativos standars. Por último, describimos la localización para retículos distributivos acotados. Todos estos temas los hemos incluido tanto para facilitar la lectura como para fijar los conceptos que utilizaremos en el desarrollo de este trabajo. En el Capítulo II, comenzamos nuestro estudio de las álgebras de Lukasiewicz m– generalizadas de orden n. En primer lugar, y motivados por el rol fundamental que desempeña la implicación débil en las álgebras de Lukasiewicz de orden n, introducimos una operación de implicación en las Lmn –álgebras. Esta implicación nos permitió considerar la noción de sistema deductivo a partir de la cual caracterizamos a las congruencias. Cabe señalar que este resultado fue fundamental para describir a las congruencias principales, de manera más simple que la obtenida en [1] a partir de la teoría de las álgebras de Ockham. Además, dicha implicación nos permitió definir un elemento fundamental para obtener una nueva caracterización de las álgebras simples y hallar el polinomio discriminador ternario para esta variedad. Algunos de los temas estudiados en este capítulo fueron expuestos en las comunicaciones: Sobre las m−álgebras de Lukasiewicz generalizadas de orden n, C. Gallardo y A. Ziliani, LVIII Reunión Anual de Comunicaciones Científicas de la UMA, U.N. de Cuyo, 2008. La variedad discriminadora de las m-álgebras de Lukasiewicz generalizadas de orden n, LVIII Reunión Anual de Comunicaciones Científicas de la UMA, U.N. de Mar del Plata, 2009. Además, se encuentran publicados en [32]: Weak implication on generalized Lukasiewicz algebras of order n, A.V. Figallo, C. A. Gallardo y A. Ziliani, Bulletin of the Section of Logic, 39, 4(2010), 187–198. En el Capítulo III, y con el propósito de hallar un cálculo proposicional para el cual las Lmn–álgebras sean su contrapartida algebraica, introducimos una nueva operación de implicación a la que denominamos implicación standard. Ella jugó un papel primordial en la resolución del problema planteado y nos permitió obtener otra caracterización de las congruencias. A continuación describimos el cálculo hallado, que denotamos `mn y probamos que pertenece a la clase de los sistemas proposicionales implicativos extensionales standards. Finalmente, demostramos el teorema de completitud para `mn. Además, cabe mencionar que los resultados obtenidos en este capítulo dan respuesta positiva a un problema planteado en [1]. Algunos de estos resulatdos fueron expuestos en la siguiente presentación: On the congruence m-generalized Lukasiewicz algebras of order n, C. Gallardo y A. Ziliani, XVI EBL and 16th Brazilian Logic Conference, Petrópolis, Brasil, 2011 y han sido publicados en [33]: The Lmn–propositional calculus, C. A. Gallardo y A. Ziliani. Mathematica Bohemica, 140,1(2015), 11–33. En el Capítulo IV, desarrollamos la teoría de localización para las álgebras de Lukasiewicz m–generalizadas de orden n. En particular, para cada Lmn–álgebra L determinamos el álgebra de fracciones L[C] asociada a un conjunto ^-cerrado C de L. A continuación, introducimos la noción de 1–ideal en las Lmn–álgebras lo que nos permitió definir una topología F para ellas y el concepto de F-multiplicador. Luego, a partir de estas nociones construimos el álgebra de localización LF de L con respecto a F. Además, mostramos que la Lmn–álgebra de fracciones L[C] es un álgebra de localización. Posteriormente, definimos la noción de Lmn-álgebra de cocientes y probamos la existencia de la Lmn-álgebra maximal de cocientes. En la última sección de este capítulo nos dedicamos a analizar los resultados antes descriptos para el caso de las Lmn–álgebras finitas. En la siguiente comunicación presentamos algunos de estos temas: F–multipliers and localization of Lmn –algebras, C. Gallardo y A. Ziliani, Workshop Philosophy and History of Science State University of Campinas, UNICAMP, Campinas, Brasil, 2012 Cabe mencionar que los mismos han sido aceptados para su publicación en Journal of Multiple-Valued Logic and Soft Computing (2016). ([34]) En el Capítulo V, nos abocamos al estudio de las propiedades de las L2 n–álgebras finitas y finitamente generadas, obteniendo importantes propiedades de los átomos en estas álgebras. A continuación, describimos detalladamente a las álgebras simples. Además, determinamos la estructura de las L2 n–álgebras libres con un conjunto finito de generadores lies. Finalmente, indicamos un método para calcular el cardinal del álgebra libre con un conjunto finito n de generadores libres. / Ockham algebras have a great number of subvarieties, but the ones which are more closely related to De Morgan algebras are Km,0 with m > 1. They are constituted by Ockham algebras that satisfy the additional identity f2m(x) = x. Since Lukasiewicz- Moisil algebras of order n have a reduct which is a De Morgan algebra, T. Almada y J. Vaz de Carvalho ([1]) introduced a generalization of them, by switching this reduct by one which belongs to Km,0. Hence, they introduced the variety of m−generalized Lukasiewicz algebras of order n (or Lmn–algebras). Our aim in this thesis is to study in depth this variety. More precisely, we have organized this work in five chapters. In Chapter I, basic definitions are provided and we also do a review of the most important results in universal algebra. Furthermore, we have included as well a brief discussion on the class of standard systems of implicative extensional propositional calculi. Finally, we describe the localization for bounded distributive lattices. These topics have been included not only to simplify the reading but also to fix the notations and the definitions that we will use in this volume. In Chapter II, we began our study of m−generalized Lukasiewicz algebras of order n. First, and bearing in mind the fundamental role that the weak implication played in the study of Lukasiewicz algebras of order n, we introduced an implication operation on Lmn –algebras which generalize the latter. This notion enabled us to consider the notion of deductive systems from which we have given a new characterization of the congruence lattice on these algebras. It is worth mentioning that this result turned out to be very useful for describing the principal congruences on Lmn –algebras in a simpler way than the one obtained in [1], where the theory of Ockham’s algebras was applied. In addition, the aforementioned implication allowed us to define a fundamental element for what follows and, in this case, to obtain a new characterization of simple algebras and to describe the ternary discriminator polynomial for this variety. Some of the above results were presented in the following meetings: Sobre las m−´algebras de Lukasiewicz generalizadas de orden n, C. Gallardo y A. Ziliani, LVIII Reuni´on Anual de Comunicaciones Cient´ıficas de la UMA, U.N. de Cuyo, 2008. La variedad discriminadora de las m-´algebras de Lukasiewicz generalizadas de orden n, LVIII Reuni´on Anual de Comunicaciones Cient´ıficas de la UMA, U.N. de Mar del Plata, 2009. Furthermore, they were published in [32]: Weak implication on generalized Lukasiewicz algebras of order n, A.V. Figallo, C. A. Gallardo y A. Ziliani, Bulletin of the Section of Logic, 39, 4(2010), 187–198. In Chapter III, and in order to obtain a propositional calculus which has Lmn –algebras as the algebraic counterpart, we introduced another implication operation on these algebras which we called standard implication. This provided us with a crucial tool not only to solve the formulated problem, but also to give a new characterization of the congruence and the principal congruence lattice of these algebras, simpler than all the above obtained descriptions. Next, we described the propositional calculus, denoted by `mn , and we proved that it belongs to the class of standard systems of implicative extensional propositional calculi. Finally, the completeness theorem for `mn is obtained. It is worth noting that in this chapter we have given a positive answer to the problem posed in [1]. Besides, some of the topics presented in this chapter were previously discussed in the following event On the congruence m-generalized Lukasiewicz algebras of order n, C. Gallardo y A. Ziliani, XVI EBL and 16th Brazilian Logic Conference, Petr´opolis, Brasil, 2011. and they have been published in [33]: The Lmn –propositional calculus, C. A. Gallardo y A. Ziliani. Mathematica Bohemica, 140,1(2015), 11–33. In Chapter IV, we have developed the theory of localization for m−generalized Lukasiewicz algebras of order n. In particular, for each Lmn –algebra L we have determined the Lmn– algebra of fractions L[C] relative to an ^-closed system C of L. Later on, we introduced the notion of 1–ideal on Lmn –algebras which allows us to consider a topology F for them and the concept of F-multiplier. Furthermore, we have proved that the Lmn –algebra of fractions L[C] is an Lmn –algebra of localization. Moreover, we have defined the notion of Lmn –algebra of quotients and we have proved the existence of the maximal Lmn –algebra of quotients. By the end of this chapter, our attention is focused on analyzing the aforementioned results for the case of finite Lmn –algebras. Some of these results were presented in this report: F–multipliers and localization of Lmn –algebras, C. Gallardo y A. Ziliani, Workshop Philosophy and History of Science State University of Campinas, UNICAMP, Campinas, Brasil, 2012. Besides, it is worth mentioning that these topics have been accepted for publication in the Journal of Multiple-Valued Logic and Soft Computing (2016). ([34]). In Chapter V, our main aim was to study the properties of finite and finitely generated L2 n–algebras. In particular, we have obtained important results on the atoms of them. Next, we have provided an exhaustive description of the simple L2 n–algebras. Finally, we have determined the structure of the free L2 n–algebras with a finite set of free generators and we have also indicated a method to calculate the cardinal number of them in terms of the number of the free generators.

En el campo de investigación de la didáctica de las matemáticas, se sabe que los procesos de transposición didáctica juegan un rol importante al momento de elaborar un modelo epistemológico de referencia; ya que de esta manera se tiene se puede tener una visión panorámica de los distintos modelos establecidos en una determinada institución. Es en este contexto, que nuestro trabajo de investigación propone un modelo epistemológico de referencia de los sistemas de ecuaciones lineales para que estos actúen como instrumento de modelización algebraica en la educación secundaria de nuestro país, teniendo en cuenta el modelo epistemológico de referencia adoptado en la Teoría Antropológica de lo Didáctico (TAD) respecto al álgebra como instrumento de modelización. / In the field of research of didactics of mathematics, it is known that didactic transposition processes play an important role when elaborating a reference epistemological model, since this way you can have a panoramic view of the different models established in a particular institution. In this context, is that our research work proposes an epistemological reference model of linear equation systems to act as an instrument of algebraic modeling in secondary education in our country, taking into account the epistemological model of reference adopted in the anthropological theory of the didactic (TAD) with respect to algebra as a modeling tool.

Esta investigación responde al interés de plantear elementos didácticos que contribuyan al aprendizaje significativo de las matemáticas en la educación primaria. De manera especial, aborda el pensamiento relacional como una actividad inherente y fundamental para el logro del pensamiento algebraico en la educación primaria. En este sentido, plantea a modo de herramientas para el maestro, tres elementos didácticos para elaborar actividades que favorezcan el pensamiento relacional en niños de tercer grado de educación primaria. Los elementos y objetivos propuestos de la investigación responden al early-algebra como enfoque didáctico del álgebra en la educación primaria. Asimismo, los elementos que se plantean son fruto del análisis de propuestas de cambio curricular e investigaciones longitudinales realizadas con niños de tercer grado de educación primaria para favorecer el desarrollo del pensamiento relacional. Como resultado de la investigación se concluye que los niveles de desarrollo del pensamiento relacional de los niños, los tipos de igualdades que favorecen el pensamiento relacional y los espacios de verbalización del pensamiento relacional son criterios relevantes para el planteamiento de actividades que promuevan el pensamiento relacional en los estudiantes.

El objetivo principal de esta tesis doctoral es estudiar el tipo de Arte que hemos denominado "Escultura Matemática", y clasificar ésta de forma tan exhaustiva y completa como sea posible. No existe en la literatura científica ningún estudio que haya conseguido clasificar desde el punto de vista matemático este tipo de escultura. Esto nos llevó a elegir el desarrollo de esta taxonomía como objetivo fundamental de esta investigación. Además, ello le confiere la característica de innovación que se exige a todas las tesis doctorales. Empezamos por investigar de forma general los antecedentes históricos de las relaciones entre las Matemáticas y el Arte, y en particular entre la Escultura y las Matemáticas. Para lograrlo hemos efectuado un análisis histórico sistemático. A continuación y para desarrollar la taxonomía de un conjunto de elementos el primer paso es definir los objetos que se incluyen. Para este fin hemos tenido que definir el término,"Escultura Matemática". Pertenecen a esta tipología todos aquellos trabajos escultóricos en los que en su concepción, diseño, desarrollo o ejecución resulta necesaria la utilización de las Matemáticas. Estas características pueden variar desde las relacionadas con la geometría más sencilla, hasta la geometría no euclidiana o la topología más compleja. Por otro lado, creemos que el mejor criterio para realizar una estructura de la clasificación de la Escultura Matemática será plantear como grupos principales, diferentes áreas de las Matemáticas, y subdividir éstos, a su vez, según los conceptos matemáticos más importantes utilizados en los diferentes tipos de diseño de obras escultóricas. Los grupos principales que hemos establecido son: Escultura Geométrica, Escultura con Conceptos de Cálculo, Escultura con Conceptos de Álgebra, Escultura Topológica y Escultura con Conceptos Matemáticos Varios. El principal interés de esta investigación es ayudar a formalizar el estudio de la Escultura Matemática, lo que creemos que fomenta / Zalaya Baez, R. (2005). Escultura matemática: definición, antecedentes en la historia del arte, desarrollo, perspectivas de evolución y clasificación por conceptos matemáticos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2661

Esta investigación se desarrolla dentro del marco del Enfoque Ontosemiótico (EOS) y pretende contribuir a la línea de investigación en Epistemología de las matemáticas. El objetivo es el de valorar la propuesta de la institución Innova Schools en términos del Razonamiento Algebraico Elemental (RAE). Para ello, en primer lugar, se construye un significado de referencia de la noción de linealidad para el nivel primario y secundario. La elaboración de este significado institucional tiene en cuenta los elementos primarios de la Configuración Ontosemiótica del EOS: situaciones, lenguajes, conceptos, procedimientos, proposiciones y argumentos. Luego, se realiza una adaptación de los niveles de algebrización propuestos en el EOS. Esta propuesta es particular para los diferentes significados de la linealidad y tiene por finalidad el ser un instrumento de análisis y valoración de la actividad algebraica de los estudiantes al resolver tareas asociadas a dichos significados. Con estos dos elementos teóricos se pretende valorar la propuesta de la institución Innova Schools en dos aspectos: como primer análisis, se determina el significado pretendido por la institución al analizar las situaciones que se proponen en sus sesiones de clase y, como segundo análisis, se determina la evolución del razonamiento algebraico al resolver dichas situaciones. Finalmente, se concluye que la propuesta de la institución Innova Schools, de forma implícita, desarrolla los diferentes significados de la linealidad desde el nivel primario al secundario. De forma gradual, a medida que los diferentes significados aparecen y otros se dejan de lado, también se evidencia una evolución del RAE en las situaciones que dicha institución propone. / This research is developed within the framework of the Onto-semiotic Approach (OSA) and aims to contribute to the line of research in Epistemology of Mathematics. The objective is to assess the proposal of the Institution Innova Schools in terms of the Elementary Algebraic Reasoning (EAR). Firstly, a reference meaning of the notion of linearity is constructed for the primary and secondary level. The elaboration of this institutional meaning considers the primary elements of the Onto-semiotic Configuration of the OSA: situations, languages, concepts, procedures, propositions and arguments. Subsequently, an adaptation of the proposed algebrization levels in the OSA is carried out. This proposal is particular to the different meanings of linearity and aims to be an instrument for analyzing and valuing students' algebraic activity when solving tasks associated with these meanings. With these two theoretical elements it is intended to assess the proposal of the Innova Schools institution in two aspects: as a first analysis, the meaning intended by the institution is determined by analyzing the situations proposed in its class sessions and, as a second analysis, the evolution of algebraic reasoning is determined when solving said situations. Finally, it is concluded that the proposal of the Innova Schools institution, implicitly, develops the different meanings of linearity from primary to secondary level. Gradually, as the different meanings appear and others are set aside, there is also evidence of an evolution of the EAR in the situations proposed by said institution.

El presente estudio tiene como finalidad analizar la coordinación entre Registros de Representación Semiótica cuando se moviliza la noción de Función Cuadrática en el desarrollo de una secuencia de actividades con estudiantes de las carreras de Humanidades. La pesquisa se realizó con estudiantes del primer ciclo de las carreras de Humanidades de una universidad privada del Perú, cuyas edades fluctúan entre 15 y 17 años. La planteamiento del problema de estudio se da en base a los antecedentes de investigación que permiten explorar las dificultades que enfrentan los estudiantes de estudio superior cuando movilizan la noción Función Cuadrática en relación al abuso de tratamientos numéricos, lo que lleva a dejar de lado la visualización del objeto matemático en el registro gráfico (variables visuales que indican características del objeto representado) y su vinculación con su representación en el registro algebraico (parámetros de la ecuación cuadrática) de la Función Cuadrática. Para la presente investigación, tomamos la teoría de Registros de Representación Semiótica desarrollada por Duval (1988) como marco teórico y, como referencial metodológico, tomamos aspectos de la metodología cualitativa de Fox (1981). Respecto a la fase de experimentación y análisis, adaptamos una secuencia didáctica desarrollada en la investigación de Rodríguez (2018) y lo aplicamos en dos momentos, cuyo propósito fue propiciar la visualización, según Duval, de la representación del objeto matemático en el registro gráfico. Los resultados que se obtuvieron permitieron evidenciar que, en un mayor porcentaje de las actividades desarrollados por los estudiantes, se logró establecer la visualización de la Función Cuadrática en el registro gráfico por medio de la identificación de las variables visuales y la correspondencia de los valores de estas variables visuales con las unidades significantes de la representación del objeto matemático en el registro algebraico, por lo que esta discriminación de las variables visuales y las unidades significantes se realizó mediante un reconocimiento cualitativo, tal como sugiere Duval (1999), y que mediante este reconocimiento cualitativo, por medio de la vía de interpretación global (tercera vía de tratamiento de las representaciones gráficas), se logró definir las variables visuales pertinentes para la interpretación gráfica. / The present study aims to analyze the coordination between Records of Semiotic Representation when the notion of Quadratic Function is mobilized in the development of a sequence of activities with students of the Humanities careers. The research was carried out with students of the first cycle of the Humanities careers of a private university in Peru, whose ages fluctuate between 15 and 17 years. The statement of the study problem is based on the research background that allows exploring the difficulties faced by higher education students when they mobilize the notion Quadratic Function in relation to the abuse of numerical treatments, which leads to leaving aside the visualization of the object mathematics in the graphic register (visual variables that indicate characteristics of the represented object) and their relationship with its representation in the algebraic register (parameters of the quadratic equation) of the Quadratic Function. For the present research, we take the Semiotic Representation Registers theory developed by Duval (1988) as a theoretical framework and, as a methodological reference, we take aspects of the qualitative methodology of Fox (1981). Regarding the experimentation and analysis phase, we adapted a didactic sequence developed in Rodríguez's research (2018) and applied it in two moments, the purpose of which was to promote the visualization, according to Duval, of the representation of the mathematical object in the graphic register. The results obtained allowed to show that, in a higher percentage of the activities developed by the students, it was possible to establish the visualization of the Quadratic Function in the graphic register by means of the identification of the visual variables and the correspondence of the values of these visual variables with the significant units of the representation of the mathematical object in the algebraic register, so this discrimination of the visual variables and the significant units was carried out through qualitative recognition, as suggested by Duval (1999), and that through this Qualitative recognition, through the way of global interpretation (third way of treatment of graphic representations), it was possible to define the relevant visual variables for graphic interpretation.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O autor não apresentou resumo.

Neste trabalho estudamos algumas características das álgebras de Koszul, como por exemplo, a maneira como elas se relacionam com suas respectivas álgebras de Yoneda. Descrevemos a álgebra de Yoneda de uma álgebra monomial e como aplicação construímos uma família de álgebras: as chamadas homologicamente auto-duais. Uma álgebra de Koszul pode ser definida a partir da existência de resoluções lineares dos módulos simples. Por isso faz-se necessário a dedicação de parte de nossa atenção ao estudo destas resoluções. Além disso, achamos interessante estudar métodos para a construção de resoluções projetivas de módulos sobre quocientes de álgebras de caminhos. Para tal construção usamos essencialmente a teoria de bases de Gröbner não comutativas. Finalmente, para o caso de módulos lineares sobre álgebras de Koszul, veremos que é possível modicar essa construção de modo que a resolução resultante seja linear. / In this work we study some features of Koszul algebras as, for example, the way that they are related with their Yoneda algebras. We describe the Yoneda algebra of a monomial algebra and as an application we construct a family of algebras: the so called homologically self-dual algebras. A Koszul algebra can be dened as an algebra for which there are linear resolutions of their simple modules. Because of this we dedicate part of our attention to the study of projective resolutions. The study of methods for the construction of projectives resolutions of modules over quotients of path algebras, has an of interest its own. For the study of projective resolutions we used the theory of noncommutative, Gröbner bases. Finally, for the case of linear modules over Koszul algebras, we will see that it is possible to modify the general construction described here, so that the resulting resolution is linear.

Modelagem e controle de execução são duas abordagens do gerenciamento de processos de negócio que, embora complementares, têm se desenvolvido independentemente. Por um lado, a modelagem é normalmente conduzida por especialistas de negócio e explora aspectos semânticos do processo. Por outro lado, o controle de execução estuda mecanismos consistentes e eficientes de implementação. Este trabalho apresenta um método algorítmico que relaciona modelagem e controle de execução, por meio da geração de expressões algébricas a partir de digrafos acíclicos. Por hipótese, assumimos que modelos de processos de negócio são formados por estruturas baseadas em grafos, e mecanismos de controle de execução são baseados na interpretação de expressões de álgebra de processos. Para a geração de expressões algébricas, esta tese apresenta as propriedades topológicas de digrafos série-paralelo e define um sistema de transformação baseado em redução de digrafos. Além disso, um algoritmo de identificação de digrafos série-paralelo e geração de expressões algébricas é apresentado. O texto também discute o tratamento de digrafos que não são série-paralelo e apresenta, para alguns desses casos, soluções baseadas em mudanças topológicas. Finalmente, o algoritmo é ilustrado com o estudo de caso de uma aplicação real. / Modeling and execution control are complementary approaches of business process management that have been developed independently. On one hand, modeling is usually performed by business specialists and explores semantical aspects of the business process. On other hand, execution control studies consistent and efficient mechanisms for implementation. This work presents an algorithmic method which joins modeling and execution control through algebraic expression generation from acyclic digraphs. By hypothesis, we assume that business process models are defined by graph structures, and execution control mechanisms are based on interpretation of process algebra expressions. For algebraic expression generation, this thesis presents the topological properties of series-parallel digraphs and defines a transformation system based on digraph reduction. Therefore, we present an algorithm for identification of series-parallel digraphs and generation of algebraic expressions. This work also discusses the treatment of non-series-parallel digraphs and presents solutions based on topological changing for some cases. Finally, the algorithm is illustrated with a case study based on a real system.

Esta proposta de dissertação de mestrado trata da aplicação de Estimadores Algébricos em sistemas de controle como alternativa ao uso de observadores. Devido à dificuldade de obtenção de resultados teóricos, dificuldade essa oriunda da natureza complexa dos estimadores algébricos, o trabalho é desenvolvido através do estudo de casos. Considera-se que a topologia de controle é a união de uma técnica tradicional de controle (por exemplo, uma realimentação de estado ou o método do torque calculado) com a estimação algébrica. Os resultados obtidos defendem a idéia de que os Estimadores Algébricos, quando usados como estimadores de estado, permitem obter um desempenho e uma robustez que se aproxima muito do desempenho e a robustez da mesma lei de controle no caso em que o estado é perfeitamente conhecido. / The control topology that is considered in this work is the union of a traditional control technique (e.g. a state feedback or the computed torque method) with the Algebraic Estimator. The obtained results reinforce the common sense about this class of estimators, that the use of Algebraic Estimators may produce the performance, robustness and noise immunity that mimics the case where perfect information of the state is available.