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...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Chapter |
| Idioma: | Francês |
| Publicado em: |
ENS Éditions
2018
|
| Acesso em linha: | https://doi.org/10.4000/books.enseditions.8019 https://hdl.handle.net/20.500.13089/2vzo https://books.openedition.org/enseditions/8019 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|