- -

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 sencillo del ítem

Visor de vídeos

dc.contributor.author Jordan Lluch, Cristina es_ES
dc.date.accessioned 2021-06-23T07:28:20Z
dc.date.available 2021-06-23T07:28:20Z
dc.date.issued 2021-06-23T07:28:20Z
dc.identifier.uri http://hdl.handle.net/10251/168341
dc.description.abstract 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.. es_ES
dc.description.uri https://polimedia.upv.es/visor/?id=3fbdfe10-a1c4-11eb-9288-419662b85124 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Logica es_ES
dc.subject Predicados es_ES
dc.subject Simbolización es_ES
dc.subject Universo es_ES
dc.subject Cuantificadores es_ES
dc.subject Cuantificador universal es_ES
dc.subject Cuantificador existencial es_ES
dc.subject Matemática multidisciplinar es_ES
dc.subject Matemática aplicada es_ES
dc.subject Lógica de predicados es_ES
dc.subject Matemáticas es_ES
dc.subject Reglas aristotélicas es_ES
dc.subject Inferencia es_ES
dc.subject Cuantificación es_ES
dc.subject Especificación es_ES
dc.subject Generalización es_ES
dc.subject Leyes de inferencia es_ES
dc.subject Reglas de inferencia es_ES
dc.subject Proceso de inferencia es_ES
dc.subject.classification MATEMATICA APLICADA es_ES
dc.title Inferencia en lógica de predicados es_ES
dc.type Objeto de aprendizaje es_ES
dc.lom.learningResourceType Polimedia es_ES
dc.lom.interactivityLevel Medio es_ES
dc.lom.semanticDensity Medio es_ES
dc.lom.intendedEndUserRole Alumno es_ES
dc.lom.context Primer ciclo es_ES
dc.lom.difficulty Fácil es_ES
dc.lom.typicalLearningTime 15 minutos es_ES
dc.lom.educationalDescription 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. es_ES
dc.lom.educationalLanguage Español es_ES
dc.upv.convocatoriaDocenciaRed 2020-2021 es_ES
dc.upv.ambito PUBLICO es_ES
dc.subject.unesco 1201 - Álgebra es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada es_ES
dc.description.bibliographicCitation Jordan Lluch, C. (2021). Inferencia en lógica de predicados. Universitat Politècnica de València. http://hdl.handle.net/10251/168341 es_ES
dc.description.accrualMethod DER es_ES
dc.relation.pasarela DER\31874 es_ES


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

Mostrar el registro sencillo del ítem