Cuantificadores, tablas de asignación de predicados, ejemplo 1, parte 2
Wedi'i Gadw mewn:
Awdur: | |
---|---|
Fformat: | otros |
Dyddiad Cyhoeddi: | 2018 |
Disgrifiad: | Este vídeo corresponde a la segunda parte de un ejercicio de validación de proposiciones mediante la construcción y análisis de una tabla de asignación de predicados. En éste, dada la tabla construida en la parte 1 se procede a validar un conjunto de proposiciones cuantificadas. |
Gwlad: | RepositorioTEC |
Sefydliad: | Instituto Tecnológico de Costa Rica |
Repositorio: | RepositorioTEC |
OAI Identifier: | oai:repositoriotec.tec.ac.cr:2238/11129 |
Mynediad Ar-lein: | https://www.youtube.com/watch?v=xt2-7u_JHSY&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=42 https://hdl.handle.net/2238/11129 |
Allweddair: | Cuantificadores Matemáticas discretas Validación Análisis de tabla de asignación de predicados Quantifiers Discrete mathematics Validation Analysis |