Lo mejor es consultar los trabajos de los maestros. No son infalibles, pero se aprende mucho al estudiar sus obras porque podemos leer explícitamente cómo abordaron y resolvieron los problemas; a veces, lo que es más importante, vemos problemas en los que trabajaron y que no pudimos resolver. No hay que desacreditar a Robert Harper, pero es mejor que estudies a Robert W Floyd para aprender cosas relacionadas con paradigmas y teorías informáticas, no un libro sobre los fundamentos de los lenguajes de programación. Floyd era profesor de ciencias de la computación en Carnegie Mellon como Robert Harper actualmente lo es, excepto que fue uno de los pioneros de las ciencias de la computación. (Eso no pretendía desacreditar el libro de Robert Harper o Robert Harper, puedes investigar ese libro por tu cuenta y determinar si realmente es lo que estás buscando). La conferencia de Floyd’s Turing Award titulada “The Paradigms of Programming” es algo que Debe leer y estudiar cuidadosamente. Se puede encontrar en la página redirigida a través del siguiente enlace:
http://www.jdl.ac.cn/turing/pdf/ …
También tiene muchos otros trabajos (pioneros) y le recomiendo leer los que son accesibles para usted. Para cualquiera que no lo sea, obtenga el fondo necesario para hacerlo.
Si no ha estudiado a fondo la inducción matemática, le recomiendo hacerlo porque muchas pruebas o razonamientos sobre programación se basan en razonamientos inductivos o pruebas. Un libro que he estado leyendo sobre eso es Matemáticas y razonamiento plausible de G. Polya. El primer volumen se llama Inducción y Analogía en Matemáticas. La sección sobre inducción en el Capítulo 0, sección 0.6 de The Language of Machines: An Introduction to Computability and Formal Languages de Robert W Floyd y Richard Beigel contiene el mejor tratamiento de inducción (matemática) que he leído hasta la fecha.
Recomiendo sinceramente comprar (y principalmente estudiar en) El arte de la programación de computadoras por Donald E. Knuth. Como él menciona explícitamente, sus libros están escritos con el propósito de discutir verdades eternas (con respecto a la informática). Estoy solo en el primer volumen y recientemente me he desviado para estudiar MMIX, la arquitectura de computadora que creó con el propósito de los volúmenes restantes (y la última edición) de The Art of Computer Programming ; se usó para el Volumen 4A y se usará para los volúmenes restantes que se publicarán. Si elige estudiar seriamente El arte de la programación de computadoras , le recomiendo comprar el Arte de la programación de computadoras Volumen 1: MMIX: una computadora RISC para el nuevo milenio, Fascículo 1, MMIXware: una computadora RISC para el tercer milenio (ambos por Donald E. Knuth), y The MMIX Supplement por Martin Ruckert. Me doy cuenta de que usted dijo en su pregunta que está interesado en libros que no enseñan un idioma específico. En este caso, deberá comprender el lenguaje que utiliza para expresar los algoritmos que analiza en sus libros, por lo que también debe aprender un idioma. En sus libros sobre el MMIX, aprenderá mucho más que solo “el idioma”; También se discuten y se enseñan muchos conceptos importantes sobre programación de computadoras.
Esto debería ser suficiente información para comenzar. Si tiene alguna pregunta, por favor hágala.