Filtrer
Support
Éditeurs
Langues
Dunod
3 produits trouvés
-
Introduction à la logique : théorie de la démonstration
René David, Karim Nour, Christophe Raffalli
- Dunod
- Sciences Sup
- 28 Août 2019
- 9782100806324
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres. Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
-
L'innovation : de l'idée au lancement ; comment créer et développer un nouveau produit
Jean-marie Boulé, David Gotteland, Christophe Haon
- Dunod
- Marketing/communication
- 31 Mai 2017
- 9782100755257
De la génération d'idées au lancement du nouveau produit, le chemin du succès durable est long et semé d'embûches. À partir de méthodes éprouvées, cet ouvrage vous accompagne pour générer davantage de nouvelles idées, sélectionner les plus prometteuses et en assurer le succès. Les nombreux cas pratiques et mises en oeuvre concrètes vous permettent de vous approprier effi cacement les méthodes les plus actuelles pour réussir votre stratégie d'innovation.
Ouvrage labellisé par la FNEGE (Fondation Nationale pour l'Enseignement de la Gestion des Entreprises) en 2018 (catégorie Manuel) -
Introduction à la logique ; théorie de la demonstration ; 3e année de licence, master, CAPES, Agrégation ; cours et exercices corrigés (2e édition)
René David, Karim Nour, Christophe Raffalli
- Dunod
- Sciences Sup
- 5 Janvier 2004
- 9782100067961
Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a 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.
Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master.
II pourra également intéresser les candidats au CAPES et à l'agrégation.
