Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Pascal Lafourcade
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la rechercheLes blockchains en 50 questions / Jean-Guillaume Dumas
Titre : Les blockchains en 50 questions : comprendre le fonctionnement et les enjeux de cette technologie innovante Type de document : texte imprimé Auteurs : Jean-Guillaume Dumas, Auteur ; Pascal Lafourcade, Auteur ; Ariane Tichit, Auteur ; Sébastien Varrette, Auteur Editeur : Paris : Dunod Année de publication : 2018 Importance : VIII, 287 p. Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-10-077924-6 Note générale : Bibliogr. p. 275-278. - Index Langues : Français (fre) Mots-clés : Blockchains -- Questions et réponses
Cryptomonnaie -- Questions et réponses
Économie numérique -- Questions et réponsesIndex. décimale : 004.78 Systèmes de réseau pour usage spécifique (Blockchain) Résumé :
Une blockchain (chaîne de blocs) est une application informatique qui utilise des techniques cryptographiques permettant à des entités de réaliser entre elles des opérations sans l'intervention d'un tiers de confiance (banques, notaires...). Les blockchains se répandent dans l'économie sous forme par exemple de nouvelles monnaies (bitcoins, ether...), mais aussi de contrats ou de certifications dans les assurances, dans les affaires (smart contracte), dans le droit...Ces technologies de rupture ne sont pas simples à comprendre que ce soit dans leur fonctionnement informatique (horodatage et immutabilité des blocs) ou dans leurs conséquences pour l'utilisateur (valeur de la preuve, recours possibles...). La meilleure façon d'aborder ce sujet complexe est de répondre point par point aux multiples questions que les utilisateurs potentiels se pose.Note de contenu : Au sommaire :
1. Blockchaines et technologies de registres distribués.
2. Un exemple concret : le bitcoin.
3. Blockchaines et cryptomonnaies.
4. Utilisations alternatives des blockchains.Les blockchains en 50 questions : comprendre le fonctionnement et les enjeux de cette technologie innovante [texte imprimé] / Jean-Guillaume Dumas, Auteur ; Pascal Lafourcade, Auteur ; Ariane Tichit, Auteur ; Sébastien Varrette, Auteur . - Paris : Dunod, 2018 . - VIII, 287 p. : ill. ; 21 cm.
ISBN : 978-2-10-077924-6
Bibliogr. p. 275-278. - Index
Langues : Français (fre)
Mots-clés : Blockchains -- Questions et réponses
Cryptomonnaie -- Questions et réponses
Économie numérique -- Questions et réponsesIndex. décimale : 004.78 Systèmes de réseau pour usage spécifique (Blockchain) Résumé :
Une blockchain (chaîne de blocs) est une application informatique qui utilise des techniques cryptographiques permettant à des entités de réaliser entre elles des opérations sans l'intervention d'un tiers de confiance (banques, notaires...). Les blockchains se répandent dans l'économie sous forme par exemple de nouvelles monnaies (bitcoins, ether...), mais aussi de contrats ou de certifications dans les assurances, dans les affaires (smart contracte), dans le droit...Ces technologies de rupture ne sont pas simples à comprendre que ce soit dans leur fonctionnement informatique (horodatage et immutabilité des blocs) ou dans leurs conséquences pour l'utilisateur (valeur de la preuve, recours possibles...). La meilleure façon d'aborder ce sujet complexe est de répondre point par point aux multiples questions que les utilisateurs potentiels se pose.Note de contenu : Au sommaire :
1. Blockchaines et technologies de registres distribués.
2. Un exemple concret : le bitcoin.
3. Blockchaines et cryptomonnaies.
4. Utilisations alternatives des blockchains.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 058018 004.78 BLO Papier Bibliothèque Centrale Informatique Disponible En bon état 058019 004.78 BLO Papier Bibliothèque Centrale Informatique Disponible Consultation sur place Informatique théorique. Logique et démonstration automatique / Stéphane Devismes
Titre de série : Informatique théorique Titre : Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 209 p. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Note générale : Bibliogr. p.205. - Index Langues : Français (fre) Mots-clés : Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieurIndex. décimale : 510.6 Logique mathématique Résumé : Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués. Note de contenu : Au sommaire:
I. Logique propositionnelle
1. Logique propositionnelle
2. Résolution propositionnelle
3. Déduction Naturelle
II. Logique du premier ordre
4. Logique du premier ordre
5. Base de la démonstration automatique
6. Déduction naturelle au premier ordre : quantificateurs,
III. copie et égalitéInformatique théorique. Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur . - Ellipses, 2012 . - 209 p. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Bibliogr. p.205. - Index
Langues : Français (fre)
Mots-clés : Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieurIndex. décimale : 510.6 Logique mathématique Résumé : Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués. Note de contenu : Au sommaire:
I. Logique propositionnelle
1. Logique propositionnelle
2. Résolution propositionnelle
3. Déduction Naturelle
II. Logique du premier ordre
4. Logique du premier ordre
5. Base de la démonstration automatique
6. Déduction naturelle au premier ordre : quantificateurs,
III. copie et égalitéExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 054908 510.6 DEV Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 054907 510.6 DEV Papier Bibliothèque Centrale Informatique Disponible En bon état