Détail de l'indexation
Ouvrages de la bibliothèque en indexation 511.3
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu’outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au [...]Exemplaires (8)
Cote Support Localisation Disponibilité S8/63894 Livre Bibliothèque centrale Disponible S8/63895 Livre Bibliothèque centrale Disponible S8/63896 Livre Bibliothèque centrale Disponible S8/66310 Livre Bibliothèque centrale Disponible S8/66311 Livre Bibliothèque centrale Disponible S8/66674 Livre Bibliothèque centrale Disponible S8/66675 Livre Bibliothèque centrale Disponible S8/66676 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/2452 Livre Bibliothèque centrale Disponible S8/2453 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/2454 Livre Bibliothèque centrale Disponible S8/2455 Livre Bibliothèque centrale Disponible texte imprimé
This Classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new editi[...]Exemplaires (3)
Cote Support Localisation Disponibilité L8/23493 Livre Bibliothèque centrale Disponible L8/23494 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/23495 Livre Univ. Sétif 2 Transféré
Exclu du prêttexte imprimé
Cet Ouvrage correspond à un cours d’introduction à l’informatique théorique pour des étudiants de master. Il couvre aussi une grande partie du programme de l’option informatique de l’agrégation de mathématiques. Solidement structuré en chapit[...]Exemplaires (7)
Cote Support Localisation Disponibilité S8/75044 Livre Bibliothèque centrale Disponible S8/75045 Livre Bibliothèque centrale Disponible S8/75046 Livre Bibliothèque centrale Disponible S8/75047 Livre Bibliothèque centrale Disponible S8/75356 Livre Bibliothèque centrale Disponible S8/75357 Livre Bibliothèque centrale Disponible S8/75358 Livre Bibliothèque centrale Disponible texte imprimé
Ce Manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité. Le cours est complété par de nombreux exercices dont les corrigé[...]Exemplaires (5)
Cote Support Localisation Disponibilité S8/81959 Livre Bibliothèque centrale Disponible S8/81960 Livre Bibliothèque centrale Disponible S8/81961 Livre Bibliothèque centrale Disponible S8/81962 Livre Bibliothèque centrale Disponible S8/81963 Livre Bibliothèque centrale Disponible texte imprimé
The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/71971 Livre Bibliothèque centrale Disponible S8/71972 Livre Bibliothèque centrale Disponible S8/71973 Livre Bibliothèque centrale Disponible texte imprimé
Les nombreuses applications de la logique floue qui ont été réalisées dans le monde entier ont prouvé son efficacité pour résoudre divers types de problèmes dans lesquels les connaissances disponibles sont imparfaites. Cet ouvrage a été conçu [...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/53963 Livre Bibliothèque centrale Disponible S8/53964 Livre Bibliothèque centrale Disponible S8/53965 Livre Bibliothèque centrale Disponible texte imprimé
Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; Schwarzentruber, Auteur | Malakoff : Dunod | 2022Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux [...]NouveautéExemplaires (2)
Cote Support Localisation Disponibilité S8/90154 Livre Bibliothèque centrale Disponible S8/90155 Livre Bibliothèque centrale Disponible texte imprimé
Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont ét[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/78922 Livre Bibliothèque centrale Disponible S8/78923 Livre Bibliothèque centrale Disponible S8/78924 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/899 Livre Bibliothèque centrale Disponible S8/900 Livre Bibliothèque centrale Disponible texte imprimé
Jean Largeault, Editeur scientifique | Paris : A. Colin | Collection U. Série Épistémologie, ISSN 2265-6197 | 1972Exemplaires (2)
Cote Support Localisation Disponibilité S8/901 Livre Bibliothèque centrale Disponible S8/902 Livre Bibliothèque centrale Disponible texte imprimé
Issu d'un enseignement de logique dispensé en 2e et 3e. cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Ce premier tome expose successivement le calcul propositionnel, les algèbres de Boole, [...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/45135 Livre Bibliothèque centrale Disponible texte imprimé
Mettre les bases de la logique à la portée de tous, et plus particulièrement des non-mathématiciens, tel est l'objectif de ce manuel. Tout spécifiquement conçu pour les étudiants entretenant une relation conflictuelle avec les sciences, ou dé[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/86620 Livre Bibliothèque centrale Disponible S8/86621 Livre Bibliothèque centrale Disponible S8/86622 Livre Bibliothèque centrale Disponible texte imprimé
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira l[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/75124 Livre Bibliothèque centrale Disponible S8/75125 Livre Bibliothèque centrale Disponible S8/75126 Livre Bibliothèque centrale Disponible S8/75127 Livre Bibliothèque centrale Disponible
Accueil