Publicado el 19 de Abril del 2017
878 visualizaciones desde el 19 de Abril del 2017
257,7 KB
50 paginas
Creado hace 9a (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
18 visualizaciones durante los últimos 90 días