Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques. Cet ouvrage, construit à partir d'un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques, en particulier les méthodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des aspects théoriques. Ce livre propose de nombreux exemples et exercices, inspirés de domaines variés. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la médecine, sans en considérer les aspects techniques, mais en restant à un niveau général. D'autres exemples concernant les chats, les chiens, les souris... présentent un certain aspect ludique. La plupart des exercices sont corrigés de manière détaillée.

Introduction pratique aux logiques classiques - Avec exercices corrigés

Les transports ont depuis toujours joué un rôle essentiel dans le développement de nos sociétés. Porté par l'interaction entre nécessités économiques et progrès techniques, le droit des transports est devenu une véritable discipline faite de droit public (organisation des marchés par les pouvoirs publics) et de droit privé (relations entre opérateurs de transports, et entre opérateurs et utilisateurs). La diversité des infrastructures, des techniques et des organisations professionnelles nécessaires au fonctionnement de chaque mode de transports (terrestre, aérien, multimodal...), mais également la distinction essentielle entre transports de passagers et de marchandises, font de ce droit une matière complexe. L'ambition de ce Précis est de dresser un panorama le plus complet possible de l'organisation des transports (Partie 1), du contrat de transport (Partie 2) et des conventions périphériques (Partie 3), ainsi que des responsabilités qui peuvent en résulter. Exception faite du droit maritime, faisant l'objet d'une matière distincte, le présent ouvrage a pour but de présenter de manière claire et synthétique, les différents aspects du droit des transports afin de constituer un outil de référence pour les étudiants (Master 1 et 2) et les professionnels.

Droit des transports

Quelles seront les attentes des clients du transport de marchandises en 2050 ? Pourquoi le transport routier de marchandises est-il devenu le mode de transport terrestre dominant et qu'en sera-t-il dans l'avenir ? Quels seront les développements de l'industrie et de la logistique ? Quelles évolutions technologiques et organisationnelles pour un transport routier écologique et durable ? C'est pour tenter de répondre à ces questions que Maurice Bernadet, professeur honoraire de l'Université Lumière-Lyon 2, membre du Laboratoire Aménagement Economie Transports ; Philippe Brossette, ingénieur ancien responsable produit du groupe Volvo, Président de la Fondation Berliet ; Bernard Favre, ingénieur et docteur ès Sciences consultant en innovation sur le transport durable et Patrice Paletto, ingénieur, Directeur Produit de Renault-Trucks de 2005 à 2015, ont écrit ce livre afin de susciter une réflexion en profondeur sur L'avenir du transport routier de marchandises.

Livres