Logique(s), langages formels et complexité pour l'informatique
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Hermes science publ. : Lavoisier,
cop. 2006.
|
| Collection: | Collection Informatique
Collection Informatique |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Résumé: | Analyse des bases théoriques de la logique et des fondements de l'informatique. L'auteur présente les outils de la logique formelle, le langage formel et la notion d'automate, ainsi que les limites de l'informatique. Avec 70 exercices corrigés qui illustrent les démonstrations mathématiques. ↑Electre 2022 |
BU Sciences
| Localisation | Cote | Statut | |
|---|---|---|---|
|
|
Libre accès | 511.302 JUS (A) | Disponible |
|
|
Libre accès | 511.302 JUS (B) | Disponible |