Información General

• Autores: María Gracia Manzano Arjona
• Editores: Salamanca : Universidad de Salamanca, [2004
• Año de publicación: 2004
• País: España
• Idioma: español
• ISBN: 84-7800-627-3
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Alonzo Church: his life, his work and some of his miracles.

    María Gracia Manzano Arjona

    • Resumen
    

  • A fashionable partial and heterogeneous mirror for modality

    María Gracia Manzano Arjona, María Antonia Huertas Sánchez

    

  • La enseñanza del análisis lógico

    José Alfredo Amor

    

  • Aplicación de tablas semánticas al estudio de algunas lógicas no clásicas

    Ángel Nepomuceno Fernández

    

  • Argumentación: indicaciones bibliográficas

    Luis Vega Reñón

    

  • La Bella y la Bestia (perdón, Lógica e Informática)

    María Gracia Manzano Arjona

    • Resumen
    

  • Breve reseña histórica acerca de la lógica modal, desde Aristóteles hasta la semántica de mundos posibles.

    Francisco José Salguero Lamillar

    

  • La noción abstracta de consecuencia lógica

    Gladys Palau

    

  • Enseñar lógica: lenguaje lógico y árboles semánticos

    Ángel Nepomuceno Fernández

    

  • Eight European Summer School in Logic, Language and Information Reader of Course: Extensions of First Order Logic

    María Gracia Manzano Arjona, María Antonia Huertas Sánchez

    

  • La "galaxia Turing": un nuevo paradigma epistemológico

    Rodolfo Fernández González

    

  • Conocimiento tecnológico: el caso de la ingeniería del software

    Rodolfo Fernández González

    

  • Introducción a la teoría de los sistemas deductivos

    Huberto Marraud

    

  • Lógica, creación y justificación en matematicas

    Ángel Nepomuceno Fernández

    

  • Una introducción filosófica a la lógica deóntica

    Carlos A. Oller

    

  • Y en un principio era ... la lógica espacial

    Lucila González Pazos

    

  • Lógica intuicionista en tres horas (y pico)

    Francisco Salto Alemany, José Manuel Méndez Rodríguez

    

  • Lógica y ciencia

    Lydia Sánchez, Manuel Campos Havidich

    

  • Lógica y computabilidad

    Enrique Alonso

    

  • Técnica de Inteligencia Artificial en Minería de Datos

    Rodolfo Fernández González

    • Resumen
    

  • Modelización lógica de procesos de solución de problemas y sus aspectos computacionales

    Rodolfo Fernández González

    

  • Montague grammar, categories and types: a presentation of actual theories in semantics and discourse interpretation

    Francisco José Salguero Lamillar

    

  • Una reconstrucción formal del sistema de "Begriffschrift"

    Ángel Nepomuceno Fernández

    

  • La tecnología de resolución de restricciones

    Rodolfo Fernández González

    

  • Un sistema logístico para la lógica proposicional: consistencia y completitud

    Carlos E. Alchourrón

    

  • Interpretaciones estándar y no estándar de sistemas logicistas

    Ángel Nepomuceno Fernández

    

  • Tablas semánticas para lógica de predicados de primer orden

    Ángel Nepomuceno Fernández

    

  • El universo matemático

    María Antonia Huertas Sánchez, María Gracia Manzano Arjona

    

  • Apuntes de Lógica

    María Gracia Manzano Arjona, Ian Hodkinson, María Antonia Huertas Sánchez

    

  • Árboles semánticos para lógica modal con algunos resultados sobre sistemas normales: tesis doctoral

    Francisco José Salguero Lamillar