Détail de l'indexation
511.1 Ouvrages de la bibliothèque en indexation 511.3 (7)
Suggerer acquisition Affiner la recherche
Monographie imprimée
Dans cet ouvrage lauteur fait part de son expérience pédagogique dans lénseignement de lalgorithmique et des structures de données avoncées pour des étudiants en maitrise informatique ainsi qu aux étudiants en cycle dingénieur
Monographie imprimée
Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux c[...]
Monographie imprimée
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é[...]![Logique et algèbre de structures mathématiques modales Θ[Thêta]-valentes chrysippiennes](https://documentation.univ-biskra.dz/bibsenv/opac_css/getimage.php?url_image=https%3A%2F%2Fdocumentation.univ-biskra.dz%2Fbibsenv%2Fphotos%2Fcouvertures%2F%21%21isbn%21%21.jpg%3Bhttp%3A%2F%2Fimages-eu.amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg%0A%0A%0A¬icecode=9782705669478&entity_id=4910&vigurl=https%3A%2F%2Fservimg.eyrolles.com%2Fstatic%2Fmedia%2F9478%2F9782705669478_internet_w290.jpg)
Monographie imprimée
Fidèle Ayissi Etémé, Auteur | Paris : Hermann | Mathématiques discrètes, ISSN 2104-9815 | impr. 2009L'ouvrage Logique et Algèbre de Structures Mathématiques modales thêta-valentes chrysippiennes est l'aboutissement d'un projet utopique qui prend corps en 1982 à Lyon. L'ouvrage propose une alternative à un héritage scientifique colossal de l'[...]
Monographie imprimée
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'[...]
Monographie imprimée
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris [France] : Dunod | Sciences sup, ISSN 1636-2217 | 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[...]
Monographie imprimée
L'objectif de cet ouvrage est de donner des clés pour produire plus simplement du code efficace, robuste et évolutif. Dans ce but, les trois parties de l'ouvrage jalonnent une progression par étapes : maîtriser les aspects essentiels mais ardus [...]
