SensCritique>Livres>Essai>Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats
2003
3
1
1
2003
3
1
1
Ma note
Écrire une critique
Lu
Envie de le lire
En cours
Coup de cœur
Ajouter à une liste
Accès rapide
Description
Activités
Livre de Daniel Lascar et René Cori · 15 janvier 2003
Genre : EssaiDans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.
Le live est actuellement indisponible, et sera restauré prochainement.
Merci beaucoup pour votre compréhension et votre patience.
En attendant, vous pouvez explorer les univers Films - Séries - Jeux vidéo - Livres - BD - Musique, et trouver votre bonheur grâce à notre explorer streaming.