Mostrando recursos 1 - 13 de 13

  1. compte rendu d'ouvrage : Richard Moot et Chrisitan Retoré, The logic of categorial grammars: a deductive account of natural language syntax and semantics

    Godart-Wendling, Béatrice
    Revue électronique internationale Traitement Automatique des Langues, 2012, 53/2.

  2. Propuesta de un modelo teórico de enseñanza para entornos de aprendizaje móvil en las enseñanzas artísticas visuales

    Ramón Verdú, Alfredo José
    OBJETIVOS De la determinación de los componentes y el diseño de un modelo de estructura para dispositivos móviles adecuado para las Enseñanzas Artísticas Visuales (EAV), fundamentado en la racionalización de los elementos que lo han de configurar, y que pueda implantarse en un entorno de enseñanza, se han derivado tres objetivos de investigación: • Objetivo 1: Crear un modelo organizativo de Diseño Instruccional válido para m-Learning y las Enseñanzas Artísticas Visuales. • Objetivo 2: Crear una planificación estratégica integradora para llevar a cabo las Enseñanzas Artísticas Visuales mediante dispositivos móviles. • Objetivo 3: Crear un modelo operativo interactivo fundamentado en...

  3. The role of logical interpretations on program development

    Martins, Manuel A.; Madeira, Alexandre; Barbosa, L. S.
    Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by logical interpretations as a means to witness refinements. The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. This allows, for example, refining sentential into equational specifications and the latter into modal...

  4. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  5. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  6. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  7. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  8. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  9. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  10. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  11. Prueba de inferencias : contribuciones para su validación con estudiantes universitários

    Guisande, M. Adelina; Almeida, Leandro S.; Pinheiro, Maria do Rosário; Páramo, M. Fernanda
    En ausencia de pruebas psicológicas que evalúen las capacidades intelectuales de los jóvenes-adultos universitarios, más aún, si esta evaluación pretende ir más allá de las escalas de CI para adultos, avanzamos para la construcción de un test de inferencias lógicas (pensamiento deductivo). La realización de inferencias se considera una actividad tan imprescindible como compleja que media en los procesos de comprensión del discurso. Dentro de este escenario, la comprensión se entiende como un proceso complejo e interactivo que requiere de la activación de una cantidad considerable de conocimiento por parte del lector y de la generación de un gran número...

  12. WWW.euclides.org

    Domènech, Larraz
    Història del Elements d'Euclides (300 AC) i de la seva transmissión fins als nostres dies. Estructura i cronologia del web d'euclides.org. D. Joyce, creador dels applets de la versió anglesa del Elements. Els interactius en java i el doble canal de transmissió que representa el web en l'ensenyament de la lògica deductiva de la geometria. La dimensió artística de la matemàtica. L'art. Les noves tecnologies. catalanhost.com. Propostes de col3laboració a euclides.org

  13. Reasoning in a logic with definitions and induction

    McDowell, Raymond Charles
    We present a logic for the specification and analysis of deductive systems. This logic is an extension of a simple intuitionistic logic that admits higher-order quantification over simply typed $\lambda$-terms. These are key ingredients for higher-order abstract syntax, an elegant and declarative treatment of object-level abstraction and substitution. The logic also supports induction and a notion of definition. The latter concept of definition is a proof-theoretic device that allows certain theories to be treated as "closed" or as defining fixed points. We prove that cut-elimination and consistency results hold for this logic, adapting a technique due to Tait and Martin-Lof....

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.