Código QR

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...

Descrición completa

Gardado en:
Detalles Bibliográficos
Principais autores: Couturat, Louis, Fichant, Michel
Formato: Chapter
Idioma:Francês
Publicado: ENS Éditions 2018
Acceso en liña:https://doi.org/10.4000/books.enseditions.8019
https://hdl.handle.net/20.500.13089/2vzo
https://books.openedition.org/enseditions/8019
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!