
Facettes de la logique formelle. Les présentations de base, leurs relations, leurs prolongements
Ce manuel propose six présentations fondamentales de la logique mathématique contemporaine et leurs relations : l'approche sémantique, l'axiomatique hilbertienne, la relation de conséquence, les séquents à conclusion multiple, les séquents à conclusion simple et la déduction naturelle. L'exposé théorique, très complet, vise à justifier systématiquement les choix adoptés et ne laisse aucune difficulté variable, résolus ou dont la solution est esquissée, ainsi que d'ouvertures sur des prolongements théoriques. Avec un contenu moins dogmatique et plus réflexif que celui de nombreux titres publiés précédemment sur le sujet, cet ouvrage s'adresse principalement aux étudiants de mathématiques, de philosophie, d'informatique ou de sciences formelles ayant déjà suivi un cours de base en logique et qui, soucieux de poursuivre leur étude, se heurtent souvent à la multiplicité des approches et des notations. Son organisation et son style permettent à chaque lecteur de progresser "à la carte" en fonction de ses centres d'intérêt.
| Nombre de pages | 416 |
|---|---|
| Date de parution | 14/08/2025 |
| Poids | 300g |
| Largeur | 160mm |
| EAN | 9782889156511 |
|---|---|
| Titre | Facettes de la logique formelle |
| Auteur | Lucas Thierry ; Berlanger Isabelle ; Degauquier Vi |
| Editeur | PU POLYTECHNIQU |
| Largeur | 160 |
| Poids | 300 |
| Date de parution | 20250814 |
| Nombre de pages | 416,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

Guide de l'auteur et du petit éditeur
Lucas ThierryLe destin de l'auteur et celui de l'éditeur sont intimement liés. Cet ouvrage aborde les métiers et les pratiques de l'édition selon que l'on soit auteur (quel statut, quel contrat, comment être publié...) ou éditeur (relations avec les auteurs, les imprimeurs, comment être diffusé, quelle structure juridique adopter...). De l'élaboration d'un livre jusqu'à sa commercialisation, les embûches sont nombreuses. L'objectif affiché de cet ouvrage est d'aborder en des termes pratiques, les contingences matérielles et les obligations juridiques qui régissent le monde de l'édition. - Les droits et les contrats attachés à la propriété littéraire et artistique (le droit d'auteur, comment protéger un écrit, rédiger un contrat à compte d'éditeur, qu'est-ce qu'un contrat à compte à demi, à compte d'auteur, l'auteur salarié, la direction de collection...), - Le livre et la réglementation (le dépôt légal, l'identification ISBN, les mentions obligatoires, la loi sur le prix unique du livre...), - L'environnement social et fiscal (les taux de TVA applicables, le régime fiscal et social de l'auteur, les dépenses professionnelles de l'auteur...), - La fabrication : du manuscrit au livre (présentation dactylographique et typographique, les relations avec l'imprimeur, les étapes de la fabrication...), - L'environnement commercial (les filières de la diffusion et de la distribution, les relations avec les détaillants, la vente par correspondance, la souscription...), - L'exploitation (le coût de revient d'un livre, comment déterminer la quantité à tirer, le prix public, la gestion des stocks, les prévisions et les stratégies, les aides financières...). Plus d'une centaine d'adresses utiles et de nombreux modèles de contrats et modèles types viennent ponctuer les propos de l'auteur.Sur commandeCOMMANDER24,67 € -

Initiation à la logique formelle. 4e édition revue et augmentée
Lucas Thierry ; Berlanger Isabelle ; Degauquier ViSur commande, 4 à 6 joursCOMMANDER25,90 € -

Logos et analogia. La pensée analogique entre Orient et Occident
Lucas Thierry ; Gros IvanUne vue conventionnelle oppose souvent la pensée occidentale où prédominerait la rationalité, le logos, à la pensée orientale qui serait le royaume du symbolisme, de l'analogie. Les textes rassemblés ici donnent un aperçu beaucoup plus nuancé de la question. Analogie et raisonnement analytique sont présents tant en Orient qu'en Occident et la frontière entre les deux formes de pensée est moins tranchée qu'on a pu le dire. Il est vrai que l'analogie s'est traduite en Occident comme une remontée dans l'échelle des causes pour déboucher sur le Divin, alors qu'en Orient elle s'est déployée selon un axe horizontal pour penser la structure de l'univers et du langage. D'autres contributions mettent cependant en évidence le caractère universel de l'analogie et son lien étroit avec la rationalité discursive, dans le domaine religieux, en logique et en mathématique. D'autres textes encore comparent explicitement Orient et Occident ou se penchent sur l'articulation même de l'universel et du particulier. Les techniques et les disciplines convoquées sont très diverses et vont de la mathématique et de la logique aux études littéraires, à l'esthétique, à la philosophie, à la pédagogie, à la théologie et aux sciences de la communication.Sur commande, 6 à 10 joursCOMMANDER21,00 € -

350 exercices de lecture CM
LUCASUn ouvrage qui, comme chacun des titres de la collection : - propose un large éventail d'exercices ; - permet les acquisitions fondamentales comme les activités de soutien et d'approfondissement. - est compatible avec chaque méthode d'enseignement. Cet ouvrage amène l'élève à une meilleure compréhension des textes. Il est décomposé en deux parties : - pour mieux lire ; - trouver l'information. Une partie ludique de jeux à lire et à dire est proposée ; elle peut être abordée oralement.ÉPUISÉVOIR PRODUIT14,70 €
Du même éditeur
-

Mares et étangs. Ecologie, gestion, aménagement et valorisation
Oertli Beat ; Frossard Pierre-André ; Lefeuvre JeaMondes fascinants à l'interface des milieux aquatique et terrestre, les mares et les étangs sont particulièrement nombreux et variés. Ces systèmes complexes, en étroite relation avec l'activité humaine, abritent un nombre important d'espèces végétales et animales; leur gestion présente des enjeux importants en termes de conservation de la biodiversité dans un contexte de développement durable, mais également en termes de protection de la ressource eau, éminemment fragile.Cet ouvrage propose une description générale des mares et des étangs, de leurs composantes physiques, de leur faune et de leur flore, ainsi que de leur fonctionnement écologique. Il expose les différentes typologies et l'ensemble des aspects liés au diagnostic et au suivi écologique de ces milieux. Les mesures pratiques d'entretien, de restauration et d'aménagement de nouveaux étangs sont développées en détail, tout comme les divers procédés de valorisation et les cadres législatifs en vigueur.Complet, pratique et synthétique, ce manuel fournit l'ensemble des bases nécessaires à une démarche intégrée de gestion interdisciplinaire de milieu naturel, depuis l'étape de diagnostic jusqu'à la planification des mesures d'entretien ou de restauration à mettre en oeuvre. Sans précédent par la richesse et la multidisciplinarité de son contenu, cette référence s'adresse aux étudiants, aux naturalistes, aux enseignants, aux chercheurs, aux gestionnaires et aux praticiens de l'environnement, ainsi qu'à un plus large public.4e de couverture : Mondes fascinants à l'interface des milieux aquatique et terrestre, les mares et les étangs sont particulièrement nombreux et variés. Ces systèmes complexes, en étroite relation avec l'activité humaine, abritent un nombre important d'espèces végétales et animales; leur gestion présente des enjeux importants en termes de conservation de la biodiversité dans un contexte de développement durable, mais également en termes de protection de la ressource eau, éminemment fragile.Cet ouvrage propose une description générale des mares et des étangs, de leurs composantes physiques, de leur faune et de leur flore, ainsi que de leur fonctionnement écologique. Il expose les différentes typologies et l'ensemble des aspects liés au diagnostic et au suivi écologique de ces milieux. Les mesures pratiques d'entretien, de restauration et d'aménagement de nouveaux étangs sont développées en détail, tout comme les divers procédés de valorisation et les cadres législatifs en vigueur.Complet, pratique et synthétique, ce manuel fournit l'ensemble des bases nécessaires à une démarche intégrée de gestion interdisciplinaire de milieu naturel, depuis l'étape de diagnostic jusqu'à la planification des mesures d'entretien ou de restauration à mettre en oeuvre. Sans précédent par la richesse et la multidisciplinarité de son contenu, cette référence s'adresse aux étudiants, aux naturalistes, aux enseignants, aux chercheurs, aux gestionnaires et aux praticiens de l'environnement, ainsi qu'à un plus large public.Table des matières : Des milieux répandus et diversifiés, mais en raréfaction Etangs et société: sujets versatiles Le milieu physique et sa variabilité Faune, flore, biodiversite Le fonctionnement écologique Typologie des mares et des étangs Diagnostic et suivi écologique Principes de gestion et modalités d'entretien Comment créer une mare, un étang ? Aménagement du milieu (végétation et milieux annexes) Cadre juridique Valoriser le patrimoine des mares et des étangsSur commande, 2 à 4 joursCOMMANDER69,50 € -

L'architecte et le charpentier. Une histoire de la construction en bois au Japon
Jacquet Benoît ; Matsuzaki Teruaki ; Tardits ManueRésumé : Aujourd'hui, à l'évocation de l'architecture japonaise, les images d'un temple ou d'une pagode viennent assez naturellement à l'esprit. Certains auront également en tête des oeuvres plus contemporaines : les voiles de béton brut de décoffrage, massifs et modulaires à la manière d'Ando Tadao, les architectures plus légères d'Ito Toyo, Sejima Kazuyo ou les façades ouvragées de Kuma Kengo1, pour ne citer qu'eux. Un fossé générationnel, voire historique, assez surprenant, semble s'être creusé entre les images d'une architecture traditionnelle très emblématique où le bois est le matériau de prédilection, et celles plus actuelles de projets innovants où son usage se réduit. Au Japon, bien que le charpentier en ait longtemps été le maître d'oeuvre principal, la culture architecturale contemporaine semble avoir oublié ce savoir constructif accumulé durant des siècles. Une telle constatation s'applique d'ailleurs à nombre d'autres domaines de l'art comme la musique - les enfants japonais apprennent plus volontiers le piano ou le violon que le shamisen ou le koto - la peinture et la sculpture, enseignées selon les canons occidentaux depuis la réforme de Meiji à la fin du XIXe siècle. Le déclin de l'artisanat, l'industrialisation, la modernisation des savoirs et des techniques, sont des phénomènes aujourd'hui observables à une échelle globale, mais dans le cas du Japon en particulier, le contraste est saisissant, même inquiétant, entre ce qui reste d'un patrimoine ancien et ce qui se construit en majorité dans les villes japonaises.Sur commande, 2 à 4 joursCOMMANDER42,00 € -

Dynamique des structures. Bases et applications pour le génie civil, 2e édition revue et augmentée
Lestuzzi Pierino ; Smith IanLa dynamique des structures est un champ d'expertise dont la maîtrise est désormais indispensable pour tout projet de construction. Le développement de structures toujours plus légères et élancées impose en effet à l'ingénieur civil d'en connaître les principes, tout comme ceux du génie parasismique. C'est à l'exposé des bases théoriques et fondamentales de cette branche commune à plusieurs domaines de l'ingénierie que s'attache ce manuel, illustré de nombreux exemples d'application au génie civil. Les principes de la dynamique des structures sont tout d'abord présentés avec un, puis plusieurs degrés de liberté, à l'image de l'amortisseur à masse accordée dont le fonctionnement, reposant sur un système à deux degrés de liberté soumis à une excitation harmonique, fait l'objet d'une attention particulière. Autre point décisif de l'ouvrage : le concept de spectre de réponse, qui constitue un outil essentiel pour l'ingénieur praticien. Le lecteur y trouvera également un développement consacré aux actions dynamiques provoquées par le vent et les séismes, une introduction à la dynamique non linéaire, et de nombreux exemples d'utilisation de mesures de vibration in-situ pour l'analyse dynamique. Enfin, l'ensemble des procédures de calcul importantes sont formulées avec les instructions du logiciel de calcul numérique MatLab. Cette deuxième édition est augmentée d'une nouvelle section dédiée aux coordonnées modales ; les jeux complets d'instructions MatLab des annexes ont par ailleurs été entièrement revus et améliorés, et un index complète désormais l'ensemble. Une référence solide et durable pour tous les étudiants et ingénieurs praticiens en construction.ÉPUISÉVOIR PRODUIT36,50 € -

Choisir l'architecture. Critique, histoire et théorie depuis le XIXe siècle
Van Gerrewey Christophe ; Guidicelli ThomasDepuis des siècles, l'architecture fait l'objet de très nombreux débats impliquant non seulement les architectes et les usagers des édifices qu'ils construisent, mais également critiques, théoriciens, historiens et écrivains. Choisir l'architecture se propose d'ouvrir une large fenêtre sur ces réflexions au sein du monde occidental à travers quatre trajectoires thématiques axées sur le logement, la société, l'histoire et l'art. Chacun de ces parcours prend sa source au XIXe siècle, traverse le XXe siècle et s'achève aussi près que possible du temps présent. Les essais, articles de journaux ou de magazines, livres ou extraits de livres qui forment les briques de cette construction narrative sont tous soigneusement interrogés, illustrés, comparés, analysés et critiqués. L'objectif de cet ouvrage est de démontrer que l'architecture demeure un sujet d'étude essentiel pour quiconque s'intéresse au monde actuel et à son histoire récente. Lecture, prise d'informations et réflexion forment des préalables nécessaires à toute prise de décision concrète, en particulier dans le domaine de l'architecture. Les écrits réunis dans ce livre s'apparentent à des perles de connaissance enfilées sur une cordelette jusqu'à former une sorte de collier, un talisman permettant de mieux faire face à la condition présente.ÉPUISÉVOIR PRODUIT49,00 €
