510.64 : Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste.

510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc.
510.21 considérations philosophiques générales.
510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux
510.5 Algorithmes. Fonctions calculables
510.51 Théorie des algorithmes: considérations générales
510.56 HAU
510.6 Logique mathématique
510.62 Langages logiques. Langages logico-objectifs
510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres
510.67 Théorie des Modèles
510.76

Ouvrages de la bibliothèque en indexation 510.64

Nouvelles logiques pour l'intelligence artificielle / Arnold (1911-1994) Kaufmann

Public ISBD Titre : Nouvelles logiques pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Arnold (1911-1994) Kaufmann, Auteur Editeur : Paris : Hermès Science Année de publication : 1987 Collection : Traité des nouvelles technologies Sous-collection : Série Mathématiques appliquées Importance : 298 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-86601-093-5 Note générale : Bibliogr.- Index Langues : Français (fre) Mots-clés : Mathématiques  implication  binaire Index. décimale : 510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste. Résumé : Cet ouvrage s'appuie sur de très nombreux pour exemples pour présenter les concepts caractéristiques des logiques floues, sous-ensembles aléatoires flous, éxpertons, représentations qui conservent la variété des jugements et reconnaissent des niveaux à la connaissance Note de contenu : Sommaire: *Chap.1: Implication binaire et relation d'inférence *Chap.2: Les logiques non-binaires *Chap.3: L'utilisation des avis d'experts et diverses extensions Nouvelles logiques pour l'intelligence artificielle [texte imprimé] / Arnold (1911-1994) Kaufmann, Auteur . - Hermès Science, 1987 . - 298 p. : ill. ; 24 cm.. - (Traité des nouvelles technologies. Série Mathématiques appliquées) . ISBN : 978-2-86601-093-5 Bibliogr.- Index Langues : Français (fre) Mots-clés : Mathématiques  implication  binaire Index. décimale : 510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste. Résumé : Cet ouvrage s'appuie sur de très nombreux pour exemples pour présenter les concepts caractéristiques des logiques floues, sous-ensembles aléatoires flous, éxpertons, représentations qui conservent la variété des jugements et reconnaissent des niveaux à la connaissance Note de contenu : Sommaire: *Chap.1: Implication binaire et relation d'inférence *Chap.2: Les logiques non-binaires *Chap.3: L'utilisation des avis d'experts et diverses extensions

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
042881	510.64 KAU	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état