Representaciones globales y clases algebráicamente extensibles /

Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006.Estudiamos aplicaciones de representaciones globales en varias clases ecuacionales de estructuras algebráicas, en especial, expansiones de reticulados distributivos. En el primer capítulo definimos la noción de clase algebraicamente extensible como colección de estructuras algebraicas en la cual un sistema de ecuaciones, cuenta siempre con una única solución. Caracterizamos entre otras, las clases algebraicamente extensibles de las clases ecuacionales, semireticulados, variedades de grupos abelianos finitamente generados, álgebras de Kleene generalizadas, álgebras nomádicas y P-algebras. En el segundo capítulo estudiamos la variedad de las MS-Algebras, caracterizando específicamente la clase de MS-Algebras permutables en un teorema análogo al de L. nachbin para reticulados distributivos. Además, obtenemos una descomposición para sistemas de congruencias sobre MS-Algebras con esqueleto permutable.Miguel Campercholi

Decision Procedure for Synchronous Kleene Algebra

Kleene Algebra (KA) is an algebraic system that has many applications both in mathematics and computer science. It was named after Stephen Cole Kleene who extensively studied regular expressions and finite automata [Kle56]. Moreover it is often used to reason about programs, as it can represent sequential composition, choice and finite iteration. Furthermore, the need to reason about actions which can be executed concurrently, spawned SKA. SKA is an extension of KA introduced by Cristian Prisacariu in [Pri10] that adopts a notion of concurrent actions. Laguange equivalence is an imperishable problem in computer science. In this thesis we present the reader with a detailed explanation of a decision procedure for SKA terms and an OCaml implementation of said procedure as well.A Kleene Algebra (KA) é um sistema algébrico que tem bastantes aplicações quer no campo da matemática como também da informática. Foi batizada com o nome do seu inventor Stephen Cole Kleene, que ao longo da sua carreira fez um estudo intensivo sobre expressões regulares e autómatos finitos [Kle56]. Quando há necessidade de raciocinar equacionalmente sobre programas, recorre-se frequentemente à Kleene Algebra, visto que esta consegue exprimir noções de escolha, composição sequencial e até a noção de iteração. A necessidade de raciocinar equacionalmente sobre ações que podem ser executadas de forma concorrente levou ao aparecimento da Algebra de Kleene Síncrona ou Synchronous Kleene Algebra (SKA). Esta última foi introduzida por Cristian Prisacariu em 2010 no seu artigo [Pri10] como uma extensão à Kleene Algebra mas que contém uma noção de ação concorrente. A equivalência de linguagens é um problema perene em ciências da computação. Nesta dissertação iremos apresentar ao leitor uma explicação detalhada de um processo de decisão para termos de Synchronous Kleene Algebra (SKA) bem como a sua implementação utilizando a linguagem de programação OCaml

Teorema de Kalman topológico

Tesis de Maestria en ciencias - matemáticasEn términos propios del Álgebra Universal, el Teorema de Kalmat afirma que las variedades generadas por las álgebras de De Morgai Booleana de dos elementos, el álgebra de Kleene de tres elementos el álgebra Diamante de cuatro elementos están relacionadas de maner única. En este trabajo, se traslada el Teorema de Kalman a un lenguaje m; general y moderno, el de la teoría de categorías vía dualidades, reconstruir los clones que dan las dualidades fuertes sobre cada una > las variedades generadas por las álgebras de De Morgan. Los clon encontrados generan a su vez la categoría de los espacios topológic estructurados, a los cuales también se traslada el Teorema de Kalm; es decir, se prueba que estos espacios están relacionados de man única de la misma manera que su contraparte algebraica

Computers.INC: Plataforma de simulación de hardware educativa.

Trabajo de Fin de Grado. Grado en Ingeniería Informática. Curso académico 2021-2022.[ES]Este es Computers.INC, videojuego para la construcción de computadoras mediante el diseño de circuitos lógicos. Este proyecto, realizado en su totalidad con OSS, utiliza Rust como lenguaje de bajo nivel para la tarea de alta eficiencia de la simulación del circuito, y el motor Godot para proveer la interfaz del juego. El objetivo es realizar un juego de creación de computadoras funcionales, altamente eficiente, pero con un estilo más recreativo que otras alternativas profesionales, y que permita la prosperidad de una comunidad de entusiastas de la computación a su alrededor.[EN]This is Computers.INC, videogame about building computers through the design of logical circuits. This project, built in its entirety with OOS, uses Rust as low-level language for the task of high efficiency simulation of the circuit, and the Godot render for the game's interface. The target is to make a game about the creation of functional computers, highly efficient but with a more recreational style than other profesional alternatives, and allows the prosperity of a computer's enthusiast community around it