University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004 - Informatique
Ajouter le résultat dans votre panier Affiner la recherche
Logique binaire et ordinateurs 2 / Michel Aumiaux
Titre : Logique binaire et ordinateurs 2 : Hardware et conception des ensembles logiques Type de document : texte imprimé Auteurs : Michel Aumiaux Editeur : Paris : Masson Année de publication : 1978 Importance : 1 vol (257p .) Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-48851-1 Note générale : 978-2-225-48851-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Logique binaire
OrdinateursIndex. décimale : 004 - Informatique Côte titre : Fs/8535 Logique binaire et ordinateurs 2 : Hardware et conception des ensembles logiques [texte imprimé] / Michel Aumiaux . - Paris : Masson, 1978 . - 1 vol (257p .) : ill. ; 24 cm.
ISBN : 978-2-225-48851-1
978-2-225-48851-1
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Logique binaire
OrdinateursIndex. décimale : 004 - Informatique Côte titre : Fs/8535 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8535 Fs/8535 livre Bibliothéque des sciences Français Disponible
DisponibleDe la logique câblée aux microprocesseurs T.1 / M.J Bernard
Titre : De la logique câblée aux microprocesseurs T.1 : Circuits combinatoires et séquentiels fondamentaux Type de document : texte imprimé Auteurs : M.J Bernard, Auteur ; J Hugon, Auteur ; R Le Corvec, Auteur Editeur : Paris : Eyrolles Année de publication : 1982 Collection : Collection technique et scientifique des télécommunications, ISSN 0221-2579 Importance : 1 vol. (209 p.) Format : 24 cm Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
MicroprocesseursIndex. décimale : 004 - Informatique Côte titre : Fs/8250 De la logique câblée aux microprocesseurs T.1 : Circuits combinatoires et séquentiels fondamentaux [texte imprimé] / M.J Bernard, Auteur ; J Hugon, Auteur ; R Le Corvec, Auteur . - Paris : Eyrolles, 1982 . - 1 vol. (209 p.) ; 24 cm. - (Collection technique et scientifique des télécommunications, ISSN 0221-2579) .
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
MicroprocesseursIndex. décimale : 004 - Informatique Côte titre : Fs/8250 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8250 Fs/8250 livre Bibliothéque des sciences Français Disponible
DisponibleLogique pour l'informatique / Serenella Cerrito
Titre : Logique pour l'informatique : Introduction à la déduction automatique : cours et exercices, licence d'informatique Type de document : texte imprimé Auteurs : Serenella Cerrito ; Delia Kesner Editeur : Paris : Vuibert Année de publication : 2008 Importance : 1 vol. (178 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-2069-9 Note générale : 978-2-7117-2069-9 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langages formels
Manuels d'enseignement supérieur
Logique informatiqueIndex. décimale : 004 - Informatique Résumé :
La 4ème de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent à leur tour le recours à un formalisme rigoureux bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. - Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique."Note de contenu :
Sommaire
Syntaxe de la logique propositionnelle
Sémantique de la logique propositionnelle
Preuves en logique propositionnelle
Syntaxe du calcul des prédicats
Sémantique du calcul des prédicats
preuves pour le calcul des prédicats
Extensions du calcul des prédicats
Solutions pour une sélection d'exercicesCôte titre : Fs/11764-11768,Fs/12552,Fs/13211-13212 Logique pour l'informatique : Introduction à la déduction automatique : cours et exercices, licence d'informatique [texte imprimé] / Serenella Cerrito ; Delia Kesner . - Paris : Vuibert, 2008 . - 1 vol. (178 p.) ; 24 cm.
ISBN : 978-2-7117-2069-9
978-2-7117-2069-9
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langages formels
Manuels d'enseignement supérieur
Logique informatiqueIndex. décimale : 004 - Informatique Résumé :
La 4ème de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent à leur tour le recours à un formalisme rigoureux bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. - Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique."Note de contenu :
Sommaire
Syntaxe de la logique propositionnelle
Sémantique de la logique propositionnelle
Preuves en logique propositionnelle
Syntaxe du calcul des prédicats
Sémantique du calcul des prédicats
preuves pour le calcul des prédicats
Extensions du calcul des prédicats
Solutions pour une sélection d'exercicesCôte titre : Fs/11764-11768,Fs/12552,Fs/13211-13212 Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité Fs/11764 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11765 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11766 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11767 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11768 Fs/11764-11768 livre Bibliothéque des sciences Français Disponible
DisponibleFs/12552 Fs/12552 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13211 Fs/13211-13212 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13212 Fs/13211-13212 livre Bibliothéque des sciences Français Disponible
DisponibleLogique 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
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
DisponiblePermalinkPermalinkA Machine Learning-Based Lightweight Intrusion Detection System for the Internet of Things / Bellilita ,Boutheïna Kharfia
PermalinkPermalinkPermalinkLe Macintosh / Lisa Lee
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é
PermalinkMaîtriser Joomla ! : guide professionnel du développement d'applications / Vincent Perdereau
PermalinkMathématiques &Informatique / Mohamed Gaci
PermalinkUn mécanisme de réplication pour optimiser la recherche dans les peer-to-peer mobiles. / Brrouchi, Imen
PermalinkPermalinkMerise / Arnold Rochfeld
PermalinkMerise et UML pour la modélisation des systèmes d'information / Joseph Gabay
PermalinkPermalinkMeta-heuristic Approach-based Change Detection for Remote Sensing / Billal Maaoui
PermalinkMéthode générale d'analyse d'une application informatique T.1 / Xavier Castellani
PermalinkLa Méthode informatique / Robert A Mallet
PermalinkLa méthode PERT / Charles Voraz
PermalinkMéthodes explicites de l'optimisation / AUBIN,Jean-Pierre
Permalink