Hermann tous les livres
Logique et langage Déduction naturelle
Penser, parler, raisonner sont des activités liées au logos grec. Ces activités sont en étroite interaction, en particulier dans les sciences cognitives actuelles. La logique est-elle un art pour bien raisonner ? Une méthode d'argumentation correcte&...
(paru le 01/04/2010, consulté 178 fois)
Introduction pratique aux logiques non classiques Avec exercices corrigés
Alors 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 mode...
(paru le 24/02/2011, consulté 458 fois)
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...
(paru le 01/09/2010, consulté 979 fois)
LaTeX pas à pas
Cet ouvrage à destination des étudiants et doctorants, est un guide des premiers pas en LaTeX.
LaTeX est à l'origine un logiciel essentiellement conçu pour composer des textes scientifiques et techniques, mais au vu de sa qualité et de sa souplesse, no...
(paru le 11/12/2009, consulté 2903 fois)
Prolog - Programmation par l'exemple Exemples et exercices corrigés
Prolog est un langage de programmation déclaratif qui a vu jour en France. Cependant depuis plus de vingt-cinq ans, très peu de publications ont été faites à son sujet alors que celui-ci connait un succès en développement de logiciel.
Cet ouvrage a pou...
(paru le 15/04/2009, consulté 10466 fois)
Complexité et algorithmique avancée Une introduction
Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d'informatique et de cognitique et l'ouvrage est conçu pour être abordé par les étudiants de...
(paru le 15/02/2008, consulté 3799 fois)
Chaos et systèmes dynamiques Eléments pour une épistémologie
Cet ouvrage explore en profondeur des nouvelles voies offertes par l'étude des "systèmes dynamiques", en combinant les approches scientifique, historique, épistémologique et philosophique, par la plume de spécialistes pionniers dans ces domaines.
Les "...
(paru le 11/12/2007, consulté 3500 fois)
Probabilités de l'ingénieur Variables aléatoires et simulation
Issu d'un enseignement à l'Ecole nationale des ponts et
chaussées, ce manuel de probabilités s'attache à établir la
jonction entre une compréhension intuitive de situations
concrètes et leur modélisation, au sein d'une théorie
rigoureuse, jusqu'au traitem...
(paru le 15/10/2002, consulté 4349 fois)
Thermodynamique
Voici un manuel de thermodynamique "classique" : la mécanique quantique ni la physique statistique ne sont supposées connues. La thermodynamique est présentée comme une théorie en soi, fondée sur un postulat qui lui est propre et sert tout au long de...
(paru le 15/10/2007, consulté 2146 fois)
Eau, alimentation, hygiène pour les populations à risques
Selon l'Organisation mondiale de la Santé, 1,5 milliard de personnes sur la Terre n'ont pas accès à l'eau potable et 2,9 milliards ne disposent pas d'infrastructure sanitaire de base. Disposer d'une eau de bonne qualité est une priorité de santé publique&...
(paru le 02/02/2007, consulté 3161 fois)
Formes différentielles - Mathématiques, master, agrégation Avec exercices
L'objectif de ce livre est, tout à la fois, d'introduire les méthodes à la base du calcul différentiel, de familiariser le lecteur avec les notions de formes différentielles, éléments de calcul des variations et des applications de la méthode du repère mo...
(paru le 05/12/2007, consulté 3410 fois)