Programmation : logique combinatoire
A

Programmation : logique combinatoire

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
Auteur
И. А. Кудрявцева, М. В. Швецкий
Éditeur
Юрайт
Année
2022
Langue
Russe
32
É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

С. В. Зыков

Construction de compilateurs. Fondements et applications

Construction de compilateurs. Fondements et applications

Ханспетер Мёссенбёк

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

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

Максим Иванов

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

Дэниэл Веллеман

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

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

Тим Рафгарден

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

Джонатан Стейнхарт

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

Ын Анналин, Су Кеннет

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

Роберт Седжвик, Кевин Уэйн

Preuve de correction des programmes

Preuve de correction des programmes

К. Рустан М. Лейно