Chroniques De L'Afrique Sauvage

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.

Eléments de logique contemporaine

Embarquer à bord du Marion-Dufresne est une expérience 
inoubliable. Le navire polyvalent armé par la CMA-CGM 
flirte toute l'année avec les "dernières frontières" de la planète 
: les terres Australes et Antarctiques françaises situées dans les 
quarantièmes rugissants. A la fois paquebot, cargo Ce 
d'exploration, il embarque pour des tournées-semaines, les 
vivres, carburants, matériels et personnels des bases 
scientifiques, des océanographes et même des touristes. Au 
départ de l'Ile de la Réunion, le "circuit" comprend Tromelin, 
les îles Saint-Paul et Amsterdam et les archipels de Crozet et 
Kerguelen. C'est cette croisière ultime que les auteurs nous 
invitent à partager, par le texte et par la photo, dans ce livre 
assurément décoiffant.

Marion Dufresne, ravitailleur du bout du monde

Introduction à la métalogique du calcul propositionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements utiles (logiques intuitionniste et modale) et aussi des approches originales (probabilités).

Les auteurs accordent une attention rigoureuse à la présentation et à l'explication des concepts des calculs propositionnels. Formellement très simples, les calculs propositionnels constituent un terrain idéal pour s'initier aux manipulations symboliques. En ce qui concerne, plus généralement, l'usage du formalisme, les auteurs privilégient une attitude pédagogique sans pour autant faire de concessions. La logique est, et restera, formelle, mais il est possible de l'apprivoiser ; et le meilleur outil pour ce faire est la pratique consistant à résoudre des problèmes. On trouvera donc dans cet ouvrage de nombreux exercices dont la plupart sont accompagnés de solutions.

La logique propositionnelle et ses variantes - Une approche comparée

Pas d'autres dieux

La réputation fromagère de la France doit beaucoup à la grande variété de ses traditions régionales. Or, l'industrialisation de la production tend à réduire cette diversité au profit de quelques fromages. C'est donc à la production fermière qu'il revient de conserver ce patrimoine en harmonisant tradition et techniques actuelles garantes d'un label sanitaire de qualité.
Pour cela, le producteur fermier a besoin qu'on mette à sa portée les acquis réels des progrès technologiques. Seule une bonne maîtrise technique permet une production de qualité régulière. Il lui faut aussi acquérir une véritable culture fromagère s'il veut pouvoir élargir la gamme de ses produits.
Cet ouvrage propose dans une présentation claire et pédagogique : un répertoire régional des fromages fermiers, soixante-quinze diagrammes de fabrication ainsi qu'un exposé détaillé des techniques de production les plus modernes.
Jean-Christophe Corcy, animateur de stages dans les lycées agricoles et organismes régionaux de formation, et Michel Lepage, spécialiste fromager, ont réussi avec ce livre de référence, le véritable outil de travail du producteur de fromages fermiers.

Fromages Fermiers. Techniques Et Traditions

Martin Benoît se sauve. Il file vers le nord, en direction de Montréal. Il veut se réfugier au Canada afin d'échapper aux services secrets américains, qui le soupçonnent d'être une menace pour la sécurité. Pourtant, il n'est qu'un jeune et brillant universitaire. Il n'a choisi ni la voie de l'islam radical, comme Ahmed Morghad, ni celle de l'activisme écologique, comme Laetitia Duperré, ni celle du crime, comme Pierre Maurice. Après avoir découvert la puissance de la théorie des jeux et le fascinant " dilemme du prisonnier ", Martin Benoît croit pouvoir répondre à cette interrogation cruciale : quels comportements individuels font des sociétés harmonieuses et stables ? Sa réputation intellectuelle l'amène à parcourir le monde et tout va bien jusqu'au jour où, s'approchant du poste frontière de Lacolle, il est sur le point d'être interrogé par une douanière qui porte des pantoufles Snoopy. Comment saisir le mystère des trajectoires humaines ? L'art romanesque est sans doute un outil très sophistiqué pour y arriver, que François Lepage pratique ici avec un plaisir communicatif. En donnant à son intrigue rocambolesque toute l'élégance d'une démonstration mathématique, il nous offre un roman mordant, grinçant, qui nous tient en haleine du début à la fin et tord le cou, en passant, à tout ce qui peut ressembler à de la rectitude politique. Quant à savoir comment il est possible qu'une représentante officielle de Douanes Canada soit chaussée de telle manière pendant l'exercice de ses fonctions, il vous faudra lire Le Dilemme du prisonnier pour l'apprendre.

Le dilemme du prisonnier

"Chantier, grand corps tuméfié aux multiples cicatrices . Une chair, comme la mienne... Ses mouvements me bouleversent, les rencontres me transforment... Avec le sténopé, je m'assois dans l'herbe, je prends le temps de placer le pied sur lequel je vais poser la boîte, de préparer la prise de vues . J'éprouve cette joie profonde de l'enfance . Ce temps long, immobile, sans injonction... J'observe l'environnement immédiat, végétal et mécanique . J'écoute le vent frapper la boîte et imprimer l'image de ses vibrations . Elle semble capter autant le chaos extérieur que le tumulte intérieur... Echo photographique et protéiforme. ".

Chroniques De L'Afrique Sauvage

Plus de livres de François Lepage

Critiques

Ce livre n'a pas encore de critiques