Sur l’utilité de la logique algorithmique
Avant d’entrer dans mon sujet, je demande la permission de dire deux mots sur le nom même de la Logique algorithmique. Je préfère ce nom à celui de Logique symbolique, qui attache trop d’importance au fait secondaire et superficiel que cette doctrine emploie des symboles ; à celui d’Algèbre de la Lo...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Chapter |
| Idioma: | Francês |
| Publicat: |
ENS Éditions
2018
|
| Accés en línia: | https://doi.org/10.4000/books.enseditions.8019 https://hdl.handle.net/20.500.13089/2vzo https://books.openedition.org/enseditions/8019 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|