Un ordinateur pourra-t-il répondre à cette question ?
Zapisane w:
| Wydane w: | La Recherche No 449 |
|---|---|
| 1. autor: | |
| Format: | Article de revue |
| Wydane: |
2011.
|
| Hasła przedmiotowe: | |
| Streszczenie: | Pour vérifier que des systèmes informatiques fonctionneront comme prévu, on ne peut pas tester leur nombre infini de configurations. Les informaticiens ont alors recours à la logique. |
| Podobne zapisy: | Zawarte w:
La Recherche |
| Streszczenie: | Pour vérifier que des systèmes informatiques fonctionneront comme prévu, on ne peut pas tester leur nombre infini de configurations. Les informaticiens ont alors recours à la logique. |
|---|---|
| Opis fizyczny: | p. 18-19. |