Programación: lógica combinatoria
A

Programación: lógica combinatoria

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Autor
I. A. Kudryavtseva, M. V. Shvetskiy
Editorial
Jurait
Año
2022
Idioma
Ruso
183
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Programación: libro de texto y taller para universidades

Programación: libro de texto y taller para universidades

S. V. Zykov

Construcción de compiladores. Fundamentos y aplicaciones

Construcción de compiladores. Fundamentos y aplicaciones

Hanspeter Mössenböck

Entrenamiento algorítmico. Soluciones de problemas prácticos en Python y C++

Entrenamiento algorítmico. Soluciones de problemas prácticos en Python y C++

Máximo Ivánov

El arte de la demostración en matemáticas. Curso de conferencias con ejercicios

El arte de la demostración en matemáticas. Curso de conferencias con ejercicios

Daniel Velleman

Algoritmo perfecto. Algoritmos para problemas NP-difíciles

Algoritmo perfecto. Algoritmos para problemas NP-difíciles

Tim Roughgarden

La vida secreta de los programas. Cómo crear código que le guste a tu computadora

La vida secreta de los programas. Cómo crear código que le guste a tu computadora

Jonathan Steinhart

Mínimo teórico sobre Big Data. Todo lo que necesitas saber sobre los grandes datos

Mínimo teórico sobre Big Data. Todo lo que necesitas saber sobre los grandes datos

Yn Annalin, Su Kennet

Computer Science: fundamentos de programación en Java, POO, algoritmos y estructuras de datos

Computer Science: fundamentos de programación en Java, POO, algoritmos y estructuras de datos

Robert Sedgewick, Kevin Wayne

Prueba de corrección de programas

Prueba de corrección de programas

C. Rustan M. Leino