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...
Kaydedildi:
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Chapter |
| Dil: | Francês |
| Baskı/Yayın Bilgisi: |
ENS Éditions
2018
|
| Online Erişim: | https://doi.org/10.4000/books.enseditions.8019 https://hdl.handle.net/20.500.13089/2vzo https://books.openedition.org/enseditions/8019 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|