oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update

Browse Source
This commit is contained in:
Oscar Plaisant
2024-04-02 01:36:10 +02:00
parent cf5437c612
commit 5521650337
38 changed files with 7751 additions and 949 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
sources/zotero/LogiqueCombinatoire2023.md Normal file
View File

@@ -0,0 +1,14 @@
---
zotero-key: 9RYAKXF2g5383243
zt-attachments:
- "266"
citekey: LogiqueCombinatoire2023
---
up:: [[zotero literature notes]]
link:: [Zotero](zotero://select/groups/5383243/items/9RYAKXF2) [attachment](file:///Users/oscarplaisant/Zotero/storage/5ZRIGAB3/Logique_combinatoire.html)
#pkm #zotero
> [!cite]+ [Logique combinatoire](zotero://select/groups/5383243/items/9RYAKXF2) - [Page ](zotero://open-pdf/groups/5383243/items/5ZRIGAB3?annotation=6UG45AG4)
> En logique mathématique, la logique combinatoire est une théorie logique[1] introduite par Moses Schönfinkel[2] en 1920 lors d'une conférence[Laquelle ?] et développée dès 1929 par Haskell Brooks Curry[3] pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels.
> ^6UG45AG4a5ZRIGAB3g5383243