54 votos

Informática para matemáticos

Esta es una pregunta de la comunidad de la lista grande, así que lo siento de antemano si se considera demasiado suave, pero no he visto nada similar todavía.

He visto a informáticos publicar preguntas buscando aprender cosas de las matemáticas puras. Esto es básicamente al revés... Mi ignorancia puede impedirme ser tan específico como creo que me gustaría ser y por eso he separado mi pregunta principal en dos.

Qué buenos libros - legibles introducciones - existen para matemáticos para aprender sobre informática informática?

Con esto me refiero realmente a la ciencia de cómo funcionan los ordenadores . Tal vez haya algunos libros que estén escritos en un estilo con el que los matemáticos se sientan identificados, es decir, que no estén centrados en la práctica, sino que empiecen por los fundamentos más abstractos y vayan construyendo (puede que me equivoque, pero tengo la impresión de que muchos libros de otras disciplinas evitan presentar las cosas de esta manera, mientras que los matemáticos (para bien o para mal) están acostumbrados a ello). En parte para ilustrar lo que la primera pregunta no está planteando, la segunda pregunta es

Qué buenos libros - legibles introducciones - existen para matemáticos que quieran aprender sobre informática teórica, ya que se trata de un subcampo de las matemáticas?

Aquí es donde mi ignorancia me impide explicar más la pregunta porque sólo puedo suponer que estas dos cosas no son lo mismo...

Parece bastante frustrante que haya llegado a la escuela de posgrado y sepa muy poco sobre ordenadores y CS teórica.

La norma "una recomendación por post" es probablemente apropiada, + algunas frases sobre lo que los libros hicieron por ti. Además, tal vez debería decir que no estoy buscando abandonar mis intereses actuales y convertirme en un informático, por lo que el hecho de que las cosas sean legibles es una condición bastante fuerte. No busco convertirme en un experto, sólo lidiar con mi propia ignorancia. Gracias de antemano.

28voto

Greg Rogers Puntos 18119

Para la segunda pregunta (informática teórica) recomiendo encarecidamente el libro de Sipser Introducción a la teoría de la computación. Es una lectura muy fácil para alguien con una formación matemática, y no requiere esencialmente ningún conocimiento previo específico. Es esencialmente un primer curso de un semestre en el tema de la computabilidad y la teoría de la complejidad. Como tal, se obtienen todos los buenos resultados clásicos, pero no los resultados más recientes, que son menos completos, pulidos o atractivos para una persona ajena a la materia que sólo quiere "probar".

23voto

Michiel de Mare Puntos 15888

Me sorprende que nadie haya recomendado el libro de Knuth El arte de la programación informática .

21voto

Edward Luong Puntos 108

Teoría A (Algoritmos/Complejidad):

  1. Kleinberg, Tardos - Algoritmos
  2. Easley, Kleinberg - Redes Multitudes y Mercados
  3. Nisan, Tardos, Vazirani - Teoría algorítmica de los juegos
  4. Arora, Barak - Complejidad computacional: Un enfoque moderno

Teoría B (Lógica/Semántica/Razonamiento Automatizado):

  1. Benjamin Pierce - Tipos y lenguajes de programación
  2. Benjamin Pierce - Fundamentos de software en Coq (Realmente te permite ver cómo llevar la teoría a la práctica)
  3. Los enlaces aquí
  4. Harrison - Lógica práctica y demostración automatizada de teoremas

19voto

Tom R Puntos 1128

"Computational Complexity", de Christos Papadimitriou, una muy buena introducción a la lógica/teoría de la computación (máquinas de Turing, etc.) y a la complejidad computacional. Uno de los mejores libros de texto en mi opinión.

18voto

anjanb Puntos 5579

Structure and Interpretation of Computer Programs de Abelson y Sussman es una gran introducción (pero no es un libro para leer antes de irse a la cama, hay que hacer los ejercicios. Este comentario es válido independientemente del libro con el que se aprenda el tema).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X