University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
College Publications
localisé à :
London
|
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Logic for artificial intelligence & information technology / Dov M. Gabbay
Titre : Logic for artificial intelligence & information technology Autre titre : L Type de document : texte imprimé Auteurs : Dov M. Gabbay Editeur : London : College Publications Année de publication : 2007 Importance : 1 vol (566 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-904987-39-0 Catégories : Informatique Mots-clés : Logique:programmation
intelligence artificielleIndex. décimale : 006.3 Intelligence artificielle Résumé :
Logique pour l'intelligence artificielle et la technologie de l'information est basée sur des notes d'étudiants utilisés pour enseigner la logique aux étudiants de deuxième année et l'intelligence artificielle aux étudiants diplômés de l'Université de Londres depuis 1984, d'abord à l'Imperial College puis au King's College. La logique a été appliquée à une grande variété de sujets tels que l'informatique théorique, l'ingénierie logicielle, la conception de matériel, la programmation logique, la linguistique computationnelle et l'intelligence artificielle. De cette façon, il a servi à stimuler la recherche pour des fondements conceptuels clairs. Au cours des 20 dernières années, de nombreuses extensions de la logique classique telles que les logiques temporelles, modales, de pertinence, floues, probabilistes et non monotones ont été largement utilisées en informatique et en intelligence artificielle, nécessitant de nouvelles formulations de la logique classique. donner l'effet des nouvelles logiques appliquées. Le texte introduit la logique classique d'une manière orientée vers un but qui peut facilement dévier vers d'autres logiques appliquées. Il définit les nombreux types de logiques et les différences entre eux. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, est professeur de logique Augustus De Morgan à l'Université de Londres. Il a écrit plus de 300 articles en logique et plus de 20 livres. Il est rédacteur en chef de plusieurs revues de premier plan et a publié plus de 50 manuels de volumes logiques. Il est une autorité mondiale sur la logique appliquée et est l'un des administrateurs et fondateur de la charité britannique, la Fédération internationale de la logique computationnelleCôte titre : fs/19791 Logic for artificial intelligence & information technology ; L [texte imprimé] / Dov M. Gabbay . - London : College Publications, 2007 . - 1 vol (566 p.) : ill. ; 24 cm.
ISBN : 978-1-904987-39-0
Catégories : Informatique Mots-clés : Logique:programmation
intelligence artificielleIndex. décimale : 006.3 Intelligence artificielle Résumé :
Logique pour l'intelligence artificielle et la technologie de l'information est basée sur des notes d'étudiants utilisés pour enseigner la logique aux étudiants de deuxième année et l'intelligence artificielle aux étudiants diplômés de l'Université de Londres depuis 1984, d'abord à l'Imperial College puis au King's College. La logique a été appliquée à une grande variété de sujets tels que l'informatique théorique, l'ingénierie logicielle, la conception de matériel, la programmation logique, la linguistique computationnelle et l'intelligence artificielle. De cette façon, il a servi à stimuler la recherche pour des fondements conceptuels clairs. Au cours des 20 dernières années, de nombreuses extensions de la logique classique telles que les logiques temporelles, modales, de pertinence, floues, probabilistes et non monotones ont été largement utilisées en informatique et en intelligence artificielle, nécessitant de nouvelles formulations de la logique classique. donner l'effet des nouvelles logiques appliquées. Le texte introduit la logique classique d'une manière orientée vers un but qui peut facilement dévier vers d'autres logiques appliquées. Il définit les nombreux types de logiques et les différences entre eux. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, est professeur de logique Augustus De Morgan à l'Université de Londres. Il a écrit plus de 300 articles en logique et plus de 20 livres. Il est rédacteur en chef de plusieurs revues de premier plan et a publié plus de 50 manuels de volumes logiques. Il est une autorité mondiale sur la logique appliquée et est l'un des administrateurs et fondateur de la charité britannique, la Fédération internationale de la logique computationnelleCôte titre : fs/19791 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19791 Fs/19791 Livre Bibliothéque des sciences Français Disponible
Disponible