Détail de l'indexation
511.322 Ouvrages de la bibliothèque en indexation 511.3 (3)
Suggerer acquisition Affiner la recherche
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'[...]
