Sciences numériques et technologie 2de . Edition 2019

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, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.

De plus en plus nombreux sont les organismes et entreprises désireux de mettre en place, et de pérenniser, un dispositif de Veille Anticipative Stratégique pour mieux connaître leur environnement d'affaires pertinent et pour anticiper les changements de celui-ci. L'ouvrage présente une méthode complète et originale pour la mise en place d'un dispositif de Veille Anticipative Stratégique et Intelligence Collective. Cette méthode repose à la fois sur d'importants travaux de recherches doctorales (sciences de gestion) et sur les interventions dans près d'une centaine d'entreprises de tailles diverses. La méthode L.E.SCAnning est plus particulièrement tournée vers l'anticipation ; les signaux et signes faibles émanant de l'environnement de l'entreprise ; l'exploitation des informations par la création collective de sens ; l'intelligence collective d'entreprise ; l'apprentissage collectif. Les utilisateurs de la méthode L.E.SCAnning° peuvent entrer en interaction avec l'équipe du professeur LESCA au moyen du site web de celle-ci (http://www.ville-strategique.org). Ils peuvent ainsi bénéficier, à leur demande, d'exemples, d'exercices et de compléments méthodologiques régulièrement mis à jour. Ils peuvent également mettre en commun leur expérience et leurs pratiques de la méthode de façon à enrichir et faire évoluer cette dernière.

A la suite de la crise en Ukraine, l'image de Poutine dans l'opinion occidentale semble s'être cristallisée. Il est un autocrate qui impose sa volonté arbitraire à une population subjuguée par sa propagande et un aventuriste animé par des ambitions impériales. Cet essai tente de montrer que, sur un thème central chez lui et dans les débats idéologiques et politiques en Russie, - le modèle de développement et le processus de modernisation -, son discours ne concorde pas totalement avec cette image.