- -

Inferencia directa en lógica de enunciados

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Inferencia directa en lógica de enunciados

Mostrar el registro sencillo del ítem

Visor de vídeos

dc.contributor.author Jordan Lluch, Cristina es_ES
dc.date.accessioned 2023-06-02T07:05:56Z
dc.date.available 2023-06-02T07:05:56Z
dc.date.issued 2023-06-02T07:05:56Z
dc.identifier.uri http://hdl.handle.net/10251/193823
dc.description.abstract Se introduce la inferencia directa en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos es_ES
dc.description.uri https://polimedia.upv.es/visor/?id=78ec4860-ff9e-11ed-bef1-cb54a7e3366a es_ES
dc.language Español es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Lógica de enunciados es_ES
dc.subject Leyes de inferencia es_ES
dc.subject Reglas de inferencia es_ES
dc.subject Lógica es_ES
dc.subject Inferencia es_ES
dc.subject Enunciados es_ES
dc.subject Proposiciones es_ES
dc.subject Inferencia directa es_ES
dc.subject Modus ponens es_ES
dc.subject Modus tollens es_ES
dc.title Inferencia directa en lógica de enunciados es_ES
dc.type Objeto de aprendizaje es_ES
dc.lom.learningResourceType Polimedia es_ES
dc.lom.interactivityLevel Medio es_ES
dc.lom.semanticDensity Alto es_ES
dc.lom.intendedEndUserRole Alumno es_ES
dc.lom.context Primer ciclo es_ES
dc.lom.difficulty Dificultad media es_ES
dc.lom.typicalLearningTime 20 minutos es_ES
dc.lom.educationalDescription Este vídeo se puede utilizar como introducción a la inferencia en la lógica de enunciados. Puede ser de utilidad si se aplica la docencia inversa. Para poder seguirlo adecuadamente se debe conocer la simbolización en lógica de enunciados y las tablas de verdad. Se puede encontrar vídeos referentes a estos temas en la carpeta de lógica del canal de YouTube "El lado discreto de las mates". es_ES
dc.lom.educationalLanguage Español es_ES
dc.upv.convocatoriaDocenciaRed 2022-2023 es_ES
dc.upv.ambito PUBLICO es_ES
dc.subject.unesco 1102 - Lógica deductiva 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. (2023). Inferencia directa en lógica de enunciados. http://hdl.handle.net/10251/193823 es_ES
dc.description.accrualMethod DER es_ES
dc.relation.pasarela DER\36506 es_ES


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

Mostrar el registro sencillo del ítem