Détail de l'indexation
511.3
: Logique mathématique
|
Ouvrages de la bibliothèque en indexation 511.3
Ajouter le résultat dans votre panier Affiner la recherche
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)
|
S8/51750 | Livre | Bibliothèque centrale | Disponible |
S8/51751 | Livre | Bibliothèque centrale | Disponible |
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)
|
S8/90560 | Livre | Bibliothèque centrale | Exclu du prêt Exclu du prêt |
S8/90561 | Livre | Bibliothèque centrale | Exclu du prêt Exclu du prêt |
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)
|
S4/25000 | Livre | Bibliothèque centrale | Disponible |
S4/25001 | Livre | Bibliothèque centrale | Disponible |
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)
|
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 |
This 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)
|
S8/58354 | Livre | Bibliothèque centrale | Disponible |
S8/58355 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (2)
|
S8/895 | Livre | Bibliothèque centrale | Disponible |
S8/896 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (1)
|
S8/32465 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (4)
|
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 |
Exemplaires (5)
|
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 |
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)
|
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 |
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)
|
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 |
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)
|
S8/51521 | Livre | Bibliothèque centrale | Disponible |
S8/51522 | Livre | Bibliothèque centrale | Disponible |
Cet 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)
|
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 |
Une 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[...]
Nouveauté
Exemplaires (2)
|
S8/89059 | Livre | Bibliothèque centrale | Disponible |
S8/89060 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (2)
|
S8/1874 | Livre | Bibliothèque centrale | Disponible |
S8/1875 | Livre | Bibliothèque centrale | Disponible |
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)
|
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 |
Exemplaires (2)
|
S8/2452 | Livre | Bibliothèque centrale | Disponible |
S8/2453 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (2)
|
S8/2454 | Livre | Bibliothèque centrale | Disponible |
S8/2455 | Livre | Bibliothèque centrale | Disponible |
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)
|
L8/23493 | Livre | Bibliothèque centrale | Disponible |
L8/23494 | Livre | Univ. Sétif 2 | Transféré Exclu du prêt |
L8/23495 | Livre | Univ. Sétif 2 | Transféré Exclu du prêt |
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)
|
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 |
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)
|
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 |
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)
|
S8/71971 | Livre | Bibliothèque centrale | Disponible |
S8/71972 | Livre | Bibliothèque centrale | Disponible |
S8/71973 | Livre | Bibliothèque centrale | Disponible |
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)
|
S8/53963 | Livre | Bibliothèque centrale | Disponible |
S8/53964 | Livre | Bibliothèque centrale | Disponible |
S8/53965 | Livre | Bibliothèque centrale | Disponible |
Cet 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)
|
S8/90154 | Livre | Bibliothèque centrale | Disponible |
S8/90155 | Livre | Bibliothèque centrale | Disponible |
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)
|
S8/78922 | Livre | Bibliothèque centrale | Disponible |
S8/78923 | Livre | Bibliothèque centrale | Disponible |
S8/78924 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (2)
|
S8/899 | Livre | Bibliothèque centrale | Disponible |
S8/900 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (2)
|
S8/901 | Livre | Bibliothèque centrale | Disponible |
S8/902 | Livre | Bibliothèque centrale | Disponible |
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)
|
S8/45135 | Livre | Bibliothèque centrale | Disponible |
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)
|
S8/86620 | Livre | Bibliothèque centrale | Disponible |
S8/86621 | Livre | Bibliothèque centrale | Disponible |
S8/86622 | Livre | Bibliothèque centrale | Disponible |
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)
|
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 |
Cet Ouvrage se propose d’apporter a l’étudiant en logique mathématique un support de cours et un recueil d’exercices qui lui permettront d’acquérir les bases du raisonnement logique en termes de représentation de la connaissance et en termes d[...]
Exemplaires (4)
|
S8/85055 | Livre | Bibliothèque centrale | Disponible |
S8/85056 | Livre | Bibliothèque centrale | Disponible |
S8/85057 | Livre | Bibliothèque centrale | Disponible |
S8/85058 | Livre | Bibliothèque centrale | Disponible |
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. Il nous emmè[...]
Exemplaires (4)
|
S8/73964 | Livre | Bibliothèque centrale | Disponible |
S8/73965 | Livre | Bibliothèque centrale | Disponible |
S8/73966 | Livre | Bibliothèque centrale | Disponible |
S8/73967 | Livre | Bibliothèque centrale | Disponible |
Exemplaires (4)
|
S4/182 | Livre | Bibliothèque centrale | Disponible |
S4/183 | Livre | Bibliothèque centrale | Disponible |
S4/8764 | Livre | Bibliothèque centrale | Disponible |
S4/8765 | Livre | Bibliothèque centrale | Disponible |
Non, la théorie des ensembles, ce n'est pas dessiner des patates et des flèches... c'est élaborer en une théorie mathématique notre exploration de l'infini, ni plus, ni moins. Non, la théorie des ensembles n'est pas le système fondationnel uni[...]
Exemplaires (3)
|
S8/87047 | Livre | Bibliothèque centrale | Disponible |
S8/87048 | Livre | Bibliothèque centrale | Disponible |
S8/87049 | Livre | Bibliothèque centrale | Disponible |
Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique.
La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathématique de l'infini. À ce t[...]
Nouveauté
Exemplaires (2)
|
S8/90340 | Livre | Bibliothèque centrale | Disponible |
S8/90341 | Livre | Bibliothèque centrale | Disponible |
Accueil