search

libreim / blog

Blog colaborativo sobre matemáticas e informática de la comunidad de @libreim.
https://libreim.github.io/blog
GNU General Public License v3.0
29 stars 8 forks source link

Post sobre inducción estructural #151

Closed gDanix closed 6 years ago

gDanix commented 6 years ago

Entre unas cosas y otras, nunca he podido aportar nada al blog, pero creo que tengo algo que os puede interesar: Inducción estructural.

Aprendí sobre ella en un curso de Scala y creo que puedo escribir un post interesante. Me parece una forma muy chula de aplicar matemáticas para demostrar la correctitud de un programa.

¿Qué os parece?

fdavidcl commented 6 years ago

Hola Dani!

Gracias por la sugerencia, pero creo que @M42 se te adelantó 😅

gDanix commented 6 years ago

Jo, es verdad.

Pues nada, a seguir investigando xD