A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... | Votre compte |
Détail de l'indexation
621.395 : Circuits des ordinateurs, circuits logiques, VLSI



















































































Ouvrages de la bibliothèque en indexation 621.395



Informatique industrielle : Logique combinatoire et séquentielle / Claude Brie
Titre : Informatique industrielle : Logique combinatoire et séquentielle : méthodes, outils et réalisations Type de document : texte imprimé Auteurs : Claude Brie, Auteur Editeur : Paris : Ellipses Année de publication : 2002 Collection : Technosup Importance : 314 p. Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-1425-0 Prix : 27,50 EUR Note générale : Bibliogr., 1 p. Langues : Français (fre) Tags : Logique combinatoire Circuits logiques Machines séquentielles, Théorie des Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage est une présentation particulièrement claire des systèmes logiques, éléments de base de toutes les machines numériques et en particulier des ordinateurs.
En logique combinatoire sont traités la représentation des nombres, l'algèbre de Boole et les fonctions élémentaires, la description et la simplification des fonctions logiques, ainsi que les aspects technologiques à prendre en compte lors de la réalisation d'un dispositif logique. Un chapitre est entièrement consacré à l'étude détaillée des circuits logiques combinatoires : multiplexeur, décodeur, mémoire, additionneur, unité arithmétique et logique, encodeur de priorité, générateur et vérificateur de parité, comparateur.
En logique séquentielle, sont introduites les notions d'état et de variable interne, puis décrits les circuits logiques séquentiels classiques (bistables, registres et compteurs). Enfin sont présentées les différentes étapes de la synthèse des systèmes séquentiels synchrones et asynchrones synchronisés : description, réduction, codage et réalisation.
L'ouvrage est illustré par de nombreux exercices, avec simple réponse ou solution détaillée.Informatique industrielle : Logique combinatoire et séquentielle : méthodes, outils et réalisations [texte imprimé] / Claude Brie, Auteur . - Paris : Ellipses, 2002 . - 314 p. : ill., couv. ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-1425-0 : 27,50 EUR
Bibliogr., 1 p.
Langues : Français (fre)
Tags : Logique combinatoire Circuits logiques Machines séquentielles, Théorie des Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage est une présentation particulièrement claire des systèmes logiques, éléments de base de toutes les machines numériques et en particulier des ordinateurs.
En logique combinatoire sont traités la représentation des nombres, l'algèbre de Boole et les fonctions élémentaires, la description et la simplification des fonctions logiques, ainsi que les aspects technologiques à prendre en compte lors de la réalisation d'un dispositif logique. Un chapitre est entièrement consacré à l'étude détaillée des circuits logiques combinatoires : multiplexeur, décodeur, mémoire, additionneur, unité arithmétique et logique, encodeur de priorité, générateur et vérificateur de parité, comparateur.
En logique séquentielle, sont introduites les notions d'état et de variable interne, puis décrits les circuits logiques séquentiels classiques (bistables, registres et compteurs). Enfin sont présentées les différentes étapes de la synthèse des systèmes séquentiels synchrones et asynchrones synchronisés : description, réduction, codage et réalisation.
L'ouvrage est illustré par de nombreux exercices, avec simple réponse ou solution détaillée.Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17050 621.395 BRI Livre Informatique Monographies Informatique Disponible 17049 621.395 BRI Livre Physique Monographies Physique Disponible 17048 621.395 BRI Livre Physique Monographies Physique Disponible Computers, 2. Séquence après séquence / Jean-Jacques Mercier
Titre de série : Computers, 2 Titre : Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones Type de document : texte imprimé Auteurs : Jean-Jacques Mercier, Auteur Editeur : Paris : Ellipses Année de publication : DL 2006 Collection : Computers num. 2 Importance : 1 vol. (269 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-2619-2 Prix : 32 EUR Note générale : Bibliogr., 1 p. Webliogr., 1 p. Index Langues : Français (fre) Tags : Logique combinatoire Manuels d'enseignement supérieur Machines séquentielles, Théorie des Manuels d'enseignement supérieur Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Computers, 2. Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones [texte imprimé] / Jean-Jacques Mercier, Auteur . - Paris : Ellipses, DL 2006 . - 1 vol. (269 p.) : ill., couv. ill. ; 26 cm. - (Computers; 2) .
ISBN : 978-2-7298-2619-2 : 32 EUR
Bibliogr., 1 p. Webliogr., 1 p. Index
Langues : Français (fre)
Tags : Logique combinatoire Manuels d'enseignement supérieur Machines séquentielles, Théorie des Manuels d'enseignement supérieur Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17071 621.395 MER Livre Physique Monographies Physique Disponible 17070 621.395 MER Livre Physique Monographies Physique Disponible 17069 621.395 MER Livre Physique Monographies Physique Disponible Informatique Théorique : Logique et démonstration automatique / Stéphane Devismes
Titre : Informatique Théorique : 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 Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Prix : 24,00 eur Tags : Informatique logique Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage : niveau A (IUT - BTS - 1re cycle)
Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner.
L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples.
Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme
DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre.
Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés.
Note de contenu : Informatique théorique 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 . - Paris : Ellipses, 2012 . - ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8 : 24,00 eur
Tags : Informatique logique Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage : niveau A (IUT - BTS - 1re cycle)
Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner.
L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples.
Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme
DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre.
Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés.
Note de contenu : Informatique théorique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18031 621.395 DEV Livre Informatique Monographies Informatique Disponible 18032 621.395 DEV Livre Informatique Monographies Informatique Disponible 18033 621.395 DEV Livre Informatique Monographies Informatique Disponible 18034 621.395 DEV Livre Informatique Monographies Informatique Disponible