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 |