La photographie au théâtre. XIXe-XXIe siècles

Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées gràce aux nombreux exercices corrigés qui les accompagnent. Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) ; des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) ; enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking. Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.

Antoine Vitez, parallèlement à son oeuvre d'homme de théâtre, de traducteur et de poète, dessinait et photographiait. Des milliers de photographies... inconnues du public jusqu'aux expositions "Portraits au miroir" et "Portraits de familles" présentées en 2008 et 2010. Autour d'un de ses poèmes et de trente-trois de ses portraits réalisés entre 1959 et 1990, ce livre-album réunit des écrits et des images d'amis, d'artistes et d'universitaires. Eclats de mémoire, fragments d'histoire, ils disent les liens profonds, intimes et poétiques qu'entretenaient théâtre et photographie dans la vie de celui que l'on connaît surtout comme l'un des grands metteurs en scène et pédagogues du XXe siècle.

Destiné aux étudiants de classes préparatoires ECS de première et deuxième années, cet ouvrage est consacré à la méthodologie de l'Histoire, Géographie et Géopolitique. Rédigé par des professeurs expérimentés, c'est l'outil indispensable pour franchir le cap du passage en prépa et réussir les épreuves écrites et orales des concours d'entrée en école de commerce. Il comprend : Le programme officiel d'Histoire, Géographie et Géopolitique du monde contemporain ; La présentation des épreuves ; La méthode détaillée des exercices écrits (dissertation, croquis de synthèse, commentaire de cartes) et oraux (khôlles et oral de concours), s'appuyant sur les derniers rapports du jury ; Des conseils pour faciliter le passage du lycée à la prépa, puis pour organiser son travail et progresser au cours des deux années ; Deux copies de concours analysées et commentées ; 30 sujets corrigés couvrant le programme des deux années, sous forme de plans détaillés ou intégralement rédigés ; Les 250 notions-clés à connaître ; Des exercices d'application et des sujets pour s'entraîner de manière guidée ; Des annales et des sujets inédits pour s'entraîner seul.

Le texte non dramatique, c'était peut-être l'hôte du Théorème vitézien. D'autant plus désirable qu'il était distant, indifférent, libre des contraintes dramatiques et scéniques, propice à révéler l'aberration de certaines conventions et convictions, à servir une destruction féconde, à pousser les hommes de la famille théâtrale sur la voie de leurs différences. Fruit d'une enquête documentaire, nourri de l'observation des traces, de l'écoute des artistes et des compagnons de route, accompagné d'extraits d'archives sonores, cet ouvrage raconte l'histoire d'une confrontation audacieuse avec l'injouable et l'irreprésentable : le rêve d'un théâtre sans limites, pêle-mêle d'intime et de politique, où l'auteur serait sphinx, le metteur en scène devin, l'acteur apôtre, et le corps microcosme.