![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Résultat de la recherche
2 recherche sur le mot-clé
'logique symbolique et mathématique' ![Ne pas surligner les mots recherchés Ne pas surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
-Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.![]()
texte imprimé
Jacques Zahnd, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Informatique | 2003L'informaticien doit savoir raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce manuel enseigne les techniques de bases pour effectuer ces raisonnements en appliquant des règles pr[...]