Bookbot

Logique mathématique

Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés

Valutazione del libro

Parametri

  • 408pagine
  • 15 ore di lettura

Maggiori informazioni sul libro

Dans 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.

Acquisto del libro

Logique mathématique, René Cori, Daniel Lascar

Lingua
Pubblicato
2021
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

4,0
Molto buono
1 Valutazioni

Qui potrebbe esserci la tua recensione.

Titolo
Logique mathématique
Sottotitolo
Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
Lingua
Francese
Editore
DUNOD
Pubblicato
2021
Formato
In brossura
Pagine
408
ISBN10
2100825143
ISBN13
9782100825141
Serie
Valutazione
4 su 5
Descrizione
Dans 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.