Imagen de Portada

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

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Carlos Ernesto Ramírez
Formato:	Artículo científico
Lenguaje:	es
Publicado:	Escuela Regional de Matemáticas 2008
Materias:	Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Un sistema de restricciones anotado
por: Carlos Ernesto Ramírez Ovalle
Publicado: (2009)

Una medida de no convexidad, funciones contractivas y teoremas de punto fijo
por: Nieves Amoretti
Publicado: (2001)

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

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

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

Control de tráfico vehicular usando ANFIS
por: Luis Fernando Pedraza
Publicado: (2012)

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

Máquinas de Turing paraconsistentes: una posible definición
por: Juan C. Agudelo
Publicado: (2004)

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

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

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

Criterios parciales de logicidad
por: Janusz Maciaszek
Publicado: (2005)

Desacuerdo en lógica
por: Omar Hildebrando Vásquez Dávila
Publicado: (2019)

Síntesis de puntos cuánticos de CdTe mediante la técnica de ablación láser de sólidos en líquidos
por: M. A. Camacho López
Publicado: (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
por: O. Robatto
Publicado: (2009)

SOBRE A LÓGICA NO PROGRAMA FILOSOFIA PARA CRIANÇAS
por: Cesar Catalani
Publicado: (2009)

Contra el pluralismo lógico modalista
por: Diego Ezequiel Tajer
Publicado: (2016)

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

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

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

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

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

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

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

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

Sobre el concepto de libertad de Hegel
por: Franz Ungler
Publicado: (2022)

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

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

Jean Van Heijenoort: Una vida azarosa, digna de muchas novelas.
por: Vernor Arguedas
Publicado: (2016)

Generalization of rakotch’s fixed point theorem
por: Jose R Morales
Publicado: (2002)

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

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

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

Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
por: Manuel Sierra A.
Publicado: (2008)

Forma y movimiento en los estudios literarios
por: Roy Alfaro Vargas
Publicado: (2007)

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

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

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

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

El Sacrificio como clave de unidad en la obra de Simone Weil
por: Alejandra Novoa Echaurren
Publicado: (2021)