Détail de l'indexation
Ouvrages de la bibliothèque en indexation 511.3
texte imprimé
The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. This [...]Exemplaires (2)
Cote Support Localisation Disponibilité S8/51750 Livre Bibliothèque centrale Disponible S8/51751 Livre Bibliothèque centrale Disponible texte imprimé
The textbook covers the most popular transforms used in electrical engineering along with the mathematical foundations of the transforms, uniquely bringing together the two in a single text. Geared towards an upper-undergraduate or graduate-l[...]NouveautéExemplaires (2)
Cote Support Localisation Disponibilité S8/90560 Livre Bibliothèque centrale Exclu du prêt
Exclu du prêtS8/90561 Livre Bibliothèque centrale Exclu du prêt
Exclu du prêttexte imprimé
Un Calcul logique, au sens large, est une méthode de résolution appliquée au traitement d'une structure propositionnelle. Les propositions constituant cette structure peuvent aussi bien être des expressions d'une langue naturelle (comme le fra[...]Exemplaires (2)
Cote Support Localisation Disponibilité S4/25000 Livre Bibliothèque centrale Disponible S4/25001 Livre Bibliothèque centrale Disponible texte imprimé
Ce Livre est à la fois un cours de logique (théorie de la démonstration) et d'épistémologie des "fondements". il s'adresse aussi bien aux mathématiciens qu'aux informaticiens, aux philosophes qu'aux physiciens et aux linguistes. Le Premier tom[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/77507 Livre Bibliothèque centrale Disponible S8/77508 Livre Bibliothèque centrale Disponible S8/77509 Livre Bibliothèque centrale Disponible S8/77510 Livre Bibliothèque centrale Disponible texte imprimé
Peter Bûrgisser, Auteur | Berlin : Springer-Verlag | Algorithms and computation in Mathematics | 2000This is a thorough and comprehensive treatment of the theory of NP-completeness in the framework of algebraic complexity theory. Coverage includes Valiant's algebraic theory of NP-completeness; interrelations with the classical theory as well [...]Exemplaires (2)
Cote Support Localisation Disponibilité S8/58354 Livre Bibliothèque centrale Disponible S8/58355 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/895 Livre Bibliothèque centrale Disponible S8/896 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/32465 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (4)
Cote Support Localisation Disponibilité S8/1196 Livre Bibliothèque centrale Disponible S8/1712 Livre Bibliothèque centrale Disponible S8/32474 Livre Bibliothèque centrale Disponible S8/897 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/1194 Livre Bibliothèque centrale Disponible S8/1195 Livre Bibliothèque centrale Disponible S8/1718 Livre Bibliothèque centrale Disponible S8/1739 Livre Bibliothèque centrale Disponible S8/32473 Livre Bibliothèque centrale Disponible texte imprimé
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécid[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/77297 Livre Bibliothèque centrale Disponible S8/77298 Livre Bibliothèque centrale Disponible S8/77299 Livre Bibliothèque centrale Disponible S8/77300 Livre Bibliothèque centrale Disponible texte imprimé
Les Démonstrations mathématiques Cours complet avec 127 exercices résolus Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toute[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/84483 Livre Bibliothèque centrale Disponible S8/84484 Livre Bibliothèque centrale Disponible S8/84485 Livre Bibliothèque centrale Disponible S8/84486 Livre Bibliothèque centrale Disponible texte imprimé
Cet ouvrage qui s'adresse tant à l'étudiant qu'à "l'honnête homme", présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapi[...]Exemplaires (2)
Cote Support Localisation Disponibilité S8/51521 Livre Bibliothèque centrale Disponible S8/51522 Livre Bibliothèque centrale Disponible texte imprimé
Bertrand Cintract ; Jean-Jacques Colin ; Rémi Movan | Toulouse : Cépaduès éd. | Bien débuter en mathématiques | 2009Cet Ouvrage s'adresse essentiellement aux étudiants de L1 à l'Université, et aux étudiants de première année des Classes Préparatoires aux Grandes Écoles. Les Questions abordées sont en général celles qui sont enseignées en début d'année : ru[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/79979 Livre Bibliothèque centrale Disponible S8/79980 Livre Bibliothèque centrale Disponible S8/79981 Livre Bibliothèque centrale Disponible S8/79982 Livre Bibliothèque centrale Disponible texte imprimé
Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur | Louvain-la-Neuve : De Boeck supérieur | Démarches de pensée, ISSN 1379-5287 | 2014Une introduction pratique et didactique à la logique formelle. Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédi[...]Exemplaires (2)
Cote Support Localisation Disponibilité S8/89059 Livre Bibliothèque centrale Disponible S8/89060 Livre Bibliothèque centrale Disponible texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/1874 Livre Bibliothèque centrale Disponible S8/1875 Livre Bibliothèque centrale Disponible 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