الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
7 résultat(s) recherche sur le mot-clé 'algebre de boole'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Automatique de base / François Degoulange
Titre : Automatique de base : technologie et algèbre de Boole, automatismes classiques, travaux pratiques, séquenceurs, automates programmables Type de document : texte imprimé Auteurs : François Degoulange, Auteur ; Arsène Villemer (1920-....), Auteur Editeur : Paris : Entreprise moderne d'édition Année de publication : 1976 Collection : Collection Technique et industrie, ISSN 0398-6330 num. 1 Importance : 219 p. Présentation : ill. Format : 30*17 cm ISBN/ISSN/EAN : 978-2-7044-0552-7 Prix : 44 F Note générale : Titre Automatique, de base
technologie et algèbre de Boole, François Degoulange
Éditeur EME, 1976Langues : Français (fre) Mots-clés : algèbre de boole automatismes classiques séquenceurs et automates programmables Index. décimale : 629.8 Résumé : Sommaire :
1- Technologie et algèbre de boole
2- automatismes classiques
3- Travaux pratiques sur les automatismes classiques
4- séquenceurs et automates programmablesNote de contenu : Index Automatique de base : technologie et algèbre de Boole, automatismes classiques, travaux pratiques, séquenceurs, automates programmables [texte imprimé] / François Degoulange, Auteur ; Arsène Villemer (1920-....), Auteur . - Paris : Entreprise moderne d'édition, 1976 . - 219 p. : ill. ; 30*17 cm. - (Collection Technique et industrie, ISSN 0398-6330; 1) .
ISBN : 978-2-7044-0552-7 : 44 F
Titre Automatique, de base
technologie et algèbre de Boole, François Degoulange
Éditeur EME, 1976
Langues : Français (fre)
Mots-clés : algèbre de boole automatismes classiques séquenceurs et automates programmables Index. décimale : 629.8 Résumé : Sommaire :
1- Technologie et algèbre de boole
2- automatismes classiques
3- Travaux pratiques sur les automatismes classiques
4- séquenceurs et automates programmablesNote de contenu : Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST6486 629.8/22.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt Mathématiques / Pierre Thuillier
Titre : Mathématiques : algèbre Type de document : texte imprimé Auteurs : Pierre Thuillier (1927-....), Auteur ; Jean-Claude Belloc, Auteur Editeur : Paris : Masson Année de publication : 1982 Importance : 1 vol. ([VI]-281 p.) Présentation : ill., couv. ill. Format : 24*17 cm ISBN/ISSN/EAN : 2-225-37587-2 Note générale : Éditeur : Masson(1973)
Langue : Français
Broché : 281 pages
ISBN-10 : 2-225-37587-2
ISBN-13 : 978-
Poids de l'article : 439 g
Dimensions : 24 x 2.5 x 17 c
Langues : Français (fre) Mots-clés : ensembles relations fonctions structures algébriques algèbre de boole nombres complexes polynômes fractions rationnelles applications linéaires matrices déterminants systèmes linéaires diagonalisation des matrices carrées Mathématiques algèbre Index. décimale : 512 Algèbre Résumé : Sommaire :
ensembles.SOUS-ENSEMBLE.OPéRATION DANS&(E).LOGIQUE BIVALENTE
relations .fonctions
structures algébriques
algèbre de boole
nombres complexes
polynômes
fractions rationnelles
applications linéaires matrices
déterminants systèmes linéaires
diagonalisation des matrices carréesNote de contenu : exercices
Br.: 48 FMathématiques : algèbre [texte imprimé] / Pierre Thuillier (1927-....), Auteur ; Jean-Claude Belloc, Auteur . - Paris : Masson, 1982 . - 1 vol. ([VI]-281 p.) : ill., couv. ill. ; 24*17 cm.
ISSN : 2-225-37587-2
Éditeur : Masson(1973)
Langue : Français
Broché : 281 pages
ISBN-10 : 2-225-37587-2
ISBN-13 : 978-
Poids de l'article : 439 g
Dimensions : 24 x 2.5 x 17 c
Langues : Français (fre)
Mots-clés : ensembles relations fonctions structures algébriques algèbre de boole nombres complexes polynômes fractions rationnelles applications linéaires matrices déterminants systèmes linéaires diagonalisation des matrices carrées Mathématiques algèbre Index. décimale : 512 Algèbre Résumé : Sommaire :
ensembles.SOUS-ENSEMBLE.OPéRATION DANS&(E).LOGIQUE BIVALENTE
relations .fonctions
structures algébriques
algèbre de boole
nombres complexes
polynômes
fractions rationnelles
applications linéaires matrices
déterminants systèmes linéaires
diagonalisation des matrices carréesNote de contenu : exercices
Br.: 48 FRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST13488 512/44.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13489 512/44.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST13490 512/44.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Circuits logiques / Xavier Maldague
Titre : Circuits logiques Type de document : texte imprimé Auteurs : Xavier Maldague Editeur : Longueuil, Québec : Loze-Dion Année de publication : 2006 Importance : x, 407 p. Présentation : ill. Format : 23*17 cm Note générale : annexe-lexique-bibliographie-index Langues : Français (fre) Mots-clés : Circuits logiques code binaire algebre de boole tables de karnugh démultiplixeur décodeur bascules séquenseurs machinesybchrone Index. décimale : 621.38 Résumé : Circuits Logiques, Xavier Maldague
Xavier Maldague, Ph. D. en génie électrique de l'Université Laval. Il est professeur titulaire à l'Université Laval au Département de génie électrique et de génie informatique. Le livre Circuits logiques est issu de son enseignement sur une période de plus de dix ans. Aux cycles supérieurs, il donne un cours sur les applications de la vision numérique à l'inspection industrielle.Depuis 2004, il est titulaire de la chaire de recherche du Canada MiVim dont le thème est la vision infrarouge multipolaire. En 1996, il a lancé la technique de thermographie de phase pulsée qui est depuis devenue une technique d'analyse standard de ce domaine. Le Dr Maldague a aussi lancé une série d'ateliers connue sous le nom d'Ateliers de Québec sur le thème du traitement du signal pour l'évaluation non destructive des matériaux.Le Dr Maldague est membre de plusieurs comités internationaux œuvrant en thermographie infrarouge, notamment QIRT (Quantitavive Infrared Thermography) et Thermosense. Il est aussi impliqué auprès de l'IEEE (Institute of Electrical and Electronics Engineers). En 2004, il a reçu le Prix du Conseil de l'est du Canada de l'IEEE-Canada pour ses contributions à l'ingénierie.
Ce livre aborde tous les aspects de l'arithmétique binaire de base aux circuits séquentiels complexes (avec un soupçon de microprogrammation), il est destiné à la clientèle universitaire de premier cycle de génie électrique, de génie informatique, de génie logiciel ou de génie physique qui a dans son curriculum un cours de base sur les circuits logiques : des circuits combinatoires aux circuits séquentiels. Il peut aussi servir à l'enseignement technique, sans doute en excluant la partie séquentielle et en y ajoutant des notions d'électronique non couvertes ici. D'un format compact, il sera aisément couvert en un trimestre.Une combinaison d'exposés théoriques magistraux et d'expériences pratiques est à notre avis la combinaison pédagogique idéale. Ce livre a été pensé en conséquence. C'est ainsi que chaque partie y est très détaillée. L'ajout de problèmes et de démonstrations (par exemple de simulations) réalisés en classe complétera judicieusement le contenu de ce volume. On favorise d'ailleurs cette approche d'apprentissage par l'exemple dans ce livre, où les notions sont très souvent présentées à même les exemples résolus. sommaire:codes binaires et portes simples-table de vérité et algébre de boole-méthode des tables de karnaugh pour minimiser les experssion booléenes-circuit programmables pour les desing combinatoires-bascules et -flip -flops-séquenceurs synchrones-machine d'états synchroneNote de contenu : Auteur : Xavier Maldague
Éditeur : Loze-Dion Éditeur
Date de parution : 01/01/06
EAN : 9782923565170
Format : PDF
Protection : Digital Watermarking
Circuits logiques [texte imprimé] / Xavier Maldague . - Longueuil, Québec : Loze-Dion, 2006 . - x, 407 p. : ill. ; 23*17 cm.
annexe-lexique-bibliographie-index
Langues : Français (fre)
Mots-clés : Circuits logiques code binaire algebre de boole tables de karnugh démultiplixeur décodeur bascules séquenseurs machinesybchrone Index. décimale : 621.38 Résumé : Circuits Logiques, Xavier Maldague
Xavier Maldague, Ph. D. en génie électrique de l'Université Laval. Il est professeur titulaire à l'Université Laval au Département de génie électrique et de génie informatique. Le livre Circuits logiques est issu de son enseignement sur une période de plus de dix ans. Aux cycles supérieurs, il donne un cours sur les applications de la vision numérique à l'inspection industrielle.Depuis 2004, il est titulaire de la chaire de recherche du Canada MiVim dont le thème est la vision infrarouge multipolaire. En 1996, il a lancé la technique de thermographie de phase pulsée qui est depuis devenue une technique d'analyse standard de ce domaine. Le Dr Maldague a aussi lancé une série d'ateliers connue sous le nom d'Ateliers de Québec sur le thème du traitement du signal pour l'évaluation non destructive des matériaux.Le Dr Maldague est membre de plusieurs comités internationaux œuvrant en thermographie infrarouge, notamment QIRT (Quantitavive Infrared Thermography) et Thermosense. Il est aussi impliqué auprès de l'IEEE (Institute of Electrical and Electronics Engineers). En 2004, il a reçu le Prix du Conseil de l'est du Canada de l'IEEE-Canada pour ses contributions à l'ingénierie.
Ce livre aborde tous les aspects de l'arithmétique binaire de base aux circuits séquentiels complexes (avec un soupçon de microprogrammation), il est destiné à la clientèle universitaire de premier cycle de génie électrique, de génie informatique, de génie logiciel ou de génie physique qui a dans son curriculum un cours de base sur les circuits logiques : des circuits combinatoires aux circuits séquentiels. Il peut aussi servir à l'enseignement technique, sans doute en excluant la partie séquentielle et en y ajoutant des notions d'électronique non couvertes ici. D'un format compact, il sera aisément couvert en un trimestre.Une combinaison d'exposés théoriques magistraux et d'expériences pratiques est à notre avis la combinaison pédagogique idéale. Ce livre a été pensé en conséquence. C'est ainsi que chaque partie y est très détaillée. L'ajout de problèmes et de démonstrations (par exemple de simulations) réalisés en classe complétera judicieusement le contenu de ce volume. On favorise d'ailleurs cette approche d'apprentissage par l'exemple dans ce livre, où les notions sont très souvent présentées à même les exemples résolus. sommaire:codes binaires et portes simples-table de vérité et algébre de boole-méthode des tables de karnaugh pour minimiser les experssion booléenes-circuit programmables pour les desing combinatoires-bascules et -flip -flops-séquenceurs synchrones-machine d'états synchroneNote de contenu : Auteur : Xavier Maldague
Éditeur : Loze-Dion Éditeur
Date de parution : 01/01/06
EAN : 9782923565170
Format : PDF
Protection : Digital Watermarking
Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité ST2570 621.38/192.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt ST2571 621.38/192.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2572 621.38/192.3 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2573 621.38/192.4 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2574 621.38/192.5 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible Complexité et algorithmique avancée / Ivan Lavallée
Titre : Complexité et algorithmique avancée : une introduction Type de document : texte imprimé Auteurs : Ivan Lavallée (1946-....), Auteur Editeur : Paris : Hermann Année de publication : impr. 2008 Collection : Collection Méthodes, ISSN 0588-2303 Importance : 1 vol. (330 p.) Présentation : ill., couv. ill. Format : 15x22 cm ISBN/ISSN/EAN : 978-2-7056-6726-9 Prix : 33 EUR Note générale : Éditeur : Hermann (15 février 2008)
Langue : Français
Broché : 361 pages
ISBN-10 : 2705667261
ISBN-13 : 978-2705667269
Poids de l'article : 481 g
Dimensions : 16 x 2 x 22 cmLangues : Français (fre) Mots-clés : algorithmes survol machine de turing complexité algèbre de boole circuits booléens complétude modèle quantique Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d'informatique et de cognitique et l'ouvrage est conçu pour être abordé par les étudiants des trois cycles universitaires. Il s'agit là du premier ouvrage en langue française traitant de la complexité en tant que telle. On y trouvera une introduction aux concepts fondamentaux du domaine, qu'il s'agisse de machine de Turing élémentaire ou universelle, de complexité au sens de Levin-Cook ou de Kolmogorov. Dans ce livre sont définies les trois principales classes de complexité, P, NP et NPC ainsi que le concept de quantité absolue d'information dû à Kolmogorov. Dans une dernière partie, on montre comment résoudre certains problèmes en faisant « tomber »la complexité, en utilisant des concepts probabilistes, ou en utilisant des méthodes d'énumération implicite dont les principes sont décrits. L'ouvrage se termine sur un chapitre consacré à l'informatique quantique. Ce livre est destiné tant aux étudiants en informatique qu'aux ingénieurs et chercheurs. L'ouvrage propose aussi des voies pour la recherche, abordant les aspects pratiques au travers de la conception des algorithmes de résolution pour problèmes dits NP- complets, une partie est consacrée à ces aspects pratiques. Public : Licence, Maitrise, Doctorat, Ingéniorat.
sommaire:
1-historique
2-histoires d4algorithmes
3-survol
4-la machine de turing
5-la machine de turing universelle
6-complexité de kolmogrov(rudiments)
7-théorie
8-considérations théoriques
9-ordres,treillis et algébre de boole
10-circuits booléens
11-quelques problémes de référence
12-algorithme,résolution
13-complexité
14-modéles de calcul,classes de complexité
15-complétude
16-le pire n'est pas toujours certain
17-complexité et efficacité
18-que faire?
19-des algorithmes pour problémes npc
20-introduction à l'algorithmique probabiliste
21-de shannon à kolmogorov
22-le modéle quantique
Note de contenu : Bibliogr. p. 311-330
A NOTATIONS DE BACHMAN-LANDAU
INDEX DES CONCEPTS ET NOTATIONS
INDEX DES ALGORITHMES
BIBLIOGRAPHIEComplexité et algorithmique avancée : une introduction [texte imprimé] / Ivan Lavallée (1946-....), Auteur . - Paris : Hermann, impr. 2008 . - 1 vol. (330 p.) : ill., couv. ill. ; 15x22 cm. - (Collection Méthodes, ISSN 0588-2303) .
ISBN : 978-2-7056-6726-9 : 33 EUR
Éditeur : Hermann (15 février 2008)
Langue : Français
Broché : 361 pages
ISBN-10 : 2705667261
ISBN-13 : 978-2705667269
Poids de l'article : 481 g
Dimensions : 16 x 2 x 22 cm
Langues : Français (fre)
Mots-clés : algorithmes survol machine de turing complexité algèbre de boole circuits booléens complétude modèle quantique Index. décimale : 518. Analyse Numérique Algorithme-Méthodes Numériques Résumé : Complexité et algorithmique avancée est un exposé introductif à la pratique de la théorie de la complexité, il a été enseigné dans les trois cycles universitaires d'informatique et de cognitique et l'ouvrage est conçu pour être abordé par les étudiants des trois cycles universitaires. Il s'agit là du premier ouvrage en langue française traitant de la complexité en tant que telle. On y trouvera une introduction aux concepts fondamentaux du domaine, qu'il s'agisse de machine de Turing élémentaire ou universelle, de complexité au sens de Levin-Cook ou de Kolmogorov. Dans ce livre sont définies les trois principales classes de complexité, P, NP et NPC ainsi que le concept de quantité absolue d'information dû à Kolmogorov. Dans une dernière partie, on montre comment résoudre certains problèmes en faisant « tomber »la complexité, en utilisant des concepts probabilistes, ou en utilisant des méthodes d'énumération implicite dont les principes sont décrits. L'ouvrage se termine sur un chapitre consacré à l'informatique quantique. Ce livre est destiné tant aux étudiants en informatique qu'aux ingénieurs et chercheurs. L'ouvrage propose aussi des voies pour la recherche, abordant les aspects pratiques au travers de la conception des algorithmes de résolution pour problèmes dits NP- complets, une partie est consacrée à ces aspects pratiques. Public : Licence, Maitrise, Doctorat, Ingéniorat.
sommaire:
1-historique
2-histoires d4algorithmes
3-survol
4-la machine de turing
5-la machine de turing universelle
6-complexité de kolmogrov(rudiments)
7-théorie
8-considérations théoriques
9-ordres,treillis et algébre de boole
10-circuits booléens
11-quelques problémes de référence
12-algorithme,résolution
13-complexité
14-modéles de calcul,classes de complexité
15-complétude
16-le pire n'est pas toujours certain
17-complexité et efficacité
18-que faire?
19-des algorithmes pour problémes npc
20-introduction à l'algorithmique probabiliste
21-de shannon à kolmogorov
22-le modéle quantique
Note de contenu : Bibliogr. p. 311-330
A NOTATIONS DE BACHMAN-LANDAU
INDEX DES CONCEPTS ET NOTATIONS
INDEX DES ALGORITHMES
BIBLIOGRAPHIERéservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité ST19247 518/15.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST19248 518/15.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST19249 518/15.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST19250 518/15.4 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Introduction à l'Architecture des ordinateurs / Habiba Drias Zerkaoui
Titre : Introduction à l'Architecture des ordinateurs Type de document : texte imprimé Auteurs : Habiba Drias Zerkaoui, Mention d'édition : 4e édi. Editeur : Alger [Algérie] : OPU Année de publication : 2010 Autre Editeur : Lavoisier Importance : 1 vol. (159 p.) Présentation : ill. Format : 22 cm. ISBN/ISSN/EAN : 9961006030 Prix : 350.00 DA Note générale : Éditeur : OPU (2010)
Langue : Français
Broché : 159 pages
ISBN-10 : 9961006030
ISBN-13 : 978-9961006030
Poids de l'article : 239 g
Dimensions : 22 x 1.5
Langues : Français (fre) Mots-clés : systèmes binaires algèbre de boole fonctions booléènnes logique combinatoire implantation des circuits combinatoires logique séquentielle synthèse des circuits séquentiels à horloge unités de stockage Architecture des ordinateurs Index. décimale : 004 Traitement des Données Résumé : Sommaire :
introduction
les systèmes binaires
algèbre de boole
simplification des fonctions booléènnes
logique combinatoire
implantation des circuits combinatoires
logique séquentielle
synthèse des circuits séquentiels à horloge;
nités de stockage
Architecture des ordinateursNote de contenu : Exercices Introduction à l'Architecture des ordinateurs [texte imprimé] / Habiba Drias Zerkaoui, . - 4e édi. . - Alger (16000, Algérie) : OPU : [S.l.] : Lavoisier, 2010 . - 1 vol. (159 p.) : ill. ; 22 cm.
ISSN : 9961006030 : 350.00 DA
Éditeur : OPU (2010)
Langue : Français
Broché : 159 pages
ISBN-10 : 9961006030
ISBN-13 : 978-9961006030
Poids de l'article : 239 g
Dimensions : 22 x 1.5
Langues : Français (fre)
Mots-clés : systèmes binaires algèbre de boole fonctions booléènnes logique combinatoire implantation des circuits combinatoires logique séquentielle synthèse des circuits séquentiels à horloge unités de stockage Architecture des ordinateurs Index. décimale : 004 Traitement des Données Résumé : Sommaire :
introduction
les systèmes binaires
algèbre de boole
simplification des fonctions booléènnes
logique combinatoire
implantation des circuits combinatoires
logique séquentielle
synthèse des circuits séquentiels à horloge;
nités de stockage
Architecture des ordinateursNote de contenu : Exercices Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST19556 004/39.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST19557 004/39.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible Mathématiques pour l'informatique / Arnold, André
PermalinkCircuits logiques / Xavier Maldague
Permalink