University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Logique pour l'informatique et pour l'intelligence artificielle / Ricardo Caferra
Titre : Logique pour l'informatique et pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Ricardo Caferra Editeur : Paris : Lavoisier Année de publication : 2011 Collection : Informatique/ Pomerol,Jean-Charles Importance : 1 vol. (424 p.) Format : 25 cm ISBN/ISSN/EAN : 978-2-7462-2600-5 Catégories : Informatique Mots-clés : Informatique
Logique(informatique)
Intelligence artificielleIndex. décimale : 004 - Informatique Résumé :
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Note de contenu :
Sommaire
1. Introduction
2. Un peu de réflexion avant la formalisation
3. La logique propositionnelle (LP ou CP)
4 Les termes du premier ordre
5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
6. Fondements de programmation en logique
7. L'intelligence et l'intelligence artificielle
8. L'inférence
9. La spécification des problèmes et les langages de la logique
10. Les logiques (dites) non classiques
11. La connaissance et la logique : quelques notionsCôte titre : Fs/7863-7865 Logique pour l'informatique et pour l'intelligence artificielle [texte imprimé] / Ricardo Caferra . - Paris : Lavoisier, 2011 . - 1 vol. (424 p.) ; 25 cm. - (Informatique/ Pomerol,Jean-Charles) .
ISBN : 978-2-7462-2600-5
Catégories : Informatique Mots-clés : Informatique
Logique(informatique)
Intelligence artificielleIndex. décimale : 004 - Informatique Résumé :
La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions (cit. 4e de couv.)
Note de contenu :
Sommaire
1. Introduction
2. Un peu de réflexion avant la formalisation
3. La logique propositionnelle (LP ou CP)
4 Les termes du premier ordre
5. Logique du premier ordre ou logique des prédicats (L1O (LP1,. CP1))
6. Fondements de programmation en logique
7. L'intelligence et l'intelligence artificielle
8. L'inférence
9. La spécification des problèmes et les langages de la logique
10. Les logiques (dites) non classiques
11. La connaissance et la logique : quelques notionsCôte titre : Fs/7863-7865 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/7863 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7864 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7865 Fs/7863-7865 livre Bibliothéque des sciences Français Disponible
DisponibleLogique de programmation / Jean-Paul Tremblay
Titre : Logique de programmation : Initiation à l'approche algorithmique Type de document : texte imprimé Auteurs : Jean-Paul Tremblay ; Richard B Dunt ; Paul G Sorenson Editeur : Montréal : McGraw-Hill Année de publication : 1985 Importance : 1 vol (497 p .) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-07-548680-0 Note générale : 978-0-07-548680-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Logique de programmation
AlgorithmiqueIndex. décimale : 005.1 Programmation Note de contenu :
Sommaire
ORDINATEURS ET RÉSOLUTION DE PROBLÈMES
STRUCTURE DÉCISIONNELLE
VECTEUR ET TABLEAU MULTIDIMENSIONNEL125
TRAITEMENT DE Caractères
SOUS-ALGORITHME:FONCTION
L'ART DE PROGRAMMER
STRUCTURE DE DONNEES lINEAIRES
STRUCTURE DE FICHIERS
Côte titre : Fs/8536 Logique de programmation : Initiation à l'approche algorithmique [texte imprimé] / Jean-Paul Tremblay ; Richard B Dunt ; Paul G Sorenson . - Montréal : McGraw-Hill, 1985 . - 1 vol (497 p .) : ill. ; 24 cm.
ISBN : 978-0-07-548680-0
978-0-07-548680-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Logique de programmation
AlgorithmiqueIndex. décimale : 005.1 Programmation Note de contenu :
Sommaire
ORDINATEURS ET RÉSOLUTION DE PROBLÈMES
STRUCTURE DÉCISIONNELLE
VECTEUR ET TABLEAU MULTIDIMENSIONNEL125
TRAITEMENT DE Caractères
SOUS-ALGORITHME:FONCTION
L'ART DE PROGRAMMER
STRUCTURE DE DONNEES lINEAIRES
STRUCTURE DE FICHIERS
Côte titre : Fs/8536 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8536 Fs/8536 livre Bibliothéque des sciences Français Disponible
DisponibleLogique(s), langages formels et complexité pour l'informatique / Narendra Jussien
Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2006 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (313 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1395-1 Note générale : Bibliogr. p. 301-303. Index Langues : Français (fre) Catégories : Informatique Mots-clés : Logique mathématique
Langages formels
Complexité de calcul (informatique)Index. décimale : 005.1 Programmation Résumé :
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques.
Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes.
Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur.
Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.Note de contenu :
Logique(s)
Une brève histoire de la logique
Logique des propositions
Logique des prédicats
Logiques non classiques
Langages formels et automates
Langages formels et grammaires
Automates
Langages et automates
Calculabilité, complexité
Calculabilité, décidabilité
Complexité
AnnexesLogique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, Auteur . - Paris : Hermès science publications-Lavoisier, 2006 . - 1 vol. (313 p.) : ill. ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) .
ISBN : 978-2-7462-1395-1
Bibliogr. p. 301-303. Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Logique mathématique
Langages formels
Complexité de calcul (informatique)Index. décimale : 005.1 Programmation Résumé :
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques.
Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes.
Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur.
Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.Note de contenu :
Logique(s)
Une brève histoire de la logique
Logique des propositions
Logique des prédicats
Logiques non classiques
Langages formels et automates
Langages formels et grammaires
Automates
Langages et automates
Calculabilité, complexité
Calculabilité, décidabilité
Complexité
AnnexesExemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité Fs/4906 Fs/4906-4911 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4907 Fs/4906-4911 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4908 Fs/4906-4911 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4909 Fs/4906-4911 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4910 Fs/4906-4911 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4911 Fs/4906-4911 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Loi et Internet : Un petit guide civique et juridique Type de document : texte imprimé Auteurs : Fabrice Mattatia Editeur : Paris : Eyrolles Année de publication : 2015 Importance : 1 vol.(231 p.) Présentation : ill. Format : 18 cm ISBN/ISSN/EAN : 978-2-212-13716-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
internet: loiIndex. décimale : 004.678 026 - Droit de l'Internet Résumé :
Cet ouvrage de référence vulgarise pour tout internaute le cadre juridique de la publication et de l'utilisation des contenus sur Internet : liberté d'expression et réseaux sociaux, droit d'auteur, licences Creative Commons, données personnelles... A jour des dernières jurisprudences, il explique par de nombreux exemples concrets la protection des données communiquées aux e-commerçants, les transactions e-commerce, l'utilisation d'Internet en entreprise, ou encore les accès frauduleux. Un ouvrage indispensable pour comprendre ses droits et devoirs sur Internet !Note de contenu :
Sommaire
Avant-propos
La liberté d’expression sur Internet
Que deviennent vos données personnelles
La e-réputation
Les droits d’auteur
Les transactions en ligne
Internet dans la vie professionnelle
La cybercriminalitéCôte titre : Fs/15351-15355 En ligne : https://www.amazon.fr/Loi-Internet-petit-civique-juridique/dp/2212137168/ref=sr_ [...] Format de la ressource électronique : Loi et Internet : Un petit guide civique et juridique [texte imprimé] / Fabrice Mattatia . - Paris : Eyrolles, 2015 . - 1 vol.(231 p.) : ill. ; 18 cm.
ISBN : 978-2-212-13716-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
internet: loiIndex. décimale : 004.678 026 - Droit de l'Internet Résumé :
Cet ouvrage de référence vulgarise pour tout internaute le cadre juridique de la publication et de l'utilisation des contenus sur Internet : liberté d'expression et réseaux sociaux, droit d'auteur, licences Creative Commons, données personnelles... A jour des dernières jurisprudences, il explique par de nombreux exemples concrets la protection des données communiquées aux e-commerçants, les transactions e-commerce, l'utilisation d'Internet en entreprise, ou encore les accès frauduleux. Un ouvrage indispensable pour comprendre ses droits et devoirs sur Internet !Note de contenu :
Sommaire
Avant-propos
La liberté d’expression sur Internet
Que deviennent vos données personnelles
La e-réputation
Les droits d’auteur
Les transactions en ligne
Internet dans la vie professionnelle
La cybercriminalitéCôte titre : Fs/15351-15355 En ligne : https://www.amazon.fr/Loi-Internet-petit-civique-juridique/dp/2212137168/ref=sr_ [...] Format de la ressource électronique : Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/15351 Fs/15351-15355 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15352 Fs/15351-15355 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15353 Fs/15351-15355 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15354 Fs/15351-15355 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15355 Fs/15351-15355 livre Bibliothéque des sciences Français Disponible
DisponibleLongévité de l'information numérique:Les Données que nous voulons garder vont-elles s'effacer ? : rapport du groupe PSN (pérennité des supports numériques) commun à l'Académie des sciences et à l'Académie des technologies / Jean-Charles Hourcade
Titre : Longévité de l'information numérique:Les Données que nous voulons garder vont-elles s'effacer ? : rapport du groupe PSN (pérennité des supports numériques) commun à l'Académie des sciences et à l'Académie des technologies Type de document : texte imprimé Auteurs : Jean-Charles Hourcade ; Franck Laloe ; Erich Spitz Editeur : Les Ulis : EDP sciences Année de publication : 2010 Importance : 1 vol. (106 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7598-0509-9 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Information numérique
Archives numérique
Technologie de l'informationIndex. décimale : 004 - Informatique Résumé :
Pourquoi s'intéresser à la préservation à long terme de l'information numérique, alors que les capacités de stockage n'ont jamais été aussi vastes et bon marché ? Cette question soulève un problème de plus en plus important : nos sociétés produisent des masses croissantes d'information, alors même que la durée de vie des supports numériques disponibles pour la conserver n'a jamais été aussi courte.nLe stockage ou la sauvegarde à court terme ne soulèvent pas de question particulière, mais archiver de cette façon sur des décennies ou un siècle pose un tout autre problème, dans la mesure où les supports numériques n'ont qu'une durée de vie de 5 ou 10 ans environ. L'évolution de ces supports étant difficile à prévoir, seul un suivi constant des données et leur migration perpétuelle permettront d'en assurer l'archivage, avec un coût d'organisation important. Si ce problème est correctement abordé clans quelques organismes publics spécialisés, il est très largement ignoré du grand public ainsi que de la majorité des institutions ou entreprises. Une importante quantité d'informations personnelles, médicales, scientifiques, techniques, administratives, etc., est ainsi en réel danger de disparition. Devant ce constat, l'Académie des sciences et l'Académie des technologies ont créé un groupe de travail commun, avec l'ambition de faire le point sur le sujet. Le présent rapport se donne un périmètre précis en se concentrant sur la fraction de l'information qui garde sa valeur à long terme : documents soit personnels (souvenirs familiaux, données médicales, ...), soit publics (données scientifiques acquises lors d'expériences uniques, ...). Les stratégies possibles sont discutées et les différents supports de stockage utilisables sont passés en revue, avec une brève discussion de leurs qualités et limitations respectives. Le rapport évalue également la possible généralisation de la stratégie active à l'ensemble des besoins de la société. Enfin sont étudiés les disques optiques numériques enregistrables, pour lesquels une série de mesures alarmantes a été effectuée récemment. Les auteurs proposent quelques pistes qui pourraient conduire à des disques enregistrables de bien meilleure longévité et émettent quatre recommandations de nature à faire prendre conscience de ce problème général et des voies possibles pour le résoudre. [Source : d'après la 4e de couverture]Note de contenu :
Sommaire
P.11. Introduction
P. 15. Chapitre 1. Périmètre du rapport
P. 23. Chapitre 2. Stratégies possibles
P. 31. Chapitre 3. Les supports d'information
P. 39. Chapitre 4. Une stratégie active généralisées ? Evaluation quantitative
P. 45. Chapitre 5. La stratégie passive, les disques optiques numériques
P. 55. Conclusion et recommandations
P. 71. Appendice 1, Charte de l'Unesco sur la conservation du patrimoine numérique (15 octobre 2003)
P. 79. Appendice 2, Quelques projets français
P. 83. Appendice 3, Schéma du processus d'enregistrement d'un disque optique numérique
P. 87. Appendice 4, Quelques images illustrant le vieillissement de disques optiques enregistrables
P. 91. Appendice 5, Une synthèse du LNE faite à l'occasion de l'audition du groupe PSN (OCTOBRE 2008)
P. 99. Appendice 6, Mémoires à nanotubes de carbone
P. 101. Appendice 7, Quelques idées reçues
P. 105. Liste des auditions du groupe PSNCôte titre : Fs/7866-7868 Longévité de l'information numérique:Les Données que nous voulons garder vont-elles s'effacer ? : rapport du groupe PSN (pérennité des supports numériques) commun à l'Académie des sciences et à l'Académie des technologies [texte imprimé] / Jean-Charles Hourcade ; Franck Laloe ; Erich Spitz . - Les Ulis : EDP sciences, 2010 . - 1 vol. (106 p.) : ill. ; 22 cm.
ISBN : 978-2-7598-0509-9
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Information numérique
Archives numérique
Technologie de l'informationIndex. décimale : 004 - Informatique Résumé :
Pourquoi s'intéresser à la préservation à long terme de l'information numérique, alors que les capacités de stockage n'ont jamais été aussi vastes et bon marché ? Cette question soulève un problème de plus en plus important : nos sociétés produisent des masses croissantes d'information, alors même que la durée de vie des supports numériques disponibles pour la conserver n'a jamais été aussi courte.nLe stockage ou la sauvegarde à court terme ne soulèvent pas de question particulière, mais archiver de cette façon sur des décennies ou un siècle pose un tout autre problème, dans la mesure où les supports numériques n'ont qu'une durée de vie de 5 ou 10 ans environ. L'évolution de ces supports étant difficile à prévoir, seul un suivi constant des données et leur migration perpétuelle permettront d'en assurer l'archivage, avec un coût d'organisation important. Si ce problème est correctement abordé clans quelques organismes publics spécialisés, il est très largement ignoré du grand public ainsi que de la majorité des institutions ou entreprises. Une importante quantité d'informations personnelles, médicales, scientifiques, techniques, administratives, etc., est ainsi en réel danger de disparition. Devant ce constat, l'Académie des sciences et l'Académie des technologies ont créé un groupe de travail commun, avec l'ambition de faire le point sur le sujet. Le présent rapport se donne un périmètre précis en se concentrant sur la fraction de l'information qui garde sa valeur à long terme : documents soit personnels (souvenirs familiaux, données médicales, ...), soit publics (données scientifiques acquises lors d'expériences uniques, ...). Les stratégies possibles sont discutées et les différents supports de stockage utilisables sont passés en revue, avec une brève discussion de leurs qualités et limitations respectives. Le rapport évalue également la possible généralisation de la stratégie active à l'ensemble des besoins de la société. Enfin sont étudiés les disques optiques numériques enregistrables, pour lesquels une série de mesures alarmantes a été effectuée récemment. Les auteurs proposent quelques pistes qui pourraient conduire à des disques enregistrables de bien meilleure longévité et émettent quatre recommandations de nature à faire prendre conscience de ce problème général et des voies possibles pour le résoudre. [Source : d'après la 4e de couverture]Note de contenu :
Sommaire
P.11. Introduction
P. 15. Chapitre 1. Périmètre du rapport
P. 23. Chapitre 2. Stratégies possibles
P. 31. Chapitre 3. Les supports d'information
P. 39. Chapitre 4. Une stratégie active généralisées ? Evaluation quantitative
P. 45. Chapitre 5. La stratégie passive, les disques optiques numériques
P. 55. Conclusion et recommandations
P. 71. Appendice 1, Charte de l'Unesco sur la conservation du patrimoine numérique (15 octobre 2003)
P. 79. Appendice 2, Quelques projets français
P. 83. Appendice 3, Schéma du processus d'enregistrement d'un disque optique numérique
P. 87. Appendice 4, Quelques images illustrant le vieillissement de disques optiques enregistrables
P. 91. Appendice 5, Une synthèse du LNE faite à l'occasion de l'audition du groupe PSN (OCTOBRE 2008)
P. 99. Appendice 6, Mémoires à nanotubes de carbone
P. 101. Appendice 7, Quelques idées reçues
P. 105. Liste des auditions du groupe PSNCôte titre : Fs/7866-7868 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/7866 Fs/7866-7868 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7867 Fs/7866-7868 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7868 Fs/7866-7868 livre Bibliothéque des sciences Français Disponible
DisponibleLotus Notes et domino 4.5 / Cate Richards
PermalinkLe Mac pépère / John Plvovarnick
PermalinkMachine Learning / R.S. Michalski
PermalinkLe Macintosh / Lisa Lee
PermalinkLe Macmillan le PC / Scott Mueller
PermalinkMacros et langage VBA / Le Guen, Frédéric
PermalinkMaintenance et dépannage d'un PC en réseau / Jean-Nöel Anderruthy
PermalinkMaintenance et dépannage d'un PC en réseau / Sylvain Gaumé
PermalinkPermalinkMaîtrise de l'ingénierie des systèmes complexes et des systèmes de systèmes
Permalink