- -

Inferencia en lógica de predicados

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Inferencia en lógica de predicados

Mostrar el registro completo del ítem

Jordan Lluch, C. (2021). Inferencia en lógica de predicados. Universitat Politècnica de València. http://hdl.handle.net/10251/168341

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/168341

Visor de vídeos

Metadatos del ítem

Título: Inferencia en lógica de predicados
Autor: Jordan Lluch, Cristina
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada
Fecha difusión:
Resumen:
En este vídeo se presentan las leyes de inferencia en Lógica de predicados y el proceso a seguir para realizar dicha inferencia. Se propone un ejemplo que se analiza con todo detalle..
Palabras clave: Logica , Predicados , Simbolización , Universo , Cuantificadores , Cuantificador universal , Cuantificador existencial , Matemática multidisciplinar , Matemática aplicada , Lógica de predicados , Matemáticas , Reglas aristotélicas , Inferencia , Cuantificación , Especificación , Generalización , Leyes de inferencia , Reglas de inferencia , Proceso de inferencia
Código UNESCO: 1201 - Álgebra
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Editorial:
Universitat Politècnica de València
Tipo: Objeto de aprendizaje
URL: https://polimedia.upv.es/visor/?id=3fbdfe10-a1c4-11eb-9288-419662b85124
Tipo de recurso educativo: Polimedia
Descripción acerca del uso: Este vídeo introduce al alumno en la inferencia en Lógica de predicados. Es necesario conocer la inferencia en Lógica de enunciados antes de su estudio.
Destinatario: Alumno
Contexto: Primer ciclo
Dificultad: Fácil
Nivel de interactividad: Medio
Densidad semántica: Medio
Tiempo típico: 15 minutos
Idioma del destinatario: Español
Permiso de acceso: PUBLICO

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem