Logique mathématique et théorie des algorithmes : manuel
A

Logique mathématique et théorie des algorithmes : manuel

Algorithmes
mathematical logic theory of algorithms Turing machine computability formal systems computational complexity automated theorem proving
Auteur
You. V. Vainstein, T. G. Penkova, V. I. Vainstein
Éditeur
Université fédérale de Sibérie (UFS)
Année
2019
Langue
Russe
216
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Logique mathématique : Manuel pour le baccalauréat

Logique mathématique : Manuel pour le baccalauréat

V.L. Matrosov, M.S. Mirzoïev

Théorie des algorithmes

Théorie des algorithmes

V.I. Igoshin

Algorithmes : conception et applications. Un classique de l'informatique

Algorithmes : conception et applications. Un classique de l'informatique

J. Kleinberg, E. Tardos

Introduction à la programmation : théorie, algorithmes, langages et domaines

Introduction à la programmation : théorie, algorithmes, langages et domaines

Non spécifié

Théorie des probabilités et statistiques mathématiques : manuel

Théorie des probabilités et statistiques mathématiques : manuel

V. Ya. Derr

Développement et analyse d'algorithmes informatiques

Développement et analyse d'algorithmes informatiques

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman

Introduction à la modélisation mathématique : Manuel d'étude

Introduction à la modélisation mathématique : Manuel d'étude

V.N. Ashikhmin, M.B. Gitman, N.E. Keller, O.B. Naimark, V.Yu. Stolbov, P.V. Trusov, P.G. Frik

Algorithmes et programmes. Langage C++

Algorithmes et programmes. Langage C++

E. A. Konova, G. A. Pollak

Algorithmes. Le cours le plus court et le plus clair

Algorithmes. Le cours le plus court et le plus clair

Panos Louridas