- -

Primeros pasos en la simbolización en Lógica de predicados

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Primeros pasos en la simbolización 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-09T08:09:09Z
dc.date.available 2021-06-09T08:09:09Z
dc.date.issued 2021-06-09T08:09:09Z
dc.identifier.uri http://hdl.handle.net/10251/167628
dc.description.abstract En este vídeo se dan los primeros pasos, utilizando ejemplos antes de la formalización matemática, de la simbolización en Lógica de predicados. es_ES
dc.description.uri https://polimedia.upv.es/visor/?id=774cae50-a1c7-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 Existe es_ES
dc.subject Para todo 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.classification MATEMATICA APLICADA es_ES
dc.title Primeros pasos en la simbolización en Lógica de predicados es_ES
dc.type Objeto de aprendizaje es_ES
dc.lom.learningResourceType Polimedia es_ES
dc.lom.interactivityLevel Bajo 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 20 minutos es_ES
dc.lom.educationalDescription Este vídeo introduce al alumno en la simbolización en Lógica de predicados. Se puede utilizar como punto introductorio a este tema. Se recomienda haber estudiado antes la simbolización en Lógica de enunciados. 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). Primeros pasos en la simbolización en Lógica de predicados. Universitat Politècnica de València. http://hdl.handle.net/10251/167628 es_ES
dc.description.accrualMethod DER es_ES
dc.relation.pasarela DER\31867 es_ES


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

Mostrar el registro sencillo del ítem