[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4787: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4789: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4790: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4791: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
UBA - CienciaS :: Ver Tema - Bibliografía
UBA - CienciaS
http://ubacs.com.ar/ubacs/

Bibliografía
http://ubacs.com.ar/ubacs/viewtopic.php?f=44&t=419
Página 1 de 1

Autor:  eivanec [ 02 Ago 2008, 16:54 ]
Asunto:  Bibliografía

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!

Autor:  Nico? [ 03 Ago 2008, 19:45 ]
Asunto:  Re: Bibliografía

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

Autor:  Matias [ 03 Ago 2008, 21:12 ]
Asunto:  Re: Bibliografía

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

Autor:  wesnet [ 01 Jun 2009, 18:53 ]
Asunto:  Re: Bibliografía

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

Autor:  daniel [ 02 Jun 2009, 13:48 ]
Asunto:  Re: Bibliografía


Autor:  Amadeo [ 05 Ago 2009, 02:06 ]
Asunto:  Re: Bibliografía

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.

Autor:  JULIAN [ 05 Ago 2009, 10:28 ]
Asunto:  Re: Bibliografía

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

Autor:  JULIAN [ 02 Oct 2009, 10:23 ]
Asunto:  Re: Bibliografía

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

Autor:  Marco [ 19 Mar 2010, 11:22 ]
Asunto:  Re: Bibliografía

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

ese libro no existe xD

Autor:  nash [ 19 Mar 2010, 16:03 ]
Asunto:  Re: Bibliografía



Adjuntos:
Mathematical Foundations.jpg
Mathematical Foundations.jpg [ 16.83 KiB | Visto 14545 veces ]

Autor:  Marco [ 20 Mar 2010, 16:34 ]
Asunto:  Re: Bibliografía

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 .. >.<

Autor:  nash [ 20 Mar 2010, 20:49 ]
Asunto:  Re: Bibliografía

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

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


Autor:  rsuarez [ 04 Oct 2016, 18:40 ]
Asunto:  Re: Bibliografía

Gracias por compartir la información...

Página 1 de 1 Todos los horarios son UTC - 3 horas
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/