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
Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
Éditeur
Сибирский федеральный университет (СФУ)
Année
2019
Langue
Russe
46
É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

В.Л. Матросов, М.С. Мирзоев

Théorie des algorithmes

Théorie des algorithmes

В.И. Игошин

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

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

Дж. Клейнберг, Е. Тардос

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

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

Не указан

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

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

В. Я. Дерр

Développement et analyse d'algorithmes informatiques

Développement et analyse d'algorithmes informatiques

Альфред В. Ахо, Джон Э. Хопкрофт, Джеффри Д. Ульман

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

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

В.Н. Ашихмин, М.Б. Гитман, Н.Э. Келлер, О.Б. Наймарк, В.Ю. Столбов, П.В. Трусов, П.Г. Фрик

Algorithmes et programmes. Langage C++

Algorithmes et programmes. Langage C++

Е. А. Конова, Г. А. Поллак

Algorithmes. Le cours le plus court et le plus clair

Algorithmes. Le cours le plus court et le plus clair

Панос Луридас