Détail de l'indexation
Ouvrages de la bibliothèque en indexation 519.5 (19)



Titre : Algèbre de Boole et machines logiques Type de document : texte imprimé Auteurs : Jean Kuntzmann (1912-1992), Directeur de publication ; Pierre Naslin (1920-2009), Directeur de publication Editeur : Paris ; Malakoff : Dunod Année de publication : 1967 Collection : Bibliothèque de l'automaticien Importance : XVI, 313 p. Présentation : ill. Format : 24 cm Note générale : Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Circuits logiques
Machine sé quentielle
Boole, Algèbre de
Machines logiquesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
I. Circuits combinatoires
1. Théorie des consensus
2. Algorithmes de recherche des bases premières
3. Automatisation du canal booléen
4. Sur le nombre de fonctions logiques couvrables par le noyau
5. Matrices booléenne
6. Minimalisation des fonctions à seul équipondérées
II. Circuits séquentiels
7. Etude du codage des matrices des phases des systèmes séquentiels asynchrones
8. Une méthode de codage des variables internes des circuits séquentiels asynchrones
9. Une méthode de minimalisation du nombre des états intenses des réseaux séquentiels incomplètement spécifiés
10. Le problème du codage des états internes et de la décomposition des machines séquentielles synchrones
11. Réalisation de machines séquentielles à l'aide de circuits à mode fondamental et entrée impulsionnelles
12. Les aléas dans les circuits séquentiels commandés par impulsions
13. Couverture à mémoire finie des matrices d'adresses incomplètes
14. Une méthode de synthèse de circuits séquentiels fiables
15. Analyse de circuits séquentiels à l'aide de graphes
16. Remarques à propos de la réalisation de circuits séquentiels
17. Algorithmes d'apprentissage pour diagrammes de décisions séquentiellesAlgèbre de Boole et machines logiques [texte imprimé] / Jean Kuntzmann (1912-1992), Directeur de publication ; Pierre Naslin (1920-2009), Directeur de publication . - Paris ; Malakoff : Dunod, 1967 . - XVI, 313 p. : ill. ; 24 cm. - (Bibliothèque de l'automaticien) .
Bibliogr. en fin de chapitres. - Index
Langues : Français (fre)
Mots-clés : Circuits logiques
Machine sé quentielle
Boole, Algèbre de
Machines logiquesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
I. Circuits combinatoires
1. Théorie des consensus
2. Algorithmes de recherche des bases premières
3. Automatisation du canal booléen
4. Sur le nombre de fonctions logiques couvrables par le noyau
5. Matrices booléenne
6. Minimalisation des fonctions à seul équipondérées
II. Circuits séquentiels
7. Etude du codage des matrices des phases des systèmes séquentiels asynchrones
8. Une méthode de codage des variables internes des circuits séquentiels asynchrones
9. Une méthode de minimalisation du nombre des états intenses des réseaux séquentiels incomplètement spécifiés
10. Le problème du codage des états internes et de la décomposition des machines séquentielles synchrones
11. Réalisation de machines séquentielles à l'aide de circuits à mode fondamental et entrée impulsionnelles
12. Les aléas dans les circuits séquentiels commandés par impulsions
13. Couverture à mémoire finie des matrices d'adresses incomplètes
14. Une méthode de synthèse de circuits séquentiels fiables
15. Analyse de circuits séquentiels à l'aide de graphes
16. Remarques à propos de la réalisation de circuits séquentiels
17. Algorithmes d'apprentissage pour diagrammes de décisions séquentiellesRéservation
Réserver ce document
Exemplaires (11)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 010741 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place 010743 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010739 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010738 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010742 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 010740 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 008254 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible En bon état 005454 519.5 ALG Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place 033368 519.5 ALG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 033369 519.5 ALG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 033367 519.5 ALG Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre de série : Eléments de mathématique, Fascicule 17, livre 1 Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : Nicolas Bourbaki, Auteur Mention d'édition : 3 éd Editeur : Paris : Hermann Année de publication : 1966 Collection : Actualités scientifiques et industrielles num. 1212 Importance : 141 p., 2 f. de dépl. Format : 24 cm Note générale : Index Langues : Français (fre) Mots-clés : Mathématique
Théorie des ensemblesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
I. Description de la mathématique formelle
1. Termes et relations
2. Théorèmes
...
II. Théorie des ensembles
1. Relations collectivisantes
2. Couples
...Eléments de mathématique, Fascicule 17, livre 1. Théorie des ensembles [texte imprimé] / Nicolas Bourbaki, Auteur . - 3 éd . - Paris : Hermann, 1966 . - 141 p., 2 f. de dépl. ; 24 cm. - (Actualités scientifiques et industrielles; 1212) .
Index
Langues : Français (fre)
Mots-clés : Mathématique
Théorie des ensemblesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
I. Description de la mathématique formelle
1. Termes et relations
2. Théorèmes
...
II. Théorie des ensembles
1. Relations collectivisantes
2. Couples
...Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 005031 519.5 BOU Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place
Titre de série : Eléments de mathématique, Fascicule 22, livre 1 Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : Nicolas Bourbaki, Auteur Mention d'édition : 2 éd Editeur : Paris : Hermann Année de publication : 1966 Collection : Actualités scientifiques et industrielles num. 1258 Importance : 104 p., 1 f. de dépl. Format : 24 cm Accompagnement : Supplément Note générale : Bibliogr. p. 99-101. - Index Langues : Français (fre) Mots-clés : Mathématique
Théorie des ensemblesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
1. Structures et isomorphismes
2. Morphismes et structures dérivées
3. Applications universellesEléments de mathématique, Fascicule 22, livre 1. Théorie des ensembles [texte imprimé] / Nicolas Bourbaki, Auteur . - 2 éd . - Paris : Hermann, 1966 . - 104 p., 1 f. de dépl. ; 24 cm + Supplément. - (Actualités scientifiques et industrielles; 1258) .
Bibliogr. p. 99-101. - Index
Langues : Français (fre)
Mots-clés : Mathématique
Théorie des ensemblesIndex. décimale : 519.5 Théorie des ensembles Note de contenu : Au sommaire:
1. Structures et isomorphismes
2. Morphismes et structures dérivées
3. Applications universellesRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 005035 519.5 BOU Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place
Titre : Exercices de calcul booléens avec leurs solutions Type de document : texte imprimé Auteurs : Maurice (1900-....) Denis-Papin, Auteur Editeur : Paris : Eyrolles Année de publication : 1966 Importance : 290 p Format : 24 cm Langues : Français (fre) Mots-clés : Mathématiques ' calcul booléens Index. décimale : 519.5 Théorie des ensembles Exercices de calcul booléens avec leurs solutions [texte imprimé] / Maurice (1900-....) Denis-Papin, Auteur . - Paris : Eyrolles, 1966 . - 290 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Mathématiques ' calcul booléens Index. décimale : 519.5 Théorie des ensembles Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 010.664 519.5 DEN Papier Bibliothèque Centrale Mathématiques Disponible
Titre : Finite-state models for logical machines Type de document : texte imprimé Auteurs : Hennie,C, Auteur Editeur : New York : John Wiley & Sons Année de publication : 1968 Importance : 466 p Format : 24 xcm Langues : Anglais (eng) Mots-clés : Mathématiques élément finit machines graphique Index. décimale : 519.5 Théorie des ensembles Finite-state models for logical machines [texte imprimé] / Hennie,C, Auteur . - New York : John Wiley & Sons, 1968 . - 466 p ; 24 xcm.
Langues : Anglais (eng)
Mots-clés : Mathématiques élément finit machines graphique Index. décimale : 519.5 Théorie des ensembles Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 008783 519.5 HEN Papier Bibliothèque Centrale Mathématiques Disponible 008782 519.5 HEN Papier Bibliothèque Centrale Mathématiques Disponible Groupes finis de symétrie et recherche de solutions de l'équation de Schrödinger / Louis Mariot (1959)
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkThéorie des groupes en physique classique et quantique, Tome 1, fascicule 1. Structures mathématiques et fondements quantiques / Théo Kahan (1960)
PermalinkThéorie des groupes en physique classique et quantique, Tome 1, fascicule 2. Structures mathématiques et fondements quantiques / Théo Kahan (1960)
PermalinkThéorie des groupes en physique classique et quantique, Tome 1. Structures mathématiques et fondements quantiques / Théo Kahan (1960)
Permalink