
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 € |
| Disponibilité | Sur commande en 2-4 jours |
Pourquoi choisir Molière ?
Du même auteur
-

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 en 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 en 6-8 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.EpuiséVOIR PRODUIT14,70 € -

Le nouvel A portée de maths CM2. Photofiches, Edition 2016, avec 1 CD audio
Lucas Janine ; Lucas Jean-Claude ; Trossevin MarieA chaque leçon correspondent des photofiches d'entrainement et de remédiation pour une pratique de la différenciation au quotidien. Pour chaque grand domaine, des fiches d'évaluation sont proposées. Les CD-Rom regroupent les photofiches au format Word et pdf pour permettre à l'enseignant de les modifier.EpuiséVOIR PRODUIT50,65 €
Du même éditeur
-

Physique et métaphysique. Une introduction à la philosophie de la nature
Esfeld MichaëlLa philosophie occidentale s'est, dès ses origines, inspirée et nourrie des sciences de la nature. Aujourd'hui encore, physique et métaphysique demeurent intimement liées; cet ouvrage le démontre en expliquant comment les théories des sciences de la nature et les outils conceptuels de la réflexion philosophique permettent de développer une vision cohérente et solide des traits fondamentaux de la nature. Il se pose comme une introduction au domaine, en retraçant une pensée philosophique rationnelle et homogène, depuis la mécanique de Newton jusqu'aux questions actuelles soulevées par les récentes découvertes en physique quantique. Chaque chapitre contient un appareil pédagogique avec résumé, questions d'évaluation et propositions de travail, et l'ouvrage est complété par un glossaire et une bibliographie exhaustive: il est donc tout particulièrement adapté pour l'enseignement.Impression à la demandeCOMMANDER29,50 € -

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 en 2-4 joursCOMMANDER69,50 € -

L'architecte et le charpentier. Une histoire de la construction en bois au Japon
Jacquet Benoît ; Matsuzaki Teruaki ; Tardits ManueAujourd'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 en 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.EpuiséVOIR PRODUIT36,50 €
