الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'automates finis'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
15 Leçons logique de mathématique / Karle Djanseitov
Titre : 15 Leçons logique de mathématique Type de document : texte imprimé Auteurs : Karle Djanseitov, Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1986 Importance : 61 p. Présentation : ill. Format : 27 *22cm Prix : 12.00 DA Note générale : Titre 15 Leçons logique de mathématique
Auteurs Djanseitov Karl
Édition -
Éditeur OPU, 1986
ISBN
Langue : Français
Longueur 61 pages
Dimensions 27 cm.
Langues : Français (fre) Langues originales : Allemand (ger) Mots-clés : mathématique théorème de la déduction formules propositionnelles théorème de la complétude interprétations sémantique treillis et les algèbres automates finis élément de la théorème des algorithmes machines de turing-post systèmes formel du calcul modèles compatibilité opérations sur un ensemble Index. décimale : 510 Résumé : Sommaire :
mathématique
théorème de la déduction
formules propositionnelles
théorème de la complétude
interprétations sémantique
treillis et les algèbres
automates finis
élément de la théorème des algorithmes
machines de turing-post
systèmes formel du calcul
modèles
compatibilité
opérations sur un ensembleNote de contenu : index 15 Leçons logique de mathématique [texte imprimé] / Karle Djanseitov, Auteur . - Alger (16000, Algérie) : OPU, 1986 . - 61 p. : ill. ; 27 *22cm.
12.00 DA
Titre 15 Leçons logique de mathématique
Auteurs Djanseitov Karl
Édition -
Éditeur OPU, 1986
ISBN
Langue : Français
Longueur 61 pages
Dimensions 27 cm.
Langues : Français (fre) Langues originales : Allemand (ger)
Mots-clés : mathématique théorème de la déduction formules propositionnelles théorème de la complétude interprétations sémantique treillis et les algèbres automates finis élément de la théorème des algorithmes machines de turing-post systèmes formel du calcul modèles compatibilité opérations sur un ensemble Index. décimale : 510 Résumé : Sommaire :
mathématique
théorème de la déduction
formules propositionnelles
théorème de la complétude
interprétations sémantique
treillis et les algèbres
automates finis
élément de la théorème des algorithmes
machines de turing-post
systèmes formel du calcul
modèles
compatibilité
opérations sur un ensembleNote de contenu : index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13077 510/14.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt Introduction à la calculabilité / Pierre Wolper
Titre : Introduction à la calculabilité : cours et exercices corrigés Type de document : texte imprimé Auteurs : Pierre Wolper, Auteur Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup, ISSN 1636-2217 Importance : IX-209 p. Présentation : ill., couv. ill. en coul. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-10-004853-3 Prix : 175 F Note générale : Éditeur : Dunod; 2e éd. édition (10 janvier 2001)
Langue : Français
Broché : 224 pages
ISBN-10 : 2100048538
ISBN-13 : 978-2100048533
Poids de l'article : 385 g
Dimensions : 24 x 17.1 x 1.2 cmLangues : Français (fre) Mots-clés : automates finis automates à pile machines de turing fonctions récursives non-calculabilité complexité Index. décimale : 510 Résumé : La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exercices et des corrigés.
Biographie de l'auteur
Professeur à l'université de Liège.SOMMAIRE:LES AUTOMATES FINIS-LES GRAMMAIRES RéGULIéRES-AUTOMATES à PILE ET LANGAGES HORS-CONTEXTE-LES MACHINES DE TURING-LES FONCTIONS RéCURSIVES-LA NON-CALCULBILITé-LA COMPLEXITéNote de contenu : La couv. porte en plus : "2e cycle, écoles d'ingénieur"
Bibliogr. p. 203-204. IndexIntroduction à la calculabilité : cours et exercices corrigés [texte imprimé] / Pierre Wolper, Auteur . - 2e éd. . - Paris : Dunod, 2001 . - IX-209 p. : ill., couv. ill. en coul. ; 24*17 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-004853-3 : 175 F
Éditeur : Dunod; 2e éd. édition (10 janvier 2001)
Langue : Français
Broché : 224 pages
ISBN-10 : 2100048538
ISBN-13 : 978-2100048533
Poids de l'article : 385 g
Dimensions : 24 x 17.1 x 1.2 cm
Langues : Français (fre)
Mots-clés : automates finis automates à pile machines de turing fonctions récursives non-calculabilité complexité Index. décimale : 510 Résumé : La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exercices et des corrigés.
Biographie de l'auteur
Professeur à l'université de Liège.SOMMAIRE:LES AUTOMATES FINIS-LES GRAMMAIRES RéGULIéRES-AUTOMATES à PILE ET LANGAGES HORS-CONTEXTE-LES MACHINES DE TURING-LES FONCTIONS RéCURSIVES-LA NON-CALCULBILITé-LA COMPLEXITéNote de contenu : La couv. porte en plus : "2e cycle, écoles d'ingénieur"
Bibliogr. p. 203-204. IndexExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13482 510/13.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt Méthodes mathématiques pour l'informatique / Jacques Vélu
Titre : Méthodes mathématiques pour l'informatique : cours et exercices corrigés Type de document : texte imprimé Auteurs : Jacques Vélu (1943-....), Auteur Mention d'édition : 4e éd. Editeur : Paris : Dunod Année de publication : DL 2005 Collection : Sciences sup, ISSN 1636-2217 Importance : 1 vol. (X-484 p.) Présentation : ill., couv. ill. en coul. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-10-049149-0 Prix : 39,90 EUR Note générale : La Éditeur : Dunod; 4e édition (17 octobre 2005)
Langue : Français
Broché : 496 pages
ISBN-10 : 2100491490
ISBN-13 : 978-2100491490
Poids de l'article : 839 g
Dimensions : 24 x 3 x 17 cm. porte en plus : "BTS, IUT, CNAM, licence, écoles d'ingénieurs"
IndexLangues : Français (fre) Mots-clés : Méthodes mathématiques pour l'informatique ensemble analyse combinatoire relations calcul booléen probabilités combinatoires fonctions booléennes arithmétique congruence codages linéaires graphes arbres enracinés automates finis rudiments d'algèbre linéaire calcul matriciel Index. décimale : 510 Résumé : Illustré de nombreux exemples, ce manuel aborde en profondeur les thèmes qui constituent la base élémentaire de connaissances mathématiques indispensable à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible, avant de procéder à une mise en forme abstraite. Dans chaque chapitre, une brève introduction indique les " raisons " de ce qui va suivre, et les questions posées tout au long du livre conduisent à des méthodes pratiques permettant de les résoudre mécaniquement. Des exercices, variés et souvent distrayants, éclairent les démonstrations qui vont à l'essentiel. Initialement conçu pour les enseignements du CNAM, Méthode mathématiques pour l'informatique est un outil pédagogique très complet qui intéressera tous les étudiants de DUT, de BTS, de LMD licence STIC (Sciences et techniques de l'information et de la communication) mention informatique et mention mathématiques appliquées, des certificats inscrits au RNCP (Registre National de la Certification Professionnelle). Entièrement revu et mis à jour, ce manuel déjà utilisé par des dizaines de milliers de lecteurs, est présenté ici dans sa 4ème édition.SOMMAIRE:LA NOTION D'ENSEMBLE-CONSTRUCTIONS D'ENSEMBLES-CARDINAL D'UN ENSEMBLE-ANALYSE COMBINATOIRE-RELATIONS-ENSEMBLES ORDONNéS-CALCUL BOOLéEN-PARTIES D'UN ENSEMBLE-PROBABILITéS COMBINATOIRES-FONCTIONS BOOLéENNES-SYNTHéSE DES FONCTIONS BOOLéENNES-SIMPLIFICATION DES FORMULES-CALCUL PROPOSITIONNEL-CALCUL DES PRéDICATS,RéCURRENCES-ARITHMéTIQUE-CONGRUENCES-CODES DéTECTEURS CODES CORRECTEURS-CODAGES LINéAIRES-GRAPHES-ARBRES ENRACINéS-AUTOMATES FINIS-CONSTRUCTIONS D'AUTOMATES-SYSTéMES DE NUMéRATION-RUDIMENTS D'ALGéBRE LINéAIRE-CALCUL MATRICIEL Note de contenu : Méthodes mathématiques pour l'informatique : Cours et exercices corrigés (French) Paperback – 27 Oct. 2005
by Jacques Vélu (Autor)Méthodes mathématiques pour l'informatique : cours et exercices corrigés [texte imprimé] / Jacques Vélu (1943-....), Auteur . - 4e éd. . - Paris : Dunod, DL 2005 . - 1 vol. (X-484 p.) : ill., couv. ill. en coul. ; 24*17 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-049149-0 : 39,90 EUR
La Éditeur : Dunod; 4e édition (17 octobre 2005)
Langue : Français
Broché : 496 pages
ISBN-10 : 2100491490
ISBN-13 : 978-2100491490
Poids de l'article : 839 g
Dimensions : 24 x 3 x 17 cm. porte en plus : "BTS, IUT, CNAM, licence, écoles d'ingénieurs"
Index
Langues : Français (fre)
Mots-clés : Méthodes mathématiques pour l'informatique ensemble analyse combinatoire relations calcul booléen probabilités combinatoires fonctions booléennes arithmétique congruence codages linéaires graphes arbres enracinés automates finis rudiments d'algèbre linéaire calcul matriciel Index. décimale : 510 Résumé : Illustré de nombreux exemples, ce manuel aborde en profondeur les thèmes qui constituent la base élémentaire de connaissances mathématiques indispensable à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible, avant de procéder à une mise en forme abstraite. Dans chaque chapitre, une brève introduction indique les " raisons " de ce qui va suivre, et les questions posées tout au long du livre conduisent à des méthodes pratiques permettant de les résoudre mécaniquement. Des exercices, variés et souvent distrayants, éclairent les démonstrations qui vont à l'essentiel. Initialement conçu pour les enseignements du CNAM, Méthode mathématiques pour l'informatique est un outil pédagogique très complet qui intéressera tous les étudiants de DUT, de BTS, de LMD licence STIC (Sciences et techniques de l'information et de la communication) mention informatique et mention mathématiques appliquées, des certificats inscrits au RNCP (Registre National de la Certification Professionnelle). Entièrement revu et mis à jour, ce manuel déjà utilisé par des dizaines de milliers de lecteurs, est présenté ici dans sa 4ème édition.SOMMAIRE:LA NOTION D'ENSEMBLE-CONSTRUCTIONS D'ENSEMBLES-CARDINAL D'UN ENSEMBLE-ANALYSE COMBINATOIRE-RELATIONS-ENSEMBLES ORDONNéS-CALCUL BOOLéEN-PARTIES D'UN ENSEMBLE-PROBABILITéS COMBINATOIRES-FONCTIONS BOOLéENNES-SYNTHéSE DES FONCTIONS BOOLéENNES-SIMPLIFICATION DES FORMULES-CALCUL PROPOSITIONNEL-CALCUL DES PRéDICATS,RéCURRENCES-ARITHMéTIQUE-CONGRUENCES-CODES DéTECTEURS CODES CORRECTEURS-CODAGES LINéAIRES-GRAPHES-ARBRES ENRACINéS-AUTOMATES FINIS-CONSTRUCTIONS D'AUTOMATES-SYSTéMES DE NUMéRATION-RUDIMENTS D'ALGéBRE LINéAIRE-CALCUL MATRICIEL Note de contenu : Méthodes mathématiques pour l'informatique : Cours et exercices corrigés (French) Paperback – 27 Oct. 2005
by Jacques Vélu (Autor)Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST12947 510/146.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST12948 510/146.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible