Portal Web de la UNED, Universidad Nacional de Educación a Distancia

Logo de la UNED
del 19 de marzo de 2013 al 1 de enero de 2016

Lógica y Usos

Imprimir PDF

Desde este espacio únicamente puedes obtener el certificado digital para ese curso COMA. Puedes realizar la matrícula en la plataforma virtual del curso desde el siguiente enlace.

Este videotutorial explica brevemente todos los pasos del proceso de obtención del certificado digital de un curso virtual realizado en la plataforma UNED COMA.

Formalmente, se presenta una introducción a la Lógica de Proposiciones y a la Lógica de Primer Orden. Más coloquialmente, se pretenden explicitar algunos de los esquemas de razonamiento que todos usamos en nuestras discusiones del día a día.

Esta es una aproximación que pretende capacitar al estudiante como usuario de un sistema lógico: para plantear o resolver juegos, para transmitir conocimiento estructurado, para debatir…

Hay toda una línea de estudio que persigue automatizar estos procesos, facilitar que las máquinas los repliquen. No se abordan en este curso. Las herramientas informáticas que se sugieren lo son desde la perspectiva del usuario, no del desarrollador.

Lugar y fechas
Del 19 de marzo de 2013 al 1 de enero de 2016


Horas
Horas lectivas: 30
Créditos
1 crédito ECTS y 2 créditos de libre configuración.
Online
Esta actividad se desarrolla exclusivamente online.
Programa
  • Organización. Actividades cooperativas.
  • Módulo 1:El Lenguaje [Proposicional]
  • Módulo 2: El Lenguaje [Predicados]
  • Módulo 3: Las Preguntas
  • Módulo 4: Las Respuestas [Equivalencia]
  • Módulo 5: Las Respuestas [Satisfacibilidad]
  • Módulo 6: Las Respuestas [Deducción]

Inscripción
  Matrícula Ordinaria
Precio15 €
Dirigido a
Cualquier persona interesada en la lógica y sus usos.
Titulación requerida

El curso es completamente autocontenido y no requiere ningún conocimiento previo.

Objetivos
Se presenta, incrementalmente, un lenguaje y propuestas de codificación sobre el mismo. Codificación o representación de reglas, juegos, restricciones, razonamientos, enunciados y preguntas sobre el mundo que nos rodea. Los cálculos sobre el lenguaje, dentro de sus limitaciones, facilitan respuestas consistentes.
Más información
UNED MOOC
soportecoma@adm.uned.es - FAQS UNED MOOC
Fundación UNED (exclusivamente temas administrativos)
28010 Madrid - 91 386 72 76 / erodriguez@fundacion.uned.es