Résultat de la recherche
7 résultat(s) recherche sur le tag 'Logique mathématique'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
texte imprimé
Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, [...]texte imprimé
Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, [...]texte imprimé
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[...]texte imprimé
Stéphane Balac ; frédéric Strum | Lausanne [Suisse] : Presses Polytechniques et Universitaires Romandes | 2009Cet ouvrage, réunissant en un tout cohérent algèbre et analyse, s'adresse de manière plus spécifique aux élèves de première année des cycles préparatoires intégrés des écoles d'ingénieurs mais peut être utilisé avec profit par tout étudiant de d[...]texte imprimé
Jean-Marc Alliot ; Thomas Schiex ; Pascal Brisset ; Frederic Garcia | Paris [France] : Cépaduès-éditions | 2002Le but de cet ouvrage, à vocation pédagogique, est de dégager les contours souvent flous de ce que l'on appelle Intelligence Artificielle et d'aider à mieux comprendre quelle est sa place dans l'informatique moderne. Pour bien saisir l'ensemble [...]texte imprimé
Ce numéro spécial est consacré à la parallélisation de la méthode des méandres ainsi que celle du jeu d'échec qui en sont des exemples typiques. Sommaire Partie 1. Applications du calcul parallèle Simulations numériques en cosmologie. Des gra[...]texte imprimé
Le but de cet ouvrage est d'enseigner des fondements sur la programmation. Comme l'apprentissage d'un instrument de musique est incourtournable pour un futur musicien, celui d'un langage de programmation l'est pour un futur informaticien. C'est [...]