A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Détail de l'indexation
511.3 : Logique symbolique (mathématique)
Ouvrages de la bibliothèque en indexation 511.3
Affiner la rechercheAlgèbre -1 / Labriji El Houssine
Titre : Algèbre -1 : Structures algébriques, exercices corrigés avec rappels de cours Type de document : texte imprimé Auteurs : Labriji El Houssine, Auteur ; Mohamed Diouri, Auteur ; RACHIK Moustafa, Auteur Editeur : Toubkal éd. Année de publication : 2006 Importance : 265 p Format : 24 cm x 17 cm x 2 cm Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Algèbre -1 : Structures algébriques, exercices corrigés avec rappels de cours [texte imprimé] / Labriji El Houssine, Auteur ; Mohamed Diouri, Auteur ; RACHIK Moustafa, Auteur . - [S.l.] : Toubkal éd., 2006 . - 265 p ; 24 cm x 17 cm x 2 cm.
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 ELA Mathématiques Biblio-FPN 000000175708 Disponible S1211 Analyse1. / Laurent Schwartz
Titre : Analyse1. : Théorie des ensembles et topologie Type de document : texte imprimé Auteurs : Laurent Schwartz, Auteur Mention d'édition : Editeur : Paris : Hermann Année de publication : 1991 Collection : Collection Enseignement des sciences, ISSN 0768-0341 num. 42 Importance : 404 p. Format : 24 cm ISBN/ISSN/EAN : 2-7056-6161-1 Prix : 240 F Note générale : Bibliogr. p. 397-398. Index Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : analyse théorie des ensembles topologie Index. décimale : 511.3 Logique symbolique (mathématique) Analyse1. : Théorie des ensembles et topologie [texte imprimé] / Laurent Schwartz, Auteur . - . - Paris : Hermann, 1991 . - 404 p. ; 24 cm. - (Collection Enseignement des sciences, ISSN 0768-0341; 42) .
ISBN : 2-7056-6161-1 : 240 F
Bibliogr. p. 397-398. Index
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : analyse théorie des ensembles topologie Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 SCH A Mathématiques Biblio-FSO 000001723405 Disponible s17632 511.3 SCH A Mathématiques Biblio-FSO 000001723505 Disponible s17630 Complexités / Jean-Paul Delahaye
Titre : Complexités : aux limites des mathématiques et de l'informatique Type de document : texte imprimé Auteurs : Jean-Paul Delahaye (1952-....), Auteur Mention d'édition : Editeur : Paris : Pour la Science Année de publication : 2006 Collection : Bibliothèque Pour la science, ISSN 0224-5159 Importance : 256 p. Présentation : ill. en noir et en coul., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 2-84245-082-5 Prix : 25 EUR Note générale : Bilbiogr. p. 250-254. Index Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : complexité de calcul informatique logique mathématique intelligence artificielle Index. décimale : 511.3 Logique symbolique (mathématique) Complexités : aux limites des mathématiques et de l'informatique [texte imprimé] / Jean-Paul Delahaye (1952-....), Auteur . - . - Paris : Pour la Science, 2006 . - 256 p. : ill. en noir et en coul., couv. ill. en coul. ; 25 cm. - (Bibliothèque Pour la science, ISSN 0224-5159) .
ISBN : 2-84245-082-5 : 25 EUR
Bilbiogr. p. 250-254. Index
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : complexité de calcul informatique logique mathématique intelligence artificielle Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 DEL Mathématiques Biblio-FSO 000000331105 Disponible s34444 511.3 DEL Mathématiques Biblio-FSO 000000986505 Disponible s34445 511.3 DEL Mathématiques Biblio-FSO 000001801205 Disponible s34874 511.3 DEL Mathématiques Biblio-FSO 000001872305 Disponible s34873 Computers 2 : Séquence après séquence / Jean-Jacques Mercier
Titre : Computers 2 : Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones Type de document : texte imprimé Auteurs : Jean-Jacques Mercier, Auteur Mention d'édition : Editeur : Paris : Ellipses Année de publication : 2006 Collection : Technosup, ISSN 1275-3955 Importance : 269 p. Présentation : graph., fig., couv. ill Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-2619-X Note générale : Bibliogr. [1] p. Liste de sites web. Index Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : Arithmétique interne des ordinateurs Logique combinatoire Système binaire (mathématiques) Machines logiques Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : 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 œuvre 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 œuvre 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.
Computers 2 : Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones [texte imprimé] / Jean-Jacques Mercier, Auteur . - . - Paris : Ellipses, 2006 . - 269 p. : graph., fig., couv. ill ; 26 cm. - (Technosup, ISSN 1275-3955) .
ISSN : 978-2-7298-2619-X
Bibliogr. [1] p. Liste de sites web. Index
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : Arithmétique interne des ordinateurs Logique combinatoire Système binaire (mathématiques) Machines logiques Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : 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 œuvre 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 œuvre 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.
Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 MER B Mathématiques Biblio-FSO 000001864105 Disponible s34801 computers 3. Instruction après instruction / Jean-Jacques Mercier
Titre : computers 3. Instruction après instruction : logique séquentielle, circuits asynchrones et synchrones Type de document : texte imprimé Auteurs : Jean-Jacques Mercier, Auteur Mention d'édition : Editeur : Paris : Ellipses Année de publication : 2008 Collection : Technosup, ISSN 1275-3955 Importance : 174 p. Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-2616-1 Prix : 25 EUR Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : logique séquentielle circuits asynchrones circuits synchrones Index. décimale : 511.3 Logique symbolique (mathématique) computers 3. Instruction après instruction : logique séquentielle, circuits asynchrones et synchrones [texte imprimé] / Jean-Jacques Mercier, Auteur . - . - Paris : Ellipses, 2008 . - 174 p. : ill., couv. ill. ; 26 cm. - (Technosup, ISSN 1275-3955) .
ISBN : 978-2-7298-2616-1 : 25 EUR
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : logique séquentielle circuits asynchrones circuits synchrones Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 MER C Mathématiques Biblio-FSO 000001863705 Disponible s34800 Ensembles, applications, relations d'équivalence, lois de composition (groupes), logique élémentaire / Daniel Alibert
PermalinkEnsembles ordonnés finis / Nathalie Caspard
PermalinkEnsembles parfaits et séries trigonométriques / Jean-Pierre Kahane
PermalinkEnsembles et structures / Corinne Dufetrelle
PermalinkLes épreuves de logique et de mathématiques aux concours des écoles de commerce / Franck Attelan
PermalinkFuzzy sets and interactive multiobjective optimization / Masatoshi Sakawa
PermalinkDu Grafcet aux réseaux de Petri / René David
PermalinkHistoire d'algorithmes / Jean-luc Chabert
PermalinkHistoire de la théorie des ensembles / Jean-Pierre Belna
PermalinkInitiation à la logique formelle / Thierry Lucas
Permalink