Preguntas etiquetadas con books

21
Libro para algoritmos más allá de Cormen

He terminado la mayor parte del material en el libro de Introducción a Algoritmos de Cormen y estoy buscando un libro de algoritmos que cubra material más allá del libro de Corman. ¿Hay alguna recomendación? NOTA: pregunté esto en stackoverflow pero no estaba muy contento con la respuesta. NOTA:...

14
CS teórico y matemáticas: recomendaciones de autoaprendizaje

Soy un graduado que no es CS y mi campo de estudio no está relacionado con CS. Sin embargo, como parte de un plan más amplio para convertirse en un científico de la computación, quiero obtener una sólida formación en informática teórica y matemáticas en lo que se refiere a CS. Investigué mucho y...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...

11
Libro introductorio sobre lógica y computación

¿Me puede dar algunas sugerencias sobre un buen libro introductorio (pero completo) sobre Lógica y Computación? Algunos temas confusos que tengo en mente son: Presburger artihm., PA, ZF, ZFC, HOL Teoría de conjuntos, Teoría de tipos Computación de modelado (máquinas de Turing) en diferentes...