François Lepage Knihy

Die Brüder Lepage machen sich noch einmal auf, um ein extremes Universum zu erobern: Den weißen Mond… und vereinen ihre Künste in einem Album. Wieder das Meer, die Kälte ist schneidend und trocken, das Weiß makellos – die Eiswüste, die Welt der Extreme. Ein Jahr nach seiner Reise auf dem Versorgungsschiff Marion Dufresne in die Französischen Süd- und Antarktisgebiete wird Emmanuel Lepage erneut zu einer Expedition ins große 'A' eingeladen, an einen Ort, den er während seines Besuchs in den TAAF (Terres Australes Françaises) nicht aufgesucht hatte: die Antarktis! Yves, Direktor des IPEV (Institut Polaire Francais Paul Emile Victor) und Comic-Liebhaber, gibt dem Zeichner Gelegenheit, 'über die wissenschaftlichen Pläne, die (…) geleitet werden, die Handwerker, das tägliche Leben' auf der Dumont-d’Urville-Station im Adelieland zu berichten. Für den Bretonen ist dies die Erfüllung eines Kindheitstraums zweier Jungen, der entstand, als sie gemeinsam Entdecker spielten; unmöglich, diesen Traum ohne seinen Bruder zu leben! Gemeinsam präsentiert uns das Brüderpaar die künstlerische Symbiose ihrer dokumentarischen Arbeit: eine betörende Mixtur aus Aquarell-Zeichenkunst und Fotografie.

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction - sa lecture ne requérant aucune connaissance particulière - il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats.La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle.Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle.De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.