Notre site web sera en maintenance ce mardi 3 février après-midi. Les commandes enregistrées ne subirons pas de retard de traitement.
Facettes de la logique formelle. Les présentations de base, leurs relations, leurs prolongements
Lucas Thierry ; Berlanger Isabelle ; Degauquier Vi
PU POLYTECHNIQU
49,00 €
Épuisé
EAN :9782889156511
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.
Lucas Gareth ; Bathie Holly ; Duran Véronique ; Du
Un livre fourni avec plus de 100 autocollants pour remplir de narvals et d'autres animaux marins les scènes imagées. Ce livre d'autocollants très coloré, à la fois ludique et instructif, invite les enfants à compléter les milieux marins représentés à l'aide de plus de 100 autocollants. En plaçant au fil des pages des narvals, des loutres de mer, des requins et bien d'autres animaux impressionnants, ils donneront vie aux scènes imagées révélant les fonds marins, une forêt d'algues et les eaux glacées de l'océan. dès 3 ans / 16 pages + 8 pages d'autocollants / 276 x 216 mm
Lucas Thierry ; Berlanger Isabelle ; Degauquier Vi
Une 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.
Heinrich Tessenow publie la première édition de son Hausbau und dergleichen en 1916, en pleine Première Guerre mondiale. Et, à l'image de ses projets et édifices bâtis, cette oeuvre aussi brève que lumineuse ne manquera pas de susciter l'admiration des grands protagonistes de l'architecture européenne de l'époque. La construction de maisons dans ses déclinaisons les plus modestes (maisons ouvrières ou pour la petite bourgeoisie) lui offre un terreau fertile pour questionner les principes fondamentaux de la composition. Accompagnée de ses légendaires dessins au trait, la voix simple et claire de Tessenow s'écarte ainsi discrètement des slogans de l'avant-garde dans l'intense débat qui anime les premières décennies du XXe siècle. C'est peut-être ce qui lui a valu d'être laissé en marge des grands récits de la modernité architecturale. Or, un siècle plus tard, à l'heure où l'on se met à repenser les limites d'un concept de "modernité" souvent trop étroit, la posture originale et inimitable de cette architecture, plaçant l'habitation au centre de la réflexion, trouvera plus que jamais, dans cette première édition française, l'écho qu'elle mérite.
Résumé : La 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.
Depuis 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.