Essence of Logic - John Kelly
Introduction to Functional Programming - R. Bird, P. Wadler
Functional C - Hartel, Muller
A Method of Programming - E. Dijkstra y W.H.J. Feijen
Lógica para Computación - Francisco Naishtat
Reasoned Programming - K. Broda, S. Eisenbach, H. Khoshnevisan, S. Vickers
Mathematical Foundations of Computer Science - Peter Frejer, Dan Simorici
Alguien leyó alguno de estos libros, y/o puede recomendar alguno en particular? Si alguien ya cursó: es alguno considerado estrictamente necesario al margen de los apuntes y las clases teóricas?
No conozco ninguno.. pero el q tiene a Dijkstra tiene q ser bueno.. Yo recomiendo uno que se llama "Concrete Mathematics" que no se si lo postie por aca o algo.. sino en la biblioteca central hay un montonazo de copias de ese libro. Es un libro de matematicas orientadas especialemnte a Ciencias de la Computacion, escrito por Ronald L. Graham, Donald E. Knuth, and Oren Patashnik (copy paste mugroso el mio ^^ )
Jaja enserio lo del ingles, yo pensaba que se necesitaba para mas adelante, no YA!!! jaja igual supongo que estan traducidos tambien.... jaja 😄
La mayoría de los libros no están traducidos. Ya para orga 1 estaría bueno que puedas leer en inglés (aunque no es totalmente necesario porque existe algún que otro libro en castellano).
Firma
"If debugging is the process of removing bugs, then programming must be the process of putting them in." -- Dijkstra
Les hago una consulta, ¿qué conocimientos de matemática hay que tener para leer y entender el "Concrete Mathematics" de Knuth?. Yo recién aprobé Análisis I (CBC), pero lo hojée un poco y vi cosas medio avanzadas.
Yo leí: Algoritmos y estructura de datos en C++ de joyanes Aguilar, no es la gran cosa, pero sirve como introducción a TADs, estaría bueno que este en la biblioteca, porque es medio carito como para comprar.
Me estaba fijando, salio le edición numero 7 en español de "organización y estructura de computadores" de stallings
recomiendo un libro para funcional, Introduction to functional programming de richard bird, lo saque de la infoteca y me parecio interesante(en ingles).
Por otra parte, como todavía mi ingles es malo(no "muy" como antes) me compre por cuspide: "Razonando con haskell" de ruiz, Gutierres, Guerrero, Gallardo. no te enseña a programar, pero te aclara cosas sobre funcional, tiene reducciones(me tomaron un ejercicio en el recuperatorio), expresiones lambda(que no se da en la materia), evaluacion lazy(que solamente la nombran), tipos algebraicos y un par de cosas lindas mas como introduccion al calculo lambda(o.O), ademas tiene una introduccion a induccion estructural(que lo vas a ver en algoII), xD
De donde sacaste ese libro ? jaja los autores sólo aparecen en la página de la materia, buscá en google "mathematical foundations of computer sciende" + nombredeautor y vas a ver que sólo te tiran las webs del dc .. >.<