Détail de l'indexation
Ouvrages de la bibliothèque en indexation 511
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
texte imprimé
La Logique arithmétique est la logique interne de l’arithmétique, c’est la traduction ou l’interprétation de la logique formelle dans le langage de l’arithmétique. Cette arithmétique n’est pas l’arithmétique formelle de Frege et Peano, mais l’[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/79070 Livre Bibliothèque centrale Disponible S8/79071 Livre Bibliothèque centrale Disponible S8/79072 Livre Bibliothèque centrale Disponible S8/79073 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité S8/38681 كتاب Bibliothèque centrale Disponible S8/38682 كتاب Bibliothèque centrale Disponible S8/38683 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/51514 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires
Cote Support Localisation Disponibilité aucun exemplaire ![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/20143 كتاب Bibliothèque centrale Disponible S8/20144 كتاب Bibliothèque centrale Disponible S8/20145 كتاب Bibliothèque centrale Disponible S8/20146 كتاب Bibliothèque centrale Disponible S8/20147 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (10)
Cote Support Localisation Disponibilité S8/23298 كتاب Bibliothèque centrale Disponible S8/23299 كتاب Bibliothèque centrale Disponible S8/23300 كتاب Bibliothèque centrale Disponible S8/23301 كتاب Bibliothèque centrale Disponible S8/23302 كتاب Bibliothèque centrale Disponible S8/23303 كتاب Bibliothèque centrale Disponible S8/23304 كتاب Bibliothèque centrale Disponible S8/23305 كتاب Bibliothèque centrale Disponible S8/23306 كتاب Bibliothèque centrale Disponible S8/23307 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/4047 كتاب Bibliothèque centrale Disponible S8/4048 كتاب Bibliothèque centrale Disponible S8/4049 كتاب Bibliothèque centrale Disponible S8/4050 كتاب Bibliothèque centrale Disponible S8/4051 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63936 Livre Bibliothèque centrale Disponible S8/63937 Livre Bibliothèque centrale Disponible S8/63938 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/63936-63941 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63939 Livre Bibliothèque centrale Disponible S8/63940 Livre Bibliothèque centrale Disponible S8/63941 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. Après avoir exposé dans le premier tome le calcul propositionnel, les algèbres de Boole,[...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/45136 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Ce Livre présente la logique sous un aspect original en s'attachant à en faire d'abord comprendre l'intérêt et la méthode. Le lien entre logique et raisonnement est ainsi constamment présent, les erreurs classiques de raisonnement analysées, e[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/79847 Livre Bibliothèque centrale Disponible S8/79848 Livre Bibliothèque centrale Disponible S8/79849 Livre Bibliothèque centrale Disponible S8/79850 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S4/17284 كتاب Bibliothèque centrale Disponible S4/17285 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Les Systèmes de lois de conservation non linéaires modélisent les écoulements compressibles et incompressibles dans des domaines extrêmement variés tels que l'aéronautique, l'hydrodynamique, la physique des plasmas, la combustion, le trafic rout[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/78176 Livre Bibliothèque centrale Disponible S8/78177 Livre Bibliothèque centrale Disponible S8/78178 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S4/774 كتاب Bibliothèque centrale Disponible S4/775 كتاب Bibliothèque centrale Disponible S4/776 كتاب Bibliothèque centrale Disponible S4/777 كتاب Bibliothèque centrale Disponible S4/778 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
This text is about MATLAB. If you use MATLAB or are considering using it, this book is for you. This text represents an alternative to learning MATLAB on your own with or without the help of the documentation that comes with the software. The [...]Exemplaires (2)
Cote Support Localisation Disponibilité S8/59739 Livre Bibliothèque centrale Disponible S8/59740 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/61241 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (30)
Cote Support Localisation Disponibilité S8/38117 Livre Bibliothèque centrale Disponible S8/38118 Livre Bibliothèque centrale Disponible S8/38119 Livre Bibliothèque centrale Disponible S8/38120 Livre Bibliothèque centrale Disponible S8/38121 Livre Bibliothèque centrale Disponible S8/38122 Livre Bibliothèque centrale Disponible S8/38123 Livre Bibliothèque centrale Disponible S8/38124 Livre Bibliothèque centrale Disponible S8/38125 Livre Bibliothèque centrale Disponible S8/38126 Livre Bibliothèque centrale Disponible S8/38127 Livre Bibliothèque centrale Disponible S8/38128 Livre Bibliothèque centrale Disponible S8/38129 Livre Bibliothèque centrale Disponible S8/38130 Livre Bibliothèque centrale Disponible S8/38131 Livre Bibliothèque centrale Disponible S8/38132 Livre Bibliothèque centrale Disponible S8/38133 Livre Bibliothèque centrale Disponible S8/38134 Livre Bibliothèque centrale Disponible S8/38135 Livre Bibliothèque centrale Disponible S8/38136 Livre Bibliothèque centrale Disponible S8/38137 Livre Bibliothèque centrale Disponible S8/38138 Livre Bibliothèque centrale Disponible S8/38139 Livre Bibliothèque centrale Disponible S8/38140 Livre Bibliothèque centrale Disponible S8/38141 Livre Bibliothèque centrale Disponible S8/38142 Livre Bibliothèque centrale Disponible S8/38143 Livre Bibliothèque centrale Disponible S8/38144 Livre Bibliothèque centrale Disponible S8/38115 Livre Institut d''informatique Transféré
Exclu du prêtS8/38116 Livre Institut d''informatique Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/28951 كتاب Bibliothèque centrale Disponible S8/28952 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité D8/1207 كتاب Faculté des sciences économiques Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (4)
Cote Support Localisation Disponibilité S8/24219 كتاب Bibliothèque centrale Disponible S8/24220 كتاب Bibliothèque centrale Disponible S8/24221 كتاب Bibliothèque centrale Disponible S8/24222 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/26749 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/26843 كتاب Institut d''électronique Transféré
Exclu du prêt![]()
texte imprimé
Méthodes numériques et optimisation présente l'essentiel des méthodes numériques et de l'optimisation sous l'angle théorique et pratique. Pour la première fois, ces deux domaines sont rassemblés dans un même ouvrage : l'ingénieur doit en effet[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/78215 Livre Bibliothèque centrale Disponible S8/78216 Livre Bibliothèque centrale Disponible S8/78217 Livre Bibliothèque centrale Disponible S8/78218 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/57151 Livre Bibliothèque centrale Disponible S8/57152 Livre Bibliothèque centrale Disponible
![](./images/home.jpg)