- -

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

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

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

Visor de vídeos

Metadatos del ítem

Título: Primeros pasos en la simbolización 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 dan los primeros pasos, utilizando ejemplos antes de la formalización matemática, de la simbolización en Lógica de predicados.
Palabras clave: Logica , Predicados , Simbolización , Universo , Cuantificadores , Cuantificador universal , Cuantificador existencial , Existe , Para todo , Matemática multidisciplinar , Matemática aplicada , Lógica de predicados , Matemáticas
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=774cae50-a1c7-11eb-9288-419662b85124
Tipo de recurso educativo: Polimedia
Descripción acerca del uso: 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.
Destinatario: Alumno
Contexto: Primer ciclo
Dificultad: Fácil
Nivel de interactividad: Bajo
Densidad semántica: Medio
Tiempo típico: 20 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