|
prueba examen virtual |
Sin fecha de cierre |
|
| Inducción y Recursión |
Cuestionario Inicial |
lunes, 6 de marzo de 2017, 15:00 |
|
Inducción |
miércoles, 31 de mayo de 2017, 23:55 |
|
Cuestionario Recursión |
miércoles, 31 de mayo de 2017, 23:55 |
|
prueba |
lunes, 25 de febrero de 2019, 13:30 |
|
| Sintaxis - Lógica Proposicional |
Cuestionario Sintaxis de PROP |
miércoles, 31 de mayo de 2017, 23:55 |
|
| Semántica - Lógica Proposicional |
Cuestionario Semántica |
miércoles, 31 de mayo de 2017, 23:55 |
|
| Deducción Natural - Lógica Proposicional |
Cuestionario Deducción Natural de PROP |
miércoles, 31 de mayo de 2017, 23:55 |
|
| Completitud - Lógica Proposicional |
Cuestionario Completitud Lógica Proposicional |
miércoles, 31 de mayo de 2017, 23:55 |
|
| Sintaxis - Lógica de Primer Orden |
Cuestionario Sintaxis Lógica de Primer Orden |
miércoles, 31 de mayo de 2017, 23:55 |
|
| Semántica - Lógica de Primer Orden |
Cuestionario Semántica Lógica de Primer Orden |
miércoles, 7 de junio de 2017, 12:00 |
|
| Deducción Natural - Lógica de Primer Orden |
Cuestionario Deducción Natural de PRED |
miércoles, 21 de junio de 2017, 12:00 |
|
| Completitud - Lógica de Primer Orden |
Cuestionario Corrección y Completitud de PRED |
miércoles, 28 de junio de 2017, 12:00 |