Programmation : logique combinatoire
A

Programmation : logique combinatoire

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Auteur
I. A. Kudryavtseva, M. V. Shvetsky
Éditeur
Yurait
Année
2022
Langue
Russe
181
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Programmation : manuel et cahier d'exercices pour les universités

Programmation : manuel et cahier d'exercices pour les universités

S. V. Zykov

Construction de compilateurs. Fondements et applications

Construction de compilateurs. Fondements et applications

Hanspeter Moessenboeck

Entraînement algorithmique. Solutions de problèmes pratiques en Python et C++

Entraînement algorithmique. Solutions de problèmes pratiques en Python et C++

Maxime Ivanov

L'art de la démonstration en mathématiques. Cours magistral avec exercices

L'art de la démonstration en mathématiques. Cours magistral avec exercices

Daniel Velleman

Algorithme parfait. Algorithmes pour les problèmes NP-difficiles

Algorithme parfait. Algorithmes pour les problèmes NP-difficiles

Tim Raugharden

La vie secrète des programmes. Comment créer un code qui plaira à votre ordinateur

La vie secrète des programmes. Comment créer un code qui plaira à votre ordinateur

Jonathan Steinhart

Le minimum théorique sur le Big Data. Tout ce qu'il faut savoir sur les données massives

Le minimum théorique sur le Big Data. Tout ce qu'il faut savoir sur les données massives

Yann Anneline, Sue Kenneth

Informatique : bases de la programmation en Java, POO, algorithmes et structures de données

Informatique : bases de la programmation en Java, POO, algorithmes et structures de données

Robert Sedgewick, Kevin Wayne

Preuve de correction des programmes

Preuve de correction des programmes

K. Roustan M. Leino