Détail de l'indexation
511 Principes généraux des mathématiquesOuvrages de la bibliothèque en indexation 511.3
Ajouter le résultat dans votre panier Affiner la recherche
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êt
texte 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
Accueil
