
Introduction pratique aux logiques classiques. Avec exercices corrigés
Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques. Cet ouvrage, construit à partir d'un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques, en particulier les méthodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des aspects théoriques. Ce livre propose de nombreux exemples et exercices, inspirés de domaines variés. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la médecine, sans en considérer les aspects techniques, mais en restant à un niveau général. D'autres exemples concernant les chats, les chiens, les souris... Présentent un certain aspect ludique. La plupart des exercices sont corrigés de manière détaillée.
| Nombre de pages | 204 |
|---|---|
| Date de parution | 09/09/2010 |
| Poids | 356g |
| Largeur | 156mm |
| EAN | 9782705670856 |
|---|---|
| Titre | Introduction pratique aux logiques classiques. Avec exercices corrigés |
| Auteur | Bernadet Maurice |
| Editeur | HERMANN |
| Largeur | 156 |
| Poids | 356 |
| Date de parution | 20100909 |
| Nombre de pages | 204,00 € |
| Disponibilité | Sur commande en 2-4 jours |
Pourquoi choisir Molière ?
Du même auteur
-

Introduction pratique aux logiques non classiques
Bernadet MauriceAlors que les logiques classiques s'attachent à formaliser et valider des raisonnements rigoureux, précis, et reposant sur des connaissances certaines, les logiques non classiques s'affranchissent de ces contraintes, pour se rapprocher des véritables modes de raisonnement humain. En effet, l'intérêt pour ces logiques s'est particulièrement intensifié avec les développements de l'intelligence artificielle et des systèmes d'aide à la décision. Nous présentons ici les principales logiques non classiques ; nous étudions successivement les logiques multivaluées, les logiques floues, puis les logiques modales et temporelles pour terminer avec l'étude des raisonnements non monotones et les méthodes d'évaluation de l'incertitude. Cet ouvrage se veut pratique et s'intéresse plus aux mécanismes et aux algorithmes de mise en oeuvre des logiques étudiées qu'à leurs fondements théoriques ; chaque chapitre est suivi d'exercices, dont les corrigés sont donnés en fin de livre.Sur commande en 2-4 joursCOMMANDER43,75 € -

Droit des transports. 2e édition
Bon-Garcin Isabelle ; Bernadet Maurice ; DelebecquL'ambition de ce Précis est de dresser un panorama le plus complet possible de l'organisation des transports (Partie 1), du contrat de transport (Partie 2) et des conventions périphériques (Partie 3), ainsi que des responsabilités qui peuvent en résulter. Exception faite du droit maritime, faisant l'objet d'une matière distincte, le présent ouvrage a pour but de présenter de manière claire et synthétique, les différents aspects du droit des transports afin de constituer un outil de référence pour les étudiants (Master 1 et 2) et les professionnels. >Cette nouvelle édition prend en compte les dernières évolutions fort nombreuses intervenues dans la matière que ce soit la réorganisation des statuts juridiques des taxis et des véhicules de tourisme avec conducteur (VTC), la mesure phare de la loi Macron et la libéralisation des liaisons par autocar , ou encore le "reformatage" de la SNCF . Le périmètre du contrat de transport connaît également une évolution au regard des nouvelles offres liées au développement des plateformes en ligne et de la logistique qui interroge différemment ces contours. L'ouvrage est plus complet, le Code des transports s'enrichissant régulièrement des parties réglementaires relatives aux différents modes, il l'est aussi dans le recensement des décisions jurisprudentielles rendues, en particulier celles de la CJUE à l'égard des passagers. Enfin il s'enrichit d'un nouveau développement consacré à l'assurance .Sur commande en 2-4 joursCOMMANDER43,00 € -

Fêtes galantes, Romances sans paroles précédé de Poèmes saturniens de Paul Verlaine
Bernadet ArnaudUn essai. Etude approfondie d'un grand texte classique ou contemporain par un spécialiste de l'oeuvre: approche critique originale des multiples facettes du texte dans une présentation claire et rigoureuse. Un dossier. Bibliographie, chronologie, variantes, témoignages, extraits de presse. Eclaircissements historiques et contextuels, commentaires critiques récents. Un ouvrage efficace élégant. Une nouvelle manière de lire.EpuiséVOIR PRODUIT14,50 € -

Verlaine, première manière. Poëmes saturniens, Fêtes galantes, Romances sans paroles (1866-1874)
Bernadet ArnaudEn quête du moderne, Verlaine témoigne, dès la parution de Poèmes saturniens (1866), d'un sens profond de l'innovation et de l'expérimentation. Figure éminente du Parnasse, et partisan de l'autonomie de l'art, dont il livre une interprétation très personnelle, il se détache rapidement dans Fêtes galantes (1869) des modèles romantiques qui dominent encore le champ de la création. Romances sans paroles (1874), écrit à l'époque de la rencontre avec Rimbaud, jette les fondements d'une nouvelle poétique, dont se nourrira en partie le symbolisme. Mais la " première manière " de Verlaine, c'est aussi une écriture résolument engagée, qui se place dans le camp républicain, favorable même au socialisme révolutionnaire. Ainsi, l'enjeu poétique chez Verlaine est à la fois éthique et politique. C'est ce qui fait sa force critique. Les cinq spécialistes réunis dans cet ouvrage tentent d'en rendre compte par-delà les trop nombreux stéréotypes qui encombrent encore la lecture du poète. Outre l'éclairage historique, nécessaire à la compréhension des principes esthétiques et formels de l'?uvre, ils proposent une analyse détaillée et approfondie de chaque recueil. Une série d'exercices techniques, plus spécifiquement destinés à la préparation des agrégations de Lettres (dissertation, explication de texte, étude grammaticale), clôt cette tentative d'écoute de la " première manière " de Verlaine.EpuiséVOIR PRODUIT12,00 €
Du même éditeur
-

Ecrits et propos
Soulages Pierre ; Le Lannou Jean-MichelUne peinture est un tout organisé, un ensemble de formes (lignes, surfaces colorées...) sur lequel viennent se faire ou se défaire les sens qu'on lui prête. Le contenu de cet ensemble n'est pas un équivalent d'émotion, de sensation, il vit de lui-même. Ces relations entre les formes sont un transfert de relations de l'univers à une autre signification. Dans ce qu'elle a d'essentiel la peinture est une humanisation du monde. " Pierre Soulages (1948) Voici réunis, dans leur variété, leur constante et exemplaire rigueur, quelques-uns des textes et entretiens de Pierre Soulages. Ils explicitent pour nous son oeuvre immense.Sur commande en 2-4 joursCOMMANDER28,05 € -

Illusions dangereuses. Quand les religions nous privent de bonheur
Malkin VitalyNous vivons une époque paradoxale : les extraordinaires progrès scientifiques et techniques des dernières décennies ont bouleversé notre existence, mais, dans le même temps, un fulgurant retour de la barbarie sape nos valeurs laïques fondamentales, héritées des Lumières. Religions et utopies sociales, ces illusions dangereuses constituent la pire malédiction de l'humanité ; elles assaillent notre liberté de penser et de nous exprimer librement. Elles nous imposent leurs critères absolutistes du Bien et du Mal ainsi leur foi dans un au-delà ou un avenir radieux chimériques. Leur but est évident : nous empêcher de vivre sereinement et nous priver du bonheur quotidien. Dès lors, l'alternative est tranchée : Homme ou Dieu ? Raison ou foi ? Plaisir ou ascèse ? Vivre ici et maintenant ou attendre la vie après la mort ? Ce livre très documenté n'en est pas moins un ouvrage grand public : écrit dans un style simple et accessible, il se veut un essai-coup de poing, un pamphlet choc et sulfureux pour nous libérer des fausses promesses et des mensonges qui nous emprisonnent.EpuiséVOIR PRODUIT28,05 € -

Théorie du super soldat. La moralité des technologies d'augmentation dans l'armée
Caron Jean-FrançoisLes technologies visant à augmenter les capacités physiques et psychologiques des soldats ont toujours fait partie intégrante de l'histoire militaire. Toutefois, les recherches actuelles n'ont plus rien à voir avec les expériences du passé, à tel point qu'il est désormais possible de parler d'une révolution de la condition humaine qui mènera à plus ou moins brève échéance à une situation où les guerres du futur seront menées par des "super soldats". Cette possibilité, qui est de plus en plus réelle et inévitable, mais qui demeure étonnamment négligée par les éthiciens, ouvre la porte à une série de questions fondamentales : ces technologies sont-elles moralement problématiques ? Si elles sont permises, en vertu de quels critères est-il possible de distinguer celles qui sont acceptables de celles qui ne devraient pas être tolérées ? Ces innovations vont-elles enfreindre les principes moraux de la "guerre juste" ? Quels devraient être les paramètres éthiques du développement de ces technologies ? Ce premier ouvrage en langue française sur le soldat augmenté cherche à répondre à ces questions. Refusant d'adopter un point de vue manichéen sur cette question, Jean-François Caron explique que les nouvelles technologies d'augmentation entraînent un dilemme moral important. D'un côté, elles peuvent être interprétées comme une obligation morale de la part de l'armée à l'égard des soldats. De l'autre, elles peuvent également entraîner des violations des règles de la guerre. A la lumière de cette tension, l'auteur propose une vision nuancée des tenants et aboutissants de ces technologies militaires et suggère un cadre éthique original permettant de délimiter leur développement et leur utilisation.Sur commande en 2-4 joursCOMMANDER26,95 € -

Traumas et résilience. Leçons du tremblement de terre de 2010 en Haïti
Cénat Jude Mary ; Cyrulnik Boris ; Dérivois DanielMême si, avec plus de 200 000 morts et des dizaines de milliers de blessés, le séisme du 12 janvier 2010 a déjà suscité nombre de réflexions sur l’histoire et la population haïtiennes, on a rarement l’occasion de lire des témoignages aussi poignants ainsi qu’une fine analyse des traumatismes et de la résilience des survivants.Tout le monde s’en souvient : isolés, sans abri, sans nourriture, débordés par la dévastation et dans l’attente des secours, les insulaires ont vécu parmi les morts et avec les morts pendant de nombreuses semaines.Ces témoignages de survivants nous font précisément entrer dans cet enfer, dans le récit d’une souffrance insupportable, mais qui refuse toute attitude condescendante. Par-delà blessures et amputations, le dialogue avec l’auteur laisse lentement apparaître les voies salutaires de la résilience, une sortie proprement humaine vers la vie, comme une renaissance que donne en partage le peuple haïtien à l’humanité entière.Cela nous donne un ouvrage touchant, rigoureux et engagé. Un ouvrage édifiant.Sur commande en 2-4 joursCOMMANDER30,29 €
De la même catégorie
-

Mathématiques. Licence, prépas, Capes, 3e édition
Fredon DanielCet aide-mémoire est principalement destiné aux étudiants en Licence, aux élèves de classes préparatoires ainsi qu'aux candidats au CAPES et à l'agrégation de mathématiques.• Complet, il regroupe sous forme condensée plus de 1 000définitions, formules et résultats du programme d’analyse, d’algèbre, de géométrie et de probabilités ;• Pratique, il permet, grâce à sa table des matières et à son index, de retrouver facilement les éléments utiles à la résolution d’un problème.Des remarques, mises en garde et conseils insérés dans le texte contribuent à faire de cet ouvrage un outil de travail indispensable.EpuiséVOIR PRODUIT21,00 € -

Statistique et probabilités pour les ingénieurs. 3e édition
Veysseyre RenéeIntégralement révisée, cette 3e édition rassemble toutes les définitions, lois et formules du calcul des probabilités et de la statistique utiles à l'ingénieur en activité aussi bien qu'à l'étudiant en formation. La première partie donne les principales définitions et propose un résumé de tous les résultats que l'on peut obtenir à partir d'un tableau de données. La deuxième partie donne le vocabulaire du calcul des probabilités et étudie les principales lois discrètes et continues. La troisième partie traite des problèmes rencontrés par l'ingénieur dans le domaine de la décision : échantillonnage, estimation et tests d'hypothèse, tests de comparaison, tests d'ajustement, régression.Sur commande en 2-4 joursCOMMANDER52,75 € -

Mécanique analytique. Adiabaticité, résonances, chaos
Rax Jean-MarcelDans cet ouvrage sont présentés les outils et méthodes de la mécanique analytique classique, ainsi que les acquis récents tels que la transition vers le chaos et la description cinétique. L’articulation entre le formalisme lagrangien et hamiltonien, et les spécificités des méthodes asymptotiques de la théorie des perturbations sont développées. Enfin, les connexions avec les descriptions quantique et statistique sont analysées.Sur commande en 2-4 joursCOMMANDER40,75 € -

Tous les pré-requis pour réussir en Licence de Sciences. Maths pour les sciences, physique, chimie,
Etienne ThibaudUn Tout-En-Un pour maîtriser les attendus et réussir son entrée en Licence de Sciences ! Vous avez fait le choix de suivre un cursus scientifique à l’université ...Cet ouvrage est fait pour vous ! En couleur et très illustré, il vous permettra d’acquérir les bases méthodologiques et scientifiques nécessaires et attendues pour intégrer une Licence 1 de sciences dans les meilleures conditions. Il vous accompagnera lors de cette année clef de transition entre le lycée et l’université, pour démarrer sereinement vos études supérieures en sciences.Les plus :• Les notions fondamentales à maîtriser.• Un manuel visuel avec de nombreux exemples.• Une partie méthodologie scientifique et des encarts mettant l’accent surles bonnes pratiques.• Une section dédiée aux outils mathématiques nécessaires aux autres disciplines.Le public :Étudiants en Licence 1 de Physique, de Chimie, de Sciences de la vie, de Sciences de la Terre, ou en Licence 1 Plurisciences.EpuiséVOIR PRODUIT23,00 €
