Cuantificadores, ejemplo 2
Αποθηκεύτηκε σε:
| Συγγραφέας: | |
|---|---|
| Μορφή: | otros |
| Ημερομηνία έκδοσης: | 2018 |
| Περιγραφή: | En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “para todo” “existe”. En él se da una argumentación que verifica que dicha proposición es verdadera. |
| Χώρα: | RepositorioTEC |
| Ίδρυμα: | Instituto Tecnológico de Costa Rica |
| Repositorio: | RepositorioTEC |
| OAI Identifier: | oai:repositoriotec.tec.ac.cr:2238/11101 |
| Διαθέσιμο Online: | https://www.youtube.com/watch?v=imf0VnOb-VA&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=55&t=0s https://hdl.handle.net/2238/11101 |
| Λέξη-Κλειδί : | Cuantificadores Validación Matemáticas discretas Verificación Quantifiers Validation Discrete mathematics Verification |