Filter
twitter.com/jose_a_alonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional con Haskell y el razonamiento automático con Isabelle/HOL.
2,374 Posts by jose_a_alonso
2,374 Posts by jose_a_alonso
tres14 - Inteligencia artificial
rtve.es/alacarta/videos/tres14/tres14-inteligencia-artificial/1276004/
tres14 - Inteligencia artificial, tres14 - RTVE.es A la Carta http://t.co/hlc7v77S via @rtve
Si quieres construir un barco, no empieces por buscar madera, cortar tablas o distribuir el trabajo. Inspira (cont)
twitlonger.com/show/hjtnvu
Si quieres construir un barco, no empieces por buscar madera, cortar tablas o distribuir el trabajo. Inspira (cont) http://t.co/HcDVr3nO
Let us change our traditional attitude to the construction of programs. Instead of imagining that our main task (cont)
twitlonger.com/show/hjrkov
Let us change our traditional attitude to the construction of programs. Instead of imagining that our main task (cont) http://t.co/UrySAl8T
APMEP : Les dossiers - Les algorithmes de Monsieur Jourdain
apmep.asso.fr/Les-algorithmes-de-Monsieur
APMEP : Les dossiers - Les algorithmes de Monsieur Jourdain http://t.co/EHSM3MaE
Why read and write tech books? — The Endeavour
johndcook.com/blog/2012/05/28/why-read-and-write-tech-books/Tu discurso politico: fácil y sencillo - A la Sombra del Tomate
alasombradeltomate.es/2010/11/29/tu-discurso-politico-facil-y-sencillo/Mathematics has a threefold purpose. It must provide an instrument for the study of nature. But this is not all: (cont)
twitlonger.com/show/hjeddj
Mathematics has a threefold purpose. It must provide an instrument for the study of nature. But this is not all: (cont) http://t.co/jCkp7V5T
Computing pioneer Alan Kay tells us that a computer is “an instrument whose music is ideas.” http://t.co/c7jtJhxJ
Ranking de universidades en software libre (RuSL) - PortalProgramas
portalprogramas.com/software-libre/ranking-universidades/clasificacion
En la clasificación de universidades españolas por la difusión del software libre, 3 de las 5 primeras son andaluzas http://t.co/WKCE8OCh
Controlling complexity is the essence of computer programming. -- B. Kernighan
next page ›
Page 1 of 100