← Catalogo / COMPUTER SCIENCE
Software Foundations Vol. 1: Logical Foundations
Benjamin C. Pierce et al.·Matematico· 400 pag · fase 6Licencia libre
Demasiado pronto
Demasiado pronto. Te faltan 1 prerrequisito(s). Empezarlo ahora es la forma mas comun de perder tiempo: vas a leer sin entender y vas a tener que volver.
Progreso
0%
0 de 400 paginas
Estado
Sin empezar
opcional
Sesiones
0
0 paginas registradas
Desbloquea
0
no es prerrequisito de nada
Por que leerlo
Logica, demostraciones y semantica de lenguajes, TODO verificado mecanicamente en Coq. Cambia lo que entiendes por 'correcto'. Muy duro y muy formativo; opcional salvo que te atraiga la verificacion formal.
Estas listo?
Demasiado pronto. Te faltan 1 prerrequisito(s). Empezarlo ahora es la forma mas comun de perder tiempo: vas a leer sin entender y vas a tener que volver.
Prerrequisitos duros
| Book of Proof | Sin empezar |