EXPORTATEUR | mid4up
Telecharger Introduction à la logique Théorie de la démonstration ,
Introduction à la logique Théorie de la démonstration
Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions « qu’est-ce qu’un énoncé ? une démonstration ?» ou, plus fondamentalement, « qu’est-ce que les mathématiques ? », en l’illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique.
Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions « qu’est-ce qu’un énoncé ? une démonstration ?» ou, plus fondamentalement, « qu’est-ce que les mathématiques ? », en l’illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique.
ISBN : 2100048929
Parution : 2011
Genre : Mathématique
Langue : Français
Format : Djvu
Hébergeur : Multi
Taille : 6 Mo
Introduction à la logique Théorie de la démonstration MediaFire
Introduction à la logique Théorie de la démonstration Uptobox
Articles
0 commentaires:
Enregistrer un commentaire