Quantcast
Channel: Lógica, Computación e IA » Razonamiento Asistido por Computador
Viewing all articles
Browse latest Browse all 10

RAC: clase del 28 de abril

$
0
0

Este jueves terminaremos de ver el tema 4 y dedicaremos el resto del tiempo a hacer demostraciones  sencillas (y a mano) de propiedades de programas.


Viewing all articles
Browse latest Browse all 10