510.65 : Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres

510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc.
510.21 considérations philosophiques générales.
510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux
510.5 Algorithmes. Fonctions calculables
510.51 Théorie des algorithmes: considérations générales
510.56 HAU
510.6 Logique mathématique
510.62 Langages logiques. Langages logico-objectifs
510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste.
510.67 Théorie des Modèles
510.76

Ouvrages de la bibliothèque en indexation 510.65

Computers 2. Séquence après séquence / Mercier, Jean-Jacques

Public ISBD Titre de série : Computers 2 Titre : Séquence après séquence : logiques séquentielles - circuits asynchrones et synchrones Type de document : texte imprimé Auteurs : Mercier, Jean-Jacques, Auteur Editeur : Paris : Ellipses Année de publication : 2006 Collection : Technosup Importance : 269 p. Présentation : ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-2619-2 Langues : Français (fre) Mots-clés : Arithmétique  interne  des  ordinateurs  --  Manuels  d'enseignement  supérieur Logique  combinatoire  --  Manuels  d'enseignement  supérieur Système  binaire  (mathématiques)  --  Manuels  d'enseignement  supérieur Machines  logiques Index. décimale : 510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres Résumé : L'ouvrage : niveau B (Licence) et C (Master, Écoles d'ingénieurs) Pour tous les étudiants et élèves-ingénieurs, comme pour tous les professionnels de l'informatique et de l'automatique, cet ouvrage présente les méthodes de synthèse des machines logiques séquentielles utilisées dans les ordinateurs et dans les automates logiques. Il traite des structures asynchrones et synchrones de types Moore et Mealy. La première partie développe une méthodologie générale de synthèse des machines asynchrones, avec application aux différents types de mémoires logique. La deuxième partie expose la mise en oeuvre des automates synchrones et une introduction aux langages ASM Flowchart et VHDL. La troisième partie est une introduction aux réseaux de Petri et une présentation des concepts mis en oeuvre dans le Grafcet. Dans chaque partie sont aussi développés de nombreux exercices corrigés. L'ouvrage s'inscrit dans un traité complet sur les computers, avec deux autres ouvrages du même auteur, dans la même collection : en amont : bit après bit en aval : instruction après instruction. Note de contenu : Au sommaire: 1. Préambule à la logique séquentielle. 2. Logique séquentielle asynchrone. 3. Logique séquentielle synchrone. 4. Introduction aux réseaux de Petri et Grafcet. 5. Annexes. ISBN 13 : 978-2-7298-2619-2 Computers 2. Séquence après séquence : logiques séquentielles - circuits asynchrones et synchrones [texte imprimé] / Mercier, Jean-Jacques, Auteur . - Ellipses, 2006 . - 269 p. : ill. ; 26 cm.. - (Technosup) . ISBN : 978-2-7298-2619-2 Langues : Français (fre) Mots-clés : Arithmétique  interne  des  ordinateurs  --  Manuels  d'enseignement  supérieur Logique  combinatoire  --  Manuels  d'enseignement  supérieur Système  binaire  (mathématiques)  --  Manuels  d'enseignement  supérieur Machines  logiques Index. décimale : 510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres Résumé : L'ouvrage : niveau B (Licence) et C (Master, Écoles d'ingénieurs) Pour tous les étudiants et élèves-ingénieurs, comme pour tous les professionnels de l'informatique et de l'automatique, cet ouvrage présente les méthodes de synthèse des machines logiques séquentielles utilisées dans les ordinateurs et dans les automates logiques. Il traite des structures asynchrones et synchrones de types Moore et Mealy. La première partie développe une méthodologie générale de synthèse des machines asynchrones, avec application aux différents types de mémoires logique. La deuxième partie expose la mise en oeuvre des automates synchrones et une introduction aux langages ASM Flowchart et VHDL. La troisième partie est une introduction aux réseaux de Petri et une présentation des concepts mis en oeuvre dans le Grafcet. Dans chaque partie sont aussi développés de nombreux exercices corrigés. L'ouvrage s'inscrit dans un traité complet sur les computers, avec deux autres ouvrages du même auteur, dans la même collection : en amont : bit après bit en aval : instruction après instruction. Note de contenu : Au sommaire: 1. Préambule à la logique séquentielle. 2. Logique séquentielle asynchrone. 3. Logique séquentielle synchrone. 4. Introduction aux réseaux de Petri et Grafcet. 5. Annexes. ISBN 13 : 978-2-7298-2619-2

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
053471	510.65 MER	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053470	510.65 MER	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053469	510.65 MER	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053468	510.65 MER	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état
053467	510.65 MER	Papier	Bibliothèque Centrale	Mathématiques	Disponible	Consultation sur place