Image de couverture de livre

Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	Carlos Ernesto Ramírez
Format:	Artículo científico
Langue:	es
Publié:	Escuela Regional de Matemáticas 2008
Sujets:	Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Un sistema de restricciones anotado
par: Carlos Ernesto Ramírez Ovalle
Publié: (2009)

Una medida de no convexidad, funciones contractivas y teoremas de punto fijo
par: Nieves Amoretti
Publié: (2001)

PROBLEMAS DE DECISIÓN Y RECURSIVIDAD EN SISTEMAS LÓGICOS FORMALES
par: IVETH MARTÍNEZ
Publié: (2016)

Compilador y traductor de pseudocódigo para la lógica de programación (CompiProgramación)
par: CARLOS ALBERTO VANEGAS
Publié: (2005)

Un enfoque Genérico y cooperativo para la resolución de restricciones de intervalo
par: Antonio J. Fernández
Publié: (2005)

Control de tráfico vehicular usando ANFIS
par: Luis Fernando Pedraza
Publié: (2012)

Introducción a la función punto medio en continuos
par: María de Jesús López
Publié: (2016)

Máquinas de Turing paraconsistentes: una posible definición
par: Juan C. Agudelo
Publié: (2004)

Generalización del Método Puntos de Función utilizando lógica difusa
par: Liannis Soria Barreda
Publié: (2016)

Preference structures, choice functions and their logical form
par: María Isabel Rodríguez Galiano
Publié: (2002)

Las leyes de tercero excluido y contradicción como valores límite en lógica difusa
par: Omar Salazar Morales
Publié: (2011)

Criterios parciales de logicidad
par: Janusz Maciaszek
Publié: (2005)

Desacuerdo en lógica
par: Omar Hildebrando Vásquez Dávila
Publié: (2019)

Síntesis de puntos cuánticos de CdTe mediante la técnica de ablación láser de sólidos en líquidos
par: M. A. Camacho López
Publié: (2014)

Intercomparación bilateral entre LATU y PTB de calibración en puntos fijos (ITS-90) del Zn al Hg de un SPRT con PTB como laboratorio piloto
par: O. Robatto
Publié: (2009)

SOBRE A LÓGICA NO PROGRAMA FILOSOFIA PARA CRIANÇAS
par: Cesar Catalani
Publié: (2009)

Contra el pluralismo lógico modalista
par: Diego Ezequiel Tajer
Publié: (2016)

TECNOLOGIA, ORGANIZAÇÃO DO TRABALHO E CUSTO COGNITIVO: AÇÃO ERGONÔMICA EM UM NÚCLEO DE SEGURANÇA DA INFORMAÇÃO
par: Wladimir Jatobá de Menezes
Publié: (2016)

Propuesta de evaluación del alumnado en educación física. Un enfoque desde la Praxiología Motriz
par: Javier Sampedro Molinuevo
Publié: (2009)

Método de resolución de problemas y rendimiento académico en lógica matemática
par: Flaviano Armando Zenteno Ruiz
Publié: (2017)

La lógica y sus aplicaciones: ¿platonismo o no-platonismo?
par: Otávio Bueno
Publié: (2019)

El punto "C" de los Algoritmos. Los Algoritmos y la Inteligencia Lógico Matemáticas
par: Freddy Arturo Briceño Díaz
Publié: (2006)

La lógica del don en el horizonte de la sociedad civil
par: ÁNGEL GALINDO GARCÍA
Publié: (2013)

IMPLEMENTACIÓN DE CIRCUITOS NEUMÁTICOS MEDIANTE EL USO DE LÓGICA NEUMÁTICA
par: JOSÉ AGUSTÍN MURIEL ESCOBAR
Publié: (2010)

Lógica y creatividad: un acercamiento a su relación.
par: María Concepción González Basanta
Publié: (2007)

Sobre el concepto de libertad de Hegel
par: Franz Ungler
Publié: (2022)

¿Qué tan matemática es la lógica matemática?
par: AXEL A. BARCELÓ ASPEITIA
Publié: (2003)

Un método de árboles para la lógica de términos modal
par: J.-Martín Castro-Manzano
Publié: (2020)

Jean Van Heijenoort: Una vida azarosa, digna de muchas novelas.
par: Vernor Arguedas
Publié: (2016)

Generalization of rakotch’s fixed point theorem
par: Jose R Morales
Publié: (2002)

Dispersión en moléculas artificiales auto-ensambladas
par: M. Adames
Publié: (2007)

La lógica matemática: una disciplina en busca de encuadre
par: José FERREIRÓS
Publié: (2010)

Esclareciendo el concepto de lógica deóntica
par: Hugo José Francisco Velázquez
Publié: (2021)

Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
par: Manuel Sierra A.
Publié: (2008)

Forma y movimiento en los estudios literarios
par: Roy Alfaro Vargas
Publié: (2007)

Emergencia de las profesiones sociales: de la dimensión discursiva a la dimensión política, ética y práctica
par: Juan Sáez Carreras
Publié: (2003)

Modelando un punto cuántico: una aproximación pedagógica
par: H.E. Caicedo-Ortiz
Publié: (2015)

Dispositivo láser semiconductor con puntos cuánticos para emisión en el cercano infrarrojo
par: J. V. González-Fernández
Publié: (2019)

Diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas
par: HELBERT EDUARDO ESPITIA C.
Publié: (2012)

El Sacrificio como clave de unidad en la obra de Simone Weil
par: Alejandra Novoa Echaurren
Publié: (2021)