Antecedentes :
Estoy llegando al final de mi maestría en matemáticas y comenzaré un doctorado en lógica en agosto. Mientras más lógica estudio, más informática teórica estoy expuesta, por ejemplo, teoría de la recursión, cálculo lambda, pero el CS subyacente está debajo de la alfombra. Mis principales áreas de interés, la teoría de conjuntos y la teoría de categorías, también tienen aplicaciones en informática, pero hasta ahora solo las he estudiado desde el punto de vista de las matemáticas puras.
Problema:
Mi falta de experiencia en informática a veces hace que sea difícil ver la motivación o la intuición detrás de lo que está sucediendo o cómo se podría aplicar. Me las arreglo, pero siento que sería más saludable diversificarse un poco ... se me ocurre que, en beneficio de mi investigación futura, debería aprender algo de informática.
La mayoría de los libros de CS que he visto no han sido muy adecuados para mis propósitos, ya que son demasiado básicos y poco técnicos, o presuponen el tipo de antecedentes de CS que no tengo. Parecen estar dirigidos a personas que saben bastante de informática pero que tienen pocos conocimientos matemáticos: mi situación es todo lo contrario.
Pregunta:
¿Qué libros u otros recursos hay que podrían ayudar a un matemático convertido en lógico en su objetivo de obtener un conocimiento práctico de la informática (teórica)?
Estoy buscando algo más saludable que unas pocas charlas en seminarios y más en profundidad que The New Turing Omnibus , pero no tengo el tiempo ni los recursos para hacer otro título universitario. (Puede ser que estoy pidiendo algo que no existe).
Lo siento si la pregunta es demasiado vaga o mal planteada. Sentí que era más adecuado aquí que en MSE, pero estaré encantado de migrarlo si es necesario.