
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 ViUne introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. La richesse des thèmes abordés et la palette d'exercices proposés conduiront rapidement le lecteur à une connaissance approfondie des notions de base de la logique. Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement.Sur 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 € -

Angkor et ses temples
Zéphir Thierry ; Invernizzi Tettoni LucaSur commande, 2 à 4 joursCOMMANDER12,00 €
Du même éditeur
-

Isolant thermique en rénovation. Faire un choix équilibré entre confort et performance
Stiernon Dorothée ; Trachte SophieEn raison des réponses apportées aux enjeux climatiques et des exigences en matière d'isolation thermique de plus en plus contraignantes, le marché des matériaux d'isolation est en pleine expansion. Si les isolants en laines minérales et les isolants en mousses synthétiques dominent le marché actuel, les isolants dits "naturels" ou "biosourcés" suscitent un intérêt croissant et prennent chaque année quelques parts supplémentaires de marché. En effet, au cours de ces vingt dernières années, les isolants issus de matériaux naturels et renouvelables, tels que les matières végétales ou animales, ont été redécouverts et sont de plus en plus souvent utilisés dans l'habitat individuel, tant en construction neuve qu'en rénovation. Ils font aussi souvent l'objet de subsides "à la rénovation" complémentaires ou plus importants. Des recherches scientifiques et industrielles se développent aussi d'une part sur des matériaux isolants innovants très efficaces et d'autre part sur l'utilisation et la valorisation de co-produits de l'agriculture ou de déchets. Ces recherches sont sans nul doute influencées par le niveau d'exigence des réglementations en vigueur mais également par des objectifs d'économie circulaire et de gestion durable des ressources. Les matériaux isolants sont ainsi devenus des matériaux incontournables dans la construction et la rénovation de bâtiments énergétiquement performants et confortables. Ils assurent un ensemble de tâches et de fonctions qui sont la garantie d'un climat intérieur agréable et sain ; la réduction des déperditions par transmission et ventilation ; une protection contre la chaleur en été ; une protection contre le froid et le gel en hiver et éventuellement une protection acoustique. La qualité d'une enveloppe thermiquement bien isolée repose sur les propriétés thermiques des matériaux et des éléments qui la composent ainsi que sur leur dimensionnement et leur mise en oeuvre. Souvent invisibles car cachés derrière des parements, ces matériaux, vu les épaisseurs nécessaires pour atteindre les performances exigées, représentent un volume considérable de matières et influencent fortement tant le confort des bâtiments que leur bilan environnemental. En outre, vu leur faible taux de valorisation actuelle (réemploi ou recyclage), ces matériaux représentent aujourd'hui un véritable défi en termes d'économie circulaire.EN STOCKCOMMANDER42,00 € -

Les bactéries font de la résistance. Au coeur de la lutte contre la résistance aux antibiotiques
Aubry Christele ; Greub GilbertPRÉCOMMANDEPRÉCOMMANDER19,00 € -

Un siècle de radio-télévision. Le service public audiovisuel en Suisse romande
Vallotton FrançoisEn 2025, la Radio Télévision Suisse (RTS) a entamé une nouvelle étape de son histoire en installant son site de production lausannois sur le campus de l'EPFL. Ce redéploiement prend toutefois une dimension qui dépasse la seule migration géographique. Il met fin à un lent processus qui a conduit dès 1960 à l'attribution des studios de télévision à Genève puis à la création d'un centre romand unique pour la production radiophonique à Lausanne. Plus fondamentalement encore, l'inauguration prochaine du nouveau centre lausannois, en réunissant les activités de l'information des trois médias que sont la radio, la télévision et le web, marque l'aboutissement d'un processus de convergence inauguré en 2010 avec la création de la RTS, mais qui s'ancre historiquement dans une interdépendance serrée entre radio et télévision tant sur le plan technique qu'institutionnel et médiatique, les programmes s'influençant et se répondant réciproquement. Dans un contexte où le service public audiovisuel suisse - à l'instar de tous ses homologues européens - est contesté sur le plan politique mais aussi remis en question par la nouvelle configuration technique et médiatique, cet ouvrage synthétique revient sur la genèse et le développement conjoints de la radio et de la télévision dans notre pays pour mieux aborder les enjeux et les défis contemporains.Sur commande, 2 à 4 joursCOMMANDER14,90 € -

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 €
