
Logique : fondements et applications
Le Barbenchon Pierre ; Pinchinat Sophie ; Schwarze
DUNOD
26,95 €
Épuisé
EAN :
9782100821587
Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exercices corrigés permettent au lecteur de s'entrainer. Il propose enfin une ouverture sur des applications pratiques de la logique : logique et base de données, structures automatiques, et jeux d'évaluation. L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve.
Catégories
| Nombre de pages | 286 |
|---|---|
| Date de parution | 05/01/2022 |
| Poids | 503g |
| Largeur | 172mm |
Plus d'informations
| EAN | 9782100821587 |
|---|---|
| Titre | Logique : fondements et applications |
| Auteur | Le Barbenchon Pierre ; Pinchinat Sophie ; Schwarze |
| Editeur | DUNOD |
| Largeur | 172 |
| Poids | 503 |
| Date de parution | 20220105 |
| Nombre de pages | 286,00 € |
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison à domicile dès 5,10 €
Facile et sans frais Retrait gratuit en magasin
Sécurité et tranquillité Paiement 100 % sécurisé
Disponibilité et écoute Contactez-nous sur WhatsApp
Du même auteur
-

131 développements pour l'oral. Agrégation externe mathématiques / informatique
Le Barbenchon Pierre ; Lesesvre Didier ; MontagnonVous allez passer l'agrégation externe ? Cet ouvrage est le compagnon idéal pendant votre voyage à travers l'épreuve du développement, qui synthétise à la fois votre compréhension des thèmes abordés, vos capacités techniques et vos qualités d'orateur. Des thématiques diverses et originales Les sujets proposés tissent des liens entre différents domaines, permettant de prendre le recul nécessaire à l'agrégatif comme au futur enseignant. Au gré des développements, on découvre la théorie analytique des nombres, les trajectoires de billards, les machines de Turing, la théorie probabiliste des groupes, les nombres p-adiques, la contrôlabilité des équations aux dérivées partielles ou encore la modélisation économique, biologique et physique. Découvrez 131 développements - taillés pour l'épreuve orale, découpés en étapes clés ; - organisés en chapitres thématiques ; - répartis en trois niveaux de difficulté ; - éclairés de commentaires mathématiques et culturels ; - avec questions de compréhension et d'approfondissement. Chaque leçon est illustrée par plusieurs de ces perles, sélectionnées pour leur intérêt tant mathématique que pédagogique. Ce livre propose ainsi une référence unique et riche pour vous accompagner jusqu'à l'agrégation... et plus loin dans les mathématiques !ÉPUISÉVOIR PRODUIT51,70 € -

Le traité rustica de l'apiculture
Clément Henri ; Le Conte Yves ; Barbancon Jean-MarQuatrième de couverture Rédigé par les meilleurs spécialistes, Le Traité Rustica de l'apiculture répertorie l'ensemble des savoir-faire et des connaissances utiles aux apiculteurs d'aujourd'hui. Des techniques de base (enfumage, manipulation des cadres, visite au rucher... ), illustrées pas à pas, aux dernières recherches en matière de pollinisation ou d'apithérapie, les divers aspects de l'activité apicole sont tous abordés et traités de façon simple et détaillée. Les 800 photos, dessins, schémas en couleurs réjouiront tous les passionnés des abeilles, qu'ils découvrent le monde fascinant de la ruche ou qu'ils souhaitent approfondir et développer leur pratique. --Ce texte fait référence à une édition épuisée ou non disponible de ce titre.ÉPUISÉVOIR PRODUIT46,00 € -

Le traité Rustica de l'apiculture. Edition de luxe
Clément Henri ; Le Conte Yves ; Barbancon Jean-MarRésumé : Véritable bible sur l'apiculture, cet ouvrage complet écrit par des spécialistes traite de tous les aspects de l'activité apicole : biologie de l'abeille, maladies, traitements et prévention, techniques de base, commercialisation des produits en France, en Europe et à l'international... le tout illustré par plus de 800 photos, schémas et des pas à pas. Un beau coffret à offrir à tout passionné du monde de la ruche, amateur ou professionnel !ÉPUISÉVOIR PRODUIT59,00 € -

Le diable et son valet
Horowitz Anthony ; Le Goyat Annick ; Huerta CatherLondres, 1593. Après avoir fui les aubergistes qui l'exploitaient, le jeune Tom s'engage dans une troupe de théâtre à Londres. Mais les acteurs semblent bien étranges : ils ont tous une marque sur le poignet, se comportent de façon bizarre et parlent une langue inconnue. Quel complot se trame au sein de cette troupe théâtrale ? Le soir de la première devant la reine d'Angleterre approche le danger aussi !EN STOCKCOMMANDER6,60 €
Du même éditeur
-

Superintelligence
Bostrom Nick ; Parot FrançoiseRésumé : Que se passera-t-il quand les machines surpasseront l'intelligence humaine ? Les robots vont-ils nous sauver ou nous détruire ? Isaac Asimov l'avançait dès 1942 avec ses trois lois de la robotique : l'intelligence artificielle doit être contrôlée au plus profond de ses fondements pour qu'elle ne puisse jamais s'attaquer à l'Homme. Mais comment s'assurer qu'une superintelligence ne se révèlera pas hostile à la survie de l'humanité ? Dans cet ouvrage unique, best-seller international traduit en dix-neuf langues, Nick Bostrom nous révèle les difficultés que la recherche d'une intelligence supérieure va nous poser et comment les résoudre. Il s'agit sans doute du plus grand défi auquel l'humanité aura à faire face. Il faut s'y préparer.Sur commande, 2 à 4 joursCOMMANDER12,95 € -

Python 3. Apprendre à programmer dans l'écosystème Python, 2e édition
Cordeau Bob ; Pointal LaurentDestiné à tous ceux qui veulent s'initier à la programmation, qu'ils soient étudiants, enseignant ou autodidactes, cet ouvrage vous fournira les bases de l'apprentissage de la programmation avec Python 3, langage à la fois simple, puissant et polyvalent. Accompagnée de nombreux exemples, la démarche pédagogique est renforcée par l'usage de la distribution Pyzo et des notebooks Jupyter, outils pédagogiques interactifs qui permettent au lecteur de tester aisément son code et de mettre en oeuvre les connaissances qu'il acquiert. De plus l'usage de la couleur permet de bien faire comprendre les différents éléments qui constituent le code. Outre les 25 exercices corrigés présents dans la version imprimée, cet ouvrage offre une centaine d'autres exercices corrigés accessibles sur le web. Le livre s'appuie sur la version Python 3. 8. Retrouvez sur https : //www. dunod. com/EAN/9782100809141 et sur https : //github. com/lpointal/appbclp : - Les programmes des exercices et des exemples. - Une documentation sur l'installation et l'usage des notebooks Jupyter. - Les exercices corrigés supplémentaires.EN STOCKCOMMANDER24,00 € -

Apprendre à apprendre. Un peu de psychologie cognitive pour les pros qui veulent optimiser leur pote
Alincourt Florence ; Even Naïla ; Lasance Daphné ;Apprendre à apprendre est la compétence du XXIe siècle pour s'adapter dans un monde en transition. Dans une société qui ne cesse d'évoluer, où nos métiers se réinventent et se transforment, notre capacité d'adaptation est plus que jamais une nécessité. Développer de nouvelles compétences, être innovant dans ses pratiques, gagner en expertise ou encore se reconvertir sont des enjeux primordiaux. Et tous impliquent le même processus : apprendre. Tout changement, qu'il soit sociétal, environnemental, organisationnel ou technologique, invite à de nouveaux apprentissages. Dans la peau de professionnels, explorez à travers ce livre six facettes essentielles de l'apprentissage (la motivation, l'organisation, l'attention, les stratégies d'apprentissage individuelles et collectives ainsi que la métacognition) et levez le voile sur les blocages liés à notre façon d'apprendre pour entrer dans une dynamique d'amélioration continue afin d'apprendre à apprendre.EN STOCKCOMMANDER18,60 € -

Jérusalem 1900. La ville sainte à l'âge des possibles
Lemire VincentRésumé : Jérusalem n'a pas toujours été un champ de bataille. A l'orée du XX e siècle, une autre histoire s'est dessinée, portée par l'émergence d'une identité citadine partagée, loin des dérives communautaristes qui semblent aujourd'hui l'emporter. Cette histoire a longtemps été oubliée et mérite à elle seule d'être racontée. On y croise un maire arabe polyglotte, un député ottoman franc-maçon, des Juifs levantins, mais aussi des archéologues occidentaux occupés faire ressurgir les lieux saints d'une " Jérusalem biblique " fantasmée. Restituant une période exceptionnelle, Vincent Lemire invite à se souvenir de cet " âge des possibles " et livre quelques clés pour mieux comprendre le présent et envisager l'avenir. "Il fut un temps, pas si lointain, où Jérusalem était un modèle de cohabitation entre les communautés. [... ] C'est ce que rappelle Vincent Lemire, dans son ouvrage très documenté sur Jérusalem en 1900". Le ParisienSur commande, 2 à 4 joursCOMMANDER9,95 €
De la même catégorie
-

Le tube à essais. Effervesciences
Lévy-Leblond Jean-MarcRésumé : Ce livre rhapsodique réunit des essais sur l'histoire, la culture, la philosophie, la littérature, la langue des sciences modernes. Il s'agit, comme dans une éprouvette de chimiste, de provoquer des réactions entre ces diverses matières de pensée, en espérant voir se produire des combinaisons inédites et stimulantes. La science aujourd'hui est trop complexe quant à son travail propre, trop impliquée dans les rapports sociaux, trop liée aux formes idéologiques dominantes, pour n'être analysée qu'en termes épistémologiques, sociologiques ou historiques séparés. C'est de tous cotés à la fois qu'il s'agit de la comprendre - et, peut-être, de la transformer. De la confrontation entre une histoire de la science à venir, une analyse du réel selon la physique, une réflexion sur les rapports de Simone Weil ou de Bergson avec la science, une relecture moderne de Lucrèce, un apologue sur l'ignorance savante, une visite au chat de Schrödinger, une lettre à Marie Curie et une autre à Gustave Flaubert, un éloge des controverses, une lecture critique de la culture scientifique, un divertissement sur la chute des astronomes dans les puits, un scénario de science-friction, etc., on souhaite que se dégage une certaine effervesc(i)ence.Sur commande, 2 à 4 joursCOMMANDER23,00 € -

Best of des inventions ratées
Guichard JackUn inventaire ses inventions les plus loufoques de tous les temps. De la poussette anti-attaque chimique au casque ventouse en passant par la cage à fenêtre pour bébé, le masque à poker, le parapluie à chaussures, le chapeau radio, le réducteur de menton, le chariot amphibie et le tank volant, nos inventeurs ont fait preuve, à n'en pas douter, d'une imagination sans limites !ÉPUISÉVOIR PRODUIT16,20 € -

L'histoire des intellectuels aujourd'hui
Leymarie Michel ; Sirinelli Jean-FrançoisRésumé : L'histoire des intellectuels, aujourd'hui, constitue un champ de recherches toujours en chantier. A la croisée des histoires politique et socioculturelle, elle s'écrit au pluriel, tant sont diverses les études portant sur les hommes et les groupes, les lieux ou les moments, tant diffèrent aussi les configurations propres à chacun des pays envisagés. Le bilan dressé ici prend en considération de multiples regards croisés sur l'histoire et les historiographies françaises et étrangères. Il présente également les apports et les supports de cette histoire : apports de disciplines voisines - histoire littéraire, histoire intellectuelle, sociologie - ; supports - de la revue aux médias audiovisuels - qui donnent forme ou sens à la vie intellectuelle. Enfin, la réflexion sur des figures connues - universitaires, savants, artistes - va de pair avec celle sur d'autres, plus récentes : intellectuels catholiques ou cinéastes, intellectuels francophones ou intellectuelles.Sur commande, 4 à 6 joursCOMMANDER29,50 € -

Darwin
Mouret Jean-NoëlRésumé : Père de la théorie de l'évolution, Charles Darwin (1809-I882) a fait vaciller sur leurs bases les dogmes scientifiques et religieux de son temps, affirmant entre autres que "l'homme descend d'un quadrupède velu muni d'une queue, probablement arboricole". Mais quel homme était l'auteur de ce séisme intellectuel dont l'onde de choc vibre encore aujourd'hui ? De l'étudiant en théologie à l'agnostique convaincu, du voyageur audacieux traversant les Andes à clos de mule au vieux sage retiré dans son village du Kent, du rationaliste intransigeant à l'hypocondriaque abusé par des charlatans, Charles Darwin, révolutionnaire malgré lui, aura vécu une existence tout à la fois paisible et schizophrène où le conformiste Mister Charles s'oppose au subversif docteur Darwin.Sur commande, 2 à 4 joursCOMMANDER11,20 €
