Bernadet Maurice (10 results)

Condition: Very Good. Envoi rapide Très Bon Etat. in8. 1979. broché. 177 pages. Very Good.

Broché. In-8, (15.5x24 cm), broché, 286 pages, texte dactylographié, schémas ; traces sur les plats jaunis, assez bon état. Livraison a domicile (La Poste) ou en Mondial Relay sur simple demande.

Condition: New.

Condition: Neuf.

Condition: New.

Condition: fine. très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie,Coins abîmés. 321375-1 - Introduction pratique aux logiques non classiques, Bernadet, Maurice, Hermann, 2011.

Taschenbuch. Condition: Neu. Neuware - 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 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.…

Taschenbuch. Condition: Neu. Neuware - 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. …

Condition: Assez bon. ECONOMICA (illustrator).

Presses Universitaires de Lyon - 1987 - In-8 broché, couverture illustrée - 242 pages + annexe de xx pages - Graphes, tableaux et formules en N&B dans l'ouvrage Bon état - Légères traces d'usure sur la couverture.