De la página de la materia:

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?

Saludos!

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 ^^ )

Ja, parece que necesito hacer un curso intensivo de inglés pronto..

Jaja enserio lo del ingles, yo pensaba que se necesitaba para mas adelante, no YA!!! jaja igual supongo que estan traducidos tambien.... jaja

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.

Saludos.

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

"Mathematical Foundations of Computer Science - Peter Frejer, Dan Simorici"

ese libro no existe 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 .. >.<

(ese lo inventé )
Acá lo encontré. Este sí es el verdadero, posta

Mathematical Foundations of Computer Science - por
Peter Fejer y Dan Simovici

Gracias por compartir la información...