Publicado el 19 de Abril del 2017
783 visualizaciones desde el 19 de Abril del 2017
257,7 KB
50 paginas
Creado hace 8a (18/08/2015)
Tema 8: Razonamiento sobre programas
Informática (2015–16)
José A. Alonso Jiménez
Grupo de Lógica Computacional
Departamento de Ciencias de la Computación e I.A.
Universidad de Sevilla
IM Tema 8: Razonamiento sobre programas
Tema 8: Razonamiento sobre programas
1. Razonamiento ecuacional
Cálculo con longitud
Propiedad de intercambia
Inversa de listas unitarias
Razonamiento ecuacional con análisis de casos
2. Razonamiento por inducción sobre los naturales
Esquema de inducción sobre los ...
Crear cuenta
22 visualizaciones durante los últimos 90 días