Ponencias (Álgebra)
URI permanente para esta colecciónhttps://hdl.handle.net/11441/10806
Examinar
Examinando Ponencias (Álgebra) por Fecha de publicación
Mostrando 1 - 5 de 5
- Resultados por página
- Opciones de ordenación
Ponencia Lógicas polivalentes y bases de Gröbner(1987) Alonso Jiménez, José Antonio; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Universidad de Sevilla. Departamento de álgebra; Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento; Universidad de Sevilla. FQM366: Álgebras de Semigrupos, Computación y AplicacionesEl objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas proposicionales polivalentes. La estructura de la comunicación es la siguiente: En la sección 1, recordamos conceptos sintácticos y semánticos de las lógicas polivalentes. A continuación, reducimos el problema de la validez en lógicas polivalentes al de pertenencia a un ideal (sección 2) y al de cálculo de una base de Gröbner (sección 3). Finalmente, en la sección 4 damos algoritmos para resolver los anteriores problemas.Ponencia Preuve automatique dans le calcul propositionnel et les logiques trivalentes(1987) Alonso Jiménez, José Antonio; Briales Morales, Emilio; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Universidad de Sevilla. Departamento de álgebra; Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento; Universidad de Sevilla. FQM366: Álgebras de Semigrupos, Computación y AplicacionesNous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies dans le Calcul Propositionnel et dans trois types de logiques trivalentes. L’idée base est de transformer les formules en polynômes, et de trouver l’´equivalent algèbrique de la déduction: nous verons des théorèmes faisant la liaison entre déduction et crièeres de réduction algèbrique.Ponencia The Chemist's Cabinet Puzzle: a polynomial approach(Universidad de Granada. Departamento de Álgebra, 2008-09) Gago Vargas, Manuel Jesús; Hartillo Hermoso, Isabel; Ucha Enríquez, José María; Universidad de Sevilla. Departamento de Álgebra; Cortadellas Izquierdo, Ó. A.Realizamos un análisis del juego conocido por el herbolario. Se modeliza su solución mediante un sistema polinómico, y deducimos el número de soluciones a partir de herramientas de Álgebra Conmutativa.Ponencia Invariance properties for coefficients of symmetric functions(2016) Briand, Emmanuel; Orellana, Rosa C.; Rosas Celis, Mercedes Helena; Universidad de Sevilla. Departamento de álgebra; Universidad de Sevilla. FQM333: Álgebra Computacional en Anillos no Conmutativos y AplicacionesWe show that several of the main structural constants for symmetric functions (Littlewood-Richardson coefficients, Kronecker coefficients, plethysm coefficients, and the Kostka-Foulkes polynomials) share invariance properties related to the operations of taking complements with respect to rectangles and adding rectangles.Ponencia Generating partial Hadamard matrices as solutions to a Constraint Satisfaction Problem characterizing cliques(2017-07) Álvarez Solano, Víctor; Armario Sampalo, José Andrés; Falcón Ganfornina, Raúl Manuel; Frau García, María Dolores; Gudiel Rodríguez, Félix; Güemes Alzaga, María Belén; Osuna Lucena, Amparo; Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII); Universidad de Sevilla. Departamento de álgebra; Junta de AndalucíaA procedure is described looking for partial Hadamard matrices, as cliques of a particular subgraph Gt of Ito’s Hadamard Graph Δ(4t) [9]. The key idea is translating the problem of extending a given clique Cm to a larger clique of size m+ 1 in Gt, into a constraint satisfaction problem, and look for a solution to this problem by means of Minion [6]. Iteration of this process usually ends with a large partial Hadamard matrix.