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.

15voto

jcho360 Puntos 128

Si quiere saber cómo los ordenadores funcionan --trabajar de verdad, en el mundo real-- y tienes algunos conocimientos básicos de diseño lógico, para saber cómo se hacen las puertas y los cierres elementales y un conocimiento básico de la estructura elemental de la CPU -ALUs, registros, secuenciadores y crontrollers--entonces creo que los libros de Patterson y Hennessy son los mejores: Arquitectura informática, un enfoque cuantitativo y Organización y diseño de ordenadores: La interfaz hardware/software . No son terriblemente matemáticos, pero muestran, estructuralmente, cómo los procesadores modernos organizan, procesan y mueven los datos.

Si necesitas primero el material más básico, hay un buen número de textos introductorios.

En cuanto a la teoría, tendría que estar de acuerdo con John D. Cook en que Knuth es el lugar al que hay que ir. (Él da un enlace en su respuesta.) El teoría en Knuth se ilustra en términos de realismo arquitectura de la máquina: el ordenador MIX de Knuth, cuyos simuladores están disponibles en línea si quieres probarlo. El modelo de Knuth es en gran medida un modelo de programador, es decir, arquitectura de Von Neumann, en lugar de Turing o modelos basados en máquinas de estado como los utilizados por la mayoría de los informáticos teóricos, pero muestran cómo se ve realmente en la práctica. Además, sus libros son bastante sofisticados, matemáticamente, y ciertamente proponen algunos problemas que en el momento de su publicación estaban definitivamente abiertos y/o a nivel de investigación.

11voto

lterrier Puntos 31

Para quienes quieran pasar rápidamente de un conocimiento nulo a una amplitud sustancial, recomiendo The New Turing Omnibus, de A. K. Dewdney. Una vez terminado ese libro, parece más razonable abordar algunos de los libros más sofisticados como Knuth, Aho-Hopcroft-Ullman y similares. Además, los libros clásicos enseñarán la teoría de la informática que es, bueno, clásica, y dejarán al lector mal preparado (en mi opinión) para los desarrollos teóricos y tecnológicos de este milenio. El New Turing Omnibus preparará al lector para la teoría clásica de la informática, pero no impedirá a los que deseen aprender la teoría más reciente.

El libro ha influido en mi estilo de escritura. Un proyecto en el que estoy trabajando consiste en "mover una montaña guijarro a guijarro", y está inspirado en la montaña de un libro que Dewdney ha creado.

Gerhard ""Pregúntame sobre el diseño de sistemas" Paseman, 2011.01.05

10voto

Steven Murawski Puntos 6665

Creo que he conseguido tomar parte del camino que quieres. Mi formación fue como matemático, pero en los últimos años he aprendido mucho sobre informática teórica. (He programado durante muchos años, pero tenía poca conciencia de la existencia de la informática teórica como campo propio).

La mayor parte del tiempo aprendí de los documentos disponibles en la web, de los que no hay escasez. Las excepciones fueron algunas partes de Boolos y Jeffrey para la teoría de las funciones recursivas y la computabilidad y Teoría de categorías básica para informáticos para ayudar a comprender algunas de las hermosas conexiones con la teoría de categorías. (Sé que dice "para informáticos", pero nunca he conocido a un informático al que le gustara. En cambio, a mí me resultó muy útil como matemático). Hace años, Cormen et al. realmente me abrió los ojos a los tipos de algoritmos no obvios que existen y que no deberían ser difíciles de leer para un matemático.

8voto

DarthNoodles Puntos 844

Aunque admiro a ambos El arte de la programación informática y Estructura e interpretación de programas informáticos En cuanto a la primera pregunta, he pensado en mencionar otros dos libros.

J. Glenn Brookshear's Informática: Una visión general La 10ª edición está inteligentemente organizada y bastante bien escrita. También tiene problemas de repaso de los capítulos que merecen la pena y bibliografías útiles al final de cada capítulo.

David J. Eck La máquina más compleja: Un estudio sobre los ordenadores y la informática podría valer la pena mirar. Si no recuerdo mal, Eck se doctoró en matemáticas por la Universidad de Brandeis en 1980.

4voto

Gopherkhan Puntos 101

Redes informáticas  de Andrew S. Tanenbaum es la introducción ideal a las redes informáticas.  Utilizamos ese libro para un autoestudio de un semestre,  curso de educación a distancia en  Informática  en la Universidad Abierta de la UP.

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