Logique mathématique : Manuel pour le baccalauréat
A

Logique mathématique : Manuel pour le baccalauréat

Général
mathematical logic Java propositional logic predicate logic computer science education algorithmic approach
Auteur
V.L. Matrosov, M.S. Mirzoïev
Éditeur
Prométhée
Année
2020
Langue
Russe
245
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

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

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

You. V. Vainstein, T. G. Penkova, V. I. Vainstein

Théorie des algorithmes

Théorie des algorithmes

V.I. Igoshin

Mathématiques pour les candidats. Tout sur les examens d'entrée dans les universités

Mathématiques pour les candidats. Tout sur les examens d'entrée dans les universités

V. V. Tkachuk

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

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

V. Ya. Derr

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

Théorie de la commande automatique (avec MATLAB — SIMULINK)

Théorie de la commande automatique (avec MATLAB — SIMULINK)

You. I. Koudinov, F. F. Pachtchenko

Fortran pour les professionnels. Bibliothèque mathématique IMSL. Édition 1

Fortran pour les professionnels. Bibliothèque mathématique IMSL. Édition 1

O.V. Bartenev

Dolganov A. Yu., Ronkin M. V., Soyzkin A. V. - Algorithmes de base d'apprentissage automatique en Python - 2023

Dolganov A. Yu., Ronkin M. V., Soyzkin A. V. - Algorithmes de base d'apprentissage automatique en Python - 2023

A. Yu. Dolganov, M. V. Ronkin, A. V. Sozykin

Mathématiques discrètes : graphes, matroïdes, algorithmes

Mathématiques discrètes : graphes, matroïdes, algorithmes

M. O. Assanov, V. A. Baranski, V. V. Rasin

Programmation des contrôleurs logiques. Manuel d'étude.

Programmation des contrôleurs logiques. Manuel d'étude.

Ivanov V.N.