Introduction à la logique. Théorie de la démonstration, 2e édition

Cet ouvrage, révisé pour cette troisième édition, est un cours introductif à la logique mathématique, et en particulier à la théorie de la démonstration. Il s'intéresse, du point de vue du mathématicien, aux questions : "Qu'est-ce qu'un énoncé ? une démonstration ? " ou, plus fondamentalement : "Que sont les mathématiques ? ". Les réponses proposées sont illustrées par de nombreux exemples issus des mathématiques classiques. Il aborde également la logique intuitionniste, qui fournit des preuves constructives, la logique d'ordre supérieur, qui permet de formaliser des raisonnements mathématiques plus riches en autorisant la quantification sur des ensembles, des fonctions ou des prédicats, ainsi que les techniques de base de la démonstration automatique, notions devenues essentielles en informatique. Cette nouvelle édition comporte en outre une introduction assez complète à la logique linéaire, qui permet de décomposer les connecteurs logiques et de gérer finement les règles d'utilisation des hypothèses. Pour accompagner le lecteur dans sa progression, le cours contient de nombreux exemples et plus de 190 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, développé par l'un des auteurs et utilisable en ligne. Des compléments aux corrigés (preuves entièrement formalisées avec le logiciel PhoX), ainsi que le logiciel lui-même, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants de la licence à la première année de doctorat. Il pourra également intéresser les candidats aux CAPES et à l'agrégation.

Résumé : La supervision est née du besoin de protection mutuel du client et du coach. De la nécessité aussi pour le coach de poursuivre son évolution. Mais est-ce le seul intérêt de la supervision et en quoi la supervision de coaching est-elle spécifique ? En parallèle d'une réflexion sur les enjeux de la supervision, notamment sur la puissance, le pouvoir et les abus possibles, cet ouvrage est le premier qui aborde le sujet de manière pratique et opérationnelle. Fruit d'un long travail d'investigation et de réflexion, il présente également différents points de vue de superviseurs français et étrangers ainsi que des témoignages de coachs supervisés. Pour les coachs : Cerner les enjeux de la supervision, choisir son superviseur et la technique de supervision la plus adaptée pour développer sa puissance. Pour les prescripteurs de coaching : Savoir choisir un coach supervisé. Pour les superviseurs : Avoir des techniques fiables et éprouvées pour se positionner comme un allié du coach supervisé et des pistes pour continuer à évoluer dans sa pratique. Un livre engagé qui débat ouvertement des questions qui " fâchent ", pose la question fondamentale de l'exercice du pouvoir et propose des pistes éthiques et déontologiques.

Résumé : Le droit anglais est applicable en Angleterre et au Pays de Galles. Cependant, son importance ne se limite pas à ce territoire et l'on peut comparer l'influence qu'il a exercée sur la plupart des pays de langue anglaise à celle du droit romain sur les pays du continent européen. Le droit anglais constitue en effet une sorte de prototype, par lequel il convient de commencer toute étude d'un des droits appartenant à la " famille de la common law ". Cet ouvrage se propose, non de décrire ce droit dans sa complexité, mais de mettre en valeur son originalité à travers certains de ses traits les plus caractéristiques et de marquer ainsi sa différence par rapport à l'ensemble des droits européens.