diff --git a/.obsidian/app.json b/.obsidian/app.json index e8f2987a..36e216b2 100644 --- a/.obsidian/app.json +++ b/.obsidian/app.json @@ -39,5 +39,6 @@ "showInlineTitle": true, "spellcheckDictionary": [ "zettelkasten" - ] + ], + "propertiesInDocument": "hidden" } \ No newline at end of file diff --git a/.obsidian/appearance.json b/.obsidian/appearance.json index b4135cb0..e428744d 100644 --- a/.obsidian/appearance.json +++ b/.obsidian/appearance.json @@ -1,7 +1,7 @@ { "theme": "system", "cssTheme": "Minimal", - "baseFontSize": 16, + "baseFontSize": 18, "enabledCssSnippets": [ "pdf_darkmode", "query_header_title", diff --git a/.obsidian/community-plugins.json b/.obsidian/community-plugins.json index 75474fcc..56288178 100644 --- a/.obsidian/community-plugins.json +++ b/.obsidian/community-plugins.json @@ -38,5 +38,6 @@ "obsidian-vimrc-support", "obsidian-zoom", "zotlit", - "obsidian-style-settings" + "obsidian-style-settings", + "obsidian-hider" ] \ No newline at end of file diff --git a/.obsidian/plugins/obsidian-hider/data.json b/.obsidian/plugins/obsidian-hider/data.json index 1fdc0222..4c9aa435 100644 --- a/.obsidian/plugins/obsidian-hider/data.json +++ b/.obsidian/plugins/obsidian-hider/data.json @@ -3,12 +3,14 @@ "hideStatus": false, "hideTabs": false, "hideScroll": true, - "hideSidebarButtons": false, + "hideSidebarButtons": true, "hideTooltips": false, + "hideFileNavButtons": false, "hideSearchSuggestions": false, "hideSearchCounts": false, "hideInstructions": false, - "hideMeta": false, + "hidePropertiesReading": false, "hideVault": false, + "hideMeta": false, "frameless": false } \ No newline at end of file diff --git a/.obsidian/plugins/obsidian-minimal-settings/data.json b/.obsidian/plugins/obsidian-minimal-settings/data.json index 3586fd2b..79f042de 100644 --- a/.obsidian/plugins/obsidian-minimal-settings/data.json +++ b/.obsidian/plugins/obsidian-minimal-settings/data.json @@ -8,7 +8,7 @@ "lineWidth": 40, "lineWidthWide": 5000, "maxWidth": 98, - "textNormal": 16, + "textNormal": 18, "textSmall": 13, "imgGrid": false, "imgWidth": "img-default-width", diff --git a/.obsidian/plugins/obsidian-spaced-repetition/data.json b/.obsidian/plugins/obsidian-spaced-repetition/data.json index 8006ba95..30cebc27 100644 --- a/.obsidian/plugins/obsidian-spaced-repetition/data.json +++ b/.obsidian/plugins/obsidian-spaced-repetition/data.json @@ -43,7 +43,7 @@ "singlelineCardSeparator": "::", "singlelineReversedCardSeparator": ":::" }, - "buryDate": "2024-03-28", + "buryDate": "2024-03-29", "buryList": [], "historyDeck": "" } \ No newline at end of file diff --git a/.obsidian/plugins/various-complements/histories.json b/.obsidian/plugins/various-complements/histories.json index 37f51a4d..9179d73c 100644 --- a/.obsidian/plugins/various-complements/histories.json +++ b/.obsidian/plugins/various-complements/histories.json @@ -1 +1 @@ -{"matrice hessienne":{"matrice hessienne":{"internalLink":{"count":2,"lastUpdated":1710324879177}}},"fonction de plusieurs variables":{"fonction de plusieurs variables":{"internalLink":{"count":1,"lastUpdated":1709121880741}}},"manim Ellipse":{"manim Ellipse":{"internalLink":{"count":1,"lastUpdated":1709296590359}}},"baptême":{"baptême":{"internalLink":{"count":5,"lastUpdated":1709864270370}}},"gradient":{"gradient":{"internalLink":{"count":1,"lastUpdated":1710325461961}}},"obsidian plugin tag and wordcloud":{"obsidian plugin tag and wordcloud":{"internalLink":{"count":1,"lastUpdated":1710345237714}}},"intersection de sous groupes":{"intersection de sous groupes":{"internalLink":{"count":1,"lastUpdated":1710465530327}}},"valeurs":{"valeurs":{"internalLink":{"count":1,"lastUpdated":1711459246780}}},"Learning APL":{"Learning APL":{"internalLink":{"count":1,"lastUpdated":1711584419388}}},"structure de donnés":{"structure de donnés":{"internalLink":{"count":1,"lastUpdated":1711621251914}}},"paramètre":{"paramètre":{"internalLink":{"count":1,"lastUpdated":1711621492446}}},"langage de programmation":{"langage de programmation":{"internalLink":{"count":1,"lastUpdated":1711621841863}}},"argument d'une fonction":{"argument d'une fonction":{"internalLink":{"count":1,"lastUpdated":1711624010397}}},"argument":{"argument":{"internalLink":{"count":2,"lastUpdated":1711624133731}}},"techniques de pkm":{"techniques de pkm":{"internalLink":{"count":1,"lastUpdated":1711627281333}}},"paradigme de programmation":{"paradigme de programmation":{"internalLink":{"count":4,"lastUpdated":1711630003462}}},"état":{"état":{"internalLink":{"count":1,"lastUpdated":1711628232311}}},"structure de données":{"structure de données":{"internalLink":{"count":1,"lastUpdated":1711643699590}}},"structures de données":{"structures de données":{"internalLink":{"count":1,"lastUpdated":1711644884793}}}} \ No newline at end of file +{"matrice hessienne":{"matrice hessienne":{"internalLink":{"count":2,"lastUpdated":1710324879177}}},"fonction de plusieurs variables":{"fonction de plusieurs variables":{"internalLink":{"count":1,"lastUpdated":1709121880741}}},"manim Ellipse":{"manim Ellipse":{"internalLink":{"count":1,"lastUpdated":1709296590359}}},"baptême":{"baptême":{"internalLink":{"count":5,"lastUpdated":1709864270370}}},"gradient":{"gradient":{"internalLink":{"count":1,"lastUpdated":1710325461961}}},"obsidian plugin tag and wordcloud":{"obsidian plugin tag and wordcloud":{"internalLink":{"count":1,"lastUpdated":1710345237714}}},"intersection de sous groupes":{"intersection de sous groupes":{"internalLink":{"count":1,"lastUpdated":1710465530327}}},"valeurs":{"valeurs":{"internalLink":{"count":1,"lastUpdated":1711459246780}}},"Learning APL":{"Learning APL":{"internalLink":{"count":1,"lastUpdated":1711584419388}}},"structure de donnés":{"structure de donnés":{"internalLink":{"count":1,"lastUpdated":1711621251914}}},"paramètre":{"paramètre":{"internalLink":{"count":1,"lastUpdated":1711621492446}}},"langage de programmation":{"langage de programmation":{"internalLink":{"count":1,"lastUpdated":1711621841863}}},"argument d'une fonction":{"argument d'une fonction":{"internalLink":{"count":1,"lastUpdated":1711624010397}}},"argument":{"argument":{"internalLink":{"count":2,"lastUpdated":1711624133731}}},"techniques de pkm":{"techniques de pkm":{"internalLink":{"count":1,"lastUpdated":1711627281333}}},"paradigme de programmation":{"paradigme de programmation":{"internalLink":{"count":5,"lastUpdated":1711667940041}}},"état":{"état":{"internalLink":{"count":1,"lastUpdated":1711628232311}}},"structure de données":{"structure de données":{"internalLink":{"count":1,"lastUpdated":1711643699590}}},"structures de données":{"structures de données":{"internalLink":{"count":1,"lastUpdated":1711644884793}}},"enregistrement":{"enregistrement":{"internalLink":{"count":1,"lastUpdated":1711668283936}}}} \ No newline at end of file diff --git a/.obsidian/plugins/zotlit/data.json b/.obsidian/plugins/zotlit/data.json index c19fb5c2..ecf4c2d5 100644 --- a/.obsidian/plugins/zotlit/data.json +++ b/.obsidian/plugins/zotlit/data.json @@ -12,7 +12,7 @@ "filename": "<%= it.citekey ?? it.DOI ?? it.title ?? it.key %>.md" } }, - "updateAnnotBlock": false, + "updateAnnotBlock": true, "updateOverwrite": true, "autoPairEta": false, "autoTrim": [ diff --git a/.obsidian/snippets/breadcrumbs.css b/.obsidian/snippets/breadcrumbs.css index e5ba4100..336224c6 100644 --- a/.obsidian/snippets/breadcrumbs.css +++ b/.obsidian/snippets/breadcrumbs.css @@ -1,17 +1,17 @@ -/* BreadCrumbs top trail view */ -/* view at the top of each file */ -.BC-trail { - font-size: 20px; - width:10%; - /* make the height limited, but the content still visible with scrolling */ - max-height: 15vh; - overflow: scroll; -} +/* /1* BreadCrumbs top trail view *1/ */ +/* /1* view at the top of each file *1/ */ +/* .BC-trail { */ +/* font-size: 20px; */ +/* width:10%; */ +/* /1* make the height limited, but the content still visible with scrolling *1/ */ +/* max-height: 15vh; */ +/* overflow: scroll; */ +/* } */ -.BC-trail::after { - content: "\a"; -} +/* .BC-trail::after { */ +/* content: "\a"; */ +/* } */ /* BreadCrumbs down pane (nested list of subconcepts) */ .BC-downs { @@ -21,6 +21,12 @@ .BC-Matrix { font-size: 70% !important; + /* overflow: scroll; */ + /* height:min-content; */ +} + +.BC-Matrix { + padding-bottom: 100pt !important; } diff --git a/.obsidian/snippets/custom_callouts.css b/.obsidian/snippets/custom_callouts.css index ce732f20..87ea75d5 100644 --- a/.obsidian/snippets/custom_callouts.css +++ b/.obsidian/snippets/custom_callouts.css @@ -4,7 +4,7 @@ /* ┗━┛┗━╸ ╹ ╹ ┗━╸╹┗╸ ╹ ╹╹ ╹╹┗╸┗━┛╹╹ ╹┗━┛ */ .callout { /* padding: 5px; */ - --callout-padding: var(--size-4-2) var(--size-4-3) var(--size-4-1) var(--size-4-4); + --callout-padding: var(--size-4-1) var(--size-4-3) var(--size-4-1) var(--size-4-1); } .callout-content > p, diff --git a/.obsidian/workspace-mobile.json b/.obsidian/workspace-mobile.json index 1dfa35ae..c2736033 100644 --- a/.obsidian/workspace-mobile.json +++ b/.obsidian/workspace-mobile.json @@ -125,6 +125,8 @@ }, "active": "b081ab95db211693", "lastOpenFiles": [ + "daily/2023-11-15.md", + "daily/2023-08-27.md", "cours/RSS", "cours/images", "cours/Work Breakdown Structure.md", @@ -153,7 +155,6 @@ "cours/fonction négligeable.md", "cours/hystérésis.md", "cours/fonction paire.md", - "cours", - "cours/les mythes du capitalisme.md" + "cours" ] } \ No newline at end of file diff --git a/.trash/Untitled 2 2.md b/.trash/Untitled 2 2.md new file mode 100644 index 00000000..e69de29b diff --git a/.trash/Untitled 2 3.md b/.trash/Untitled 2 3.md new file mode 100644 index 00000000..e69de29b diff --git a/.trash/Untitled 2.md b/.trash/Untitled 2.md new file mode 100644 index 00000000..e69de29b diff --git a/.trash/obsidian-callouts.md b/.trash/obsidian-callouts.md new file mode 100644 index 00000000..e69de29b diff --git a/ENCODE framework.md b/ENCODE framework.md index 06320619..6b11de9c 100644 --- a/ENCODE framework.md +++ b/ENCODE framework.md @@ -3,8 +3,7 @@ alias: [ "ENCODE", "framework ENCOE" ] --- up::[[prise de notes]] #PKM #review - ----- + Input $\downarrow$ diff --git a/Remplissage du plan de L3.md b/Remplissage du plan de L3.md index 9191ce68..e884103d 100644 --- a/Remplissage du plan de L3.md +++ b/Remplissage du plan de L3.md @@ -38,7 +38,7 @@ up:: [[plan du mémoire de L3]] Tous les paradigmes sont équivalent puisqu'ils sont tous turing-complets ### Au sens commun # Paradigmes dans l'apprentissages -## avantage de la diversité +## avantages de la diversité ## problèmes de la diversité # Paradigmes pour la résolution de problèmes ## diversité des approches diff --git a/capture only what is important.md b/capture only what is important.md index 8257e5a7..f015888e 100644 --- a/capture only what is important.md +++ b/capture only what is important.md @@ -2,7 +2,6 @@ up:: [[prise de notes]] title::"what and how to capture ideas" #PKM ---- - **do not** capture _everything interesting - but how to select what to choose ? @@ -16,3 +15,4 @@ title::"what and how to capture ideas" - capture _original things_ - things that you have not seen elsewhere +- [[3 passoires de socrate]] \ No newline at end of file diff --git a/fonction pure.md b/fonction pure.md index a231989b..fe00a814 100644 --- a/fonction pure.md +++ b/fonction pure.md @@ -6,4 +6,11 @@ up:: [[programmation.fonction|fonction]] > En particulier : > - Elle ne peut pas modifier autre chose que son champ local (qui doit mourir en même temps que la dite fonction) > - Elle ne peut pas [[programmation.modification des paramètres]] -^definition \ No newline at end of file +^definition + + +> [!cite]- [What Is Functional Programming?](zotero://select/groups/5383243/items/TLUTFXJ8) - [Page ](zotero://open-pdf/groups/5383243/items/8P4TX53J?annotation=S979DXY2) +> A function is called 'pure' if all its inputs are declared as +> inputs - none of them are hidden - and likewise all its outputs are +> declared as outputs. +> ^S979DXY2a8P4TX53Jg5383243 diff --git a/obsidian callouts.md b/obsidian callouts.md index 7fbd0de4..bcf8080f 100644 --- a/obsidian callouts.md +++ b/obsidian callouts.md @@ -46,11 +46,12 @@ Il existe 12 types par défaut : - example - quote, cite -### Examples +### Exemples -#### Default types -here are the default types : +#### Callouts natifs +Voici les types de callout natifs à obsidian : + > [!note]- note > lorem ipsum dolor sit amet diff --git a/obsidian syntaxe.md b/obsidian syntaxe.md index 801625e0..abd304ea 100644 --- a/obsidian syntaxe.md +++ b/obsidian syntaxe.md @@ -76,7 +76,7 @@ donne : > [!note] callouts > les callouts permettent faire des boîtes pour grouper visuellement du contenu. > Il est aussi possible de faire des boîtes pliables -> Voir : [[obsidian callouts](obsidian-callouts.md)] +> Voir : [[obsidian callouts]] > [!example]- Liste des callouts possibles > ![[obsidian callouts#Types de callouts]] diff --git a/paradigme programmation fonctionnelle.md b/paradigme programmation fonctionnelle.md new file mode 100644 index 00000000..e55e0dac --- /dev/null +++ b/paradigme programmation fonctionnelle.md @@ -0,0 +1,20 @@ +up:: [[paradigme de programmation|paradigme]] +#informatique + +> [!definition] programmation fonctionnelle +> +^definition + +# Définitions + +> [!cite]+ [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=8L7P34B2) +> In functional programming, control flow is expressed by combining function calls, rather than by assigning values to variables: +> ^8L7P34B2aLQGLTH3Dg5383243 + +> [!cite]+ [What Is Functional Programming?](zotero://select/groups/5383243/items/TLUTFXJ8) - [Page ](zotero://open-pdf/groups/5383243/items/8P4TX53J?annotation=IU2KWY7L) +> Functional programming is about writing pure functions, about removing +> hidden inputs and outputs as far as we can, so that as much of our +> code as possible just describes a relationship between inputs and +> outputs. +> ^IU2KWY7La8P4TX53Jg5383243 + diff --git a/paradigme programmation impérative.md b/paradigme programmation impérative.md new file mode 100644 index 00000000..8092d007 --- /dev/null +++ b/paradigme programmation impérative.md @@ -0,0 +1,7 @@ +--- +aliases: + - programmation impérative +--- +up:: [[paradigme de programmation]] +#informatique + diff --git a/paradigme programmation procédurale.md b/paradigme programmation procédurale.md index 350157a2..1e1801be 100644 --- a/paradigme programmation procédurale.md +++ b/paradigme programmation procédurale.md @@ -1,2 +1,12 @@ +--- +aliases: + - programmation procédurale +--- up:: [[paradigme de programmation]] #informatique + +> [!definition] programmation procédurale +> La programmation procédurale est un type de [[paradigme programmation impérative|programmation impérative]] dans lequel le programme est exprimé comme des [[programmation.procédure|procédures]] qui s'appellent entre elles. +> Un programme est alors une séries d'étapes qui forment une hiérarchie d'appels aux procédures qui le constituent +^definition + diff --git a/paradigme programmation symbolique.md b/paradigme programmation symbolique.md new file mode 100644 index 00000000..8d536b54 --- /dev/null +++ b/paradigme programmation symbolique.md @@ -0,0 +1,17 @@ +up:: [[ParadigmeProgrammation]] +#informatique + +> [!definition] programmation symbolique +> La programmation symbolique est un [[paradigme de programmation]] dans lequel on manipule des **symboles** et des [[structure de données.liste|listes]] de symboles, en opposition a la manipulation de types de base seuls (nombres, chaînes de caractères...). +> Les [[structures de données.enregistrement|enregistrements]] sont souvent la structure qui définit les symboles. +^definition + +> [!cite]- [Programmation Fonctionnelle et Symbolique - Introduction](zotero://select/groups/5383243/items/8JWGX3UF) - [Page ](zotero://open-pdf/groups/5383243/items/JN9BUY8F?annotation=4ZKPXA6B) +> Une des particularités de la programmation en Intelligence Artificielle est +> la nécessité de manipuler facilement des symboles et des listes de symboles +> plutôt que des nombres ou des chaînes de caractères : ce qu'on appelle la +> Programmation Symbolique. +> +> > [!note] Notes +> > programmation symbolique := manipuler des symboles et listes de symboles (plutôt que des nombres ou chaînes de caractères) +> ^4ZKPXA6BaJN9BUY8Fg5383243 \ No newline at end of file diff --git a/peur de la prise de parole en public.md b/peur de la prise de parole en public.md index dcf1d4ce..e2f82cb4 100644 --- a/peur de la prise de parole en public.md +++ b/peur de la prise de parole en public.md @@ -1,4 +1,4 @@ -up:: +up:: [[le pouvoir de l'éloquence]] title:: "68% des Francais ressent peur ou stress quand ils doivent parler en public." link:: [[2022-etude-la-prise-de-parole-en-public .pdf]] #science/sociologie diff --git a/programmation.effet de bord.md b/programmation.effet de bord.md index b2b020d6..afc7c78d 100644 --- a/programmation.effet de bord.md +++ b/programmation.effet de bord.md @@ -10,7 +10,7 @@ up:: [[programmation]] > En programmation, une [[programmation.fonction|fonction]] est dite à effet de bord si elle modifie un [[programmation.état|état]] en dehors de son environnement local. ^definition -> [!cite] [Wikiwand - Effet de bord (informatique)](zotero://select/groups/5383243/items/92J8KRBY) - [Page ](zotero://open-pdf/groups/5383243/items/JD72IJY2?annotation=YVVTF3QP) +> [!cite]- [Wikiwand - Effet de bord (informatique)](zotero://select/groups/5383243/items/92J8KRBY) - [Page ](zotero://open-pdf/groups/5383243/items/JD72IJY2?annotation=YVVTF3QP) > En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche d'effet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur. > > > [!note] Notes @@ -25,9 +25,9 @@ up:: [[programmation]] > - la modification d'une [[programmation.variable statique|variable statique]] locale > - le fait d'appeler une autre fonction à effet de bord -> [!cite]- [Wikiwand - Effet de bord (informatique)](zotero://select/groups/5383243/items/92J8KRBY) - [Page ](zotero://open-pdf/groups/5383243/items/JD72IJY2?annotation=ETUCEAGE) -> Par exemple, les fonctions qui modifient une variable locale statique, une variable non locale ou un argument mutable passé par référence, les fonctions qui effectuent des opérations d'entrées-sorties ou les fonctions appelant d'autres fonctions à effet de bord[1]. -> ^ETUCEAGEaJD72IJY2g5383243 +> [!cite]- [Effet de bord (informatique)](zotero://select/groups/5383243/items/HK8W8STH) - [Page ](zotero://open-pdf/groups/5383243/items/FHGCUVX5?annotation=FRXYERKZ) +> Par exemple, les fonctions qui modifient une variable locale statique, une variable non locale ou un argument mutable passé par référence, les fonctions qui effectuent des opérations d'entrées-sorties ou les fonctions appelant d'autres fonctions à effet de bord[ +> ^FRXYERKZaFHGCUVX5g5383243 # Problèmes des effets de bord @@ -39,10 +39,9 @@ Les effets de bord posent problème pour : Le langage [[haskell]] restreint les effets de bord dans le concept de [[monade]]. -> [!cite] [Wikiwand - Effet de bord (informatique)](zotero://select/groups/5383243/items/92J8KRBY) - [Page ](zotero://open-pdf/groups/5383243/items/JD72IJY2?annotation=U8EXFJVJ) +> [!cite]- [Effet de bord (informatique)](zotero://select/groups/5383243/items/HK8W8STH) - [Page ](zotero://open-pdf/groups/5383243/items/FHGCUVX5?annotation=LAQR2DNM) > La programmation fonctionnelle cherche au contraire à les minimiser et les isole souvent pour cela dans des structures prévues entre autres pour cela : les monades. > > > [!note] Notes > > La programmation fonctionnelle est une solution aux problèmes des effets de bord. -> ^U8EXFJVJaJD72IJY2g5383243 - +> ^LAQR2DNMaFHGCUVX5g5383243 \ No newline at end of file diff --git a/programmation.procédure.md b/programmation.procédure.md index 412683ab..708fdcfc 100644 --- a/programmation.procédure.md +++ b/programmation.procédure.md @@ -1,6 +1,7 @@ --- aliases: - procédure + - procédures --- up:: [[programmation]] #informatique diff --git a/sources/zotero/EffetBordInformatique2023.md b/sources/zotero/EffetBordInformatique2023.md new file mode 100644 index 00000000..9a1deba6 --- /dev/null +++ b/sources/zotero/EffetBordInformatique2023.md @@ -0,0 +1,35 @@ +--- +zotero-key: HK8W8STHg5383243 +zt-attachments: + - "121" +citekey: EffetBordInformatique2023 +--- +up:: [[zotero literature notes]] +link:: [Zotero](zotero://select/groups/5383243/items/HK8W8STH) [attachment](file:///Users/oscarplaisant/Zotero/storage/FHGCUVX5/Effet_de_bord_(informatique).html) +#pkm #zotero + + +> [!cite] [Effet de bord (informatique)](zotero://select/groups/5383243/items/HK8W8STH) - [Page ](zotero://open-pdf/groups/5383243/items/FHGCUVX5?annotation=BAIZ4M66) +> En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche d'effet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur. +> +> > [!note] Notes +> > effet de bord = modification en dehors de l'environnement local +> ^BAIZ4M66aFHGCUVX5g5383243 + +> [!cite] [Effet de bord (informatique)](zotero://select/groups/5383243/items/HK8W8STH) - [Page ](zotero://open-pdf/groups/5383243/items/FHGCUVX5?annotation=FRXYERKZ) +> Par exemple, les fonctions qui modifient une variable locale statique, une variable non locale ou un argument mutable passé par référence, les fonctions qui effectuent des opérations d'entrées-sorties ou les fonctions appelant d'autres fonctions à effet de bord[ +> ^FRXYERKZaFHGCUVX5g5383243 + +> [!cite] [Effet de bord (informatique)](zotero://select/groups/5383243/items/HK8W8STH) - [Page ](zotero://open-pdf/groups/5383243/items/FHGCUVX5?annotation=RGPC6369) +> La programmation impérative permet l'emploi des effets de bord dans le fonctionnement de ses programmes, voire l'utilise délibérément +> +> > [!note] Notes +> > La modification (effet de bord) est un mécanisme important de la programmation impérative. +> ^RGPC6369aFHGCUVX5g5383243 + +> [!cite] [Effet de bord (informatique)](zotero://select/groups/5383243/items/HK8W8STH) - [Page ](zotero://open-pdf/groups/5383243/items/FHGCUVX5?annotation=LAQR2DNM) +> La programmation fonctionnelle cherche au contraire à les minimiser et les isole souvent pour cela dans des structures prévues entre autres pour cela : les monades. +> +> > [!note] Notes +> > La programmation fonctionnelle est une solution aux problèmes des effets de bord. +> ^LAQR2DNMaFHGCUVX5g5383243 diff --git a/sources/zotero/ProgrammingParadigms.md b/sources/zotero/ProgrammingParadigms.md new file mode 100644 index 00000000..ed4f01fe --- /dev/null +++ b/sources/zotero/ProgrammingParadigms.md @@ -0,0 +1,55 @@ +--- +zotero-key: XUWRH447g5383243 +zt-attachments: + - "139" +citekey: ProgrammingParadigms +--- +up:: [[zotero literature notes]] +link:: [Zotero](zotero://select/groups/5383243/items/XUWRH447) [attachment](file:///Users/oscarplaisant/Zotero/storage/LQGLTH3D/paradigms.html) +#pkm #zotero + + +> [!cite] [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=QVDN27WM) +> Control flow in imperative programming is explicit: commands show how the computation takes place, step by step. Each step affects the global state of the +> computation. +> +> > [!note] Notes +> > impératif : +> > +> > - flot de contrôle explicite: explication pas-à-pas de ce qui doit être fait +> > - chaque pas affecte l'état global du calcul +> ^QVDN27WMaLQGLTH3Dg5383243 + +> [!cite] [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=SW38ETVU) +> Structured programming is a kind of imperative programming where control flow is defined by nested loops, conditionals, and subroutines, rather than via gotos. Variables are generally local to blocks (have lexical scope). +> +> > [!note] Notes +> > Programmation structurée: +> > - structures de contrôle plutôt que `goto` +> > - variables généralement locales à un block +> ^SW38ETVUaLQGLTH3Dg5383243 + +> [!cite] [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=KRIHCS5Q) +> OOP is based on the sending of messages to objects. Objects respond to messages by performing operations, generally called methods. Messages can have arguments. A society of objects, each with their own local memory and own set of operations has a different feel than the monolithic processor and single shared memory feel of non object oriented languages. +> +> > [!note] Notes +> > OOP : basé sur l'envoi de messages à des objets. +> ^KRIHCS5QaLQGLTH3Dg5383243 + +> [!cite] [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=3SBD24AE) +> Control flow in declarative programming is implicit: the programmer states only what the result should look like, +> not how to obtain it. +> +> > [!note] Notes +> > déclaratif : +> > le flot de contrôle est implicite. +> > on déclare ce que le résultat doit être plutôt que comment l'obtenir. +> ^3SBD24AEaLQGLTH3Dg5383243 + +> [!cite] [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=8L7P34B2) +> In functional programming, control flow is expressed by combining function calls, rather than by assigning values to variables: +> ^8L7P34B2aLQGLTH3Dg5383243 + +> [!cite] [Programming Paradigms](zotero://select/groups/5383243/items/XUWRH447) - [Page ](zotero://open-pdf/groups/5383243/items/LQGLTH3D?annotation=JRBMX3NW) +> Logic programming and constraint programming are two paradigms in which programs are built by setting up relations that specify facts and inference rules, and asking whether or not something is true (i.e. specifying a goal.) Unification and backtracking to find solutions (i.e.. satisfy goals) takes place automatically. +> ^JRBMX3NWaLQGLTH3Dg5383243 diff --git a/sources/zotero/royProgrammingParadigmsDummies.md b/sources/zotero/royProgrammingParadigmsDummies.md index f09108d6..0cb3f630 100644 --- a/sources/zotero/royProgrammingParadigmsDummies.md +++ b/sources/zotero/royProgrammingParadigmsDummies.md @@ -125,3 +125,26 @@ link:: [Zotero](zotero://select/groups/5383243/items/673TMQRT) [attachment]( [!cite] [Programming Paradigms for Dummies: What Every Programmer Should Know](zotero://select/groups/5383243/items/673TMQRT) - [Page 19](zotero://open-pdf/groups/5383243/items/P4L4LCJZ?page=11&annotation=X8JQ43BW) > Erlang Programming highly available embedded systems for telecommunications. This project was undertaken by Joe Armstrong and his colleagues at the Ericsson Computer Science Laboratory starting in 1986. The Erlang language was designed and a first efficient and stable implementation was completed in 1991 [5, 6]. An Erlang program consists of isolated named lightweight processes that send each other messages. Because of the isolation, Erlang programs can be run almost unchanged on distributed systems and multi-core processors. The Erlang system has a replicated database, Mnesia, to keep global coherent states. Erlang and its programming platform, the OTP (Open Telecom Platform) system, are being used successfully in commercial systems by Ericsson and other companies [57, 17]. > ^X8JQ43BWaP4L4LCJZg5383243p11 + +> [!cite] [Programming Paradigms for Dummies: What Every Programmer Should Know](zotero://select/groups/5383243/items/673TMQRT) - [Page 19](zotero://open-pdf/groups/5383243/items/P4L4LCJZ?page=11&annotation=CBQAJDG2) +> E Programming secure distributed systems with multiple users and multiple security domains. This project was undertaken over many years by different institutions. It started with Dennis and Van Horn’s capability model in 1965 [13] and Carl Hewitt’s Actor model in 1973 [24] and it led via concurrent logic programming to the E language designed by Doug Barnes, Mark Miller, and their colleagues [32, 31]. Predecessors of E have been used to implement various multiuser virtual 19 Peter Van Roy environments. An E program consists of isolated single-threaded vats (processes) hosting active objects that send each other messages. Deterministic concurrency is important in E because nondeterminism can support a covert channel. +> ^CBQAJDG2aP4L4LCJZg5383243p11 + +> [!cite] [Programming Paradigms for Dummies: What Every Programmer Should Know](zotero://select/groups/5383243/items/673TMQRT) - [Page 23](zotero://open-pdf/groups/5383243/items/P4L4LCJZ?page=15&annotation=8QWDQKJU) +> A record is a data structure: a group of references to data items with indexed access to each item. +> +> > [!note] Notes +> > enregistrement = un ensemble de références à des données avec un accès indexé +> > enregistrement = concept derrière le dictionnaire +> ^8QWDQKJUaP4L4LCJZg5383243p15 + +> [!cite] [Programming Paradigms for Dummies: What Every Programmer Should Know](zotero://select/groups/5383243/items/673TMQRT) - [Page 23](zotero://open-pdf/groups/5383243/items/P4L4LCJZ?page=15&annotation=E7BNJFPV) +> A symbolic programming language is able to calculate with records: create new records, decompose them, and examine them. +> +> > [!note] Notes +> > programmation symbolique => calculer avec des enregistrements +> ^E7BNJFPVaP4L4LCJZg5383243p15 + +> [!cite] [Programming Paradigms for Dummies: What Every Programmer Should Know](zotero://select/groups/5383243/items/673TMQRT) - [Page 23](zotero://open-pdf/groups/5383243/items/P4L4LCJZ?page=15&annotation=LVLX8ZD6) +> Many important data structures such as arrays, lists, strings, trees, and hash tables can be derived from records. +> ^LVLX8ZD6aP4L4LCJZg5383243p15 diff --git a/structure de données.liste.md b/structure de données.liste.md new file mode 100644 index 00000000..ea981bfc --- /dev/null +++ b/structure de données.liste.md @@ -0,0 +1,6 @@ +--- +aliases: + - listes +--- +up:: [[structure de données]] +#informatique \ No newline at end of file diff --git a/enregistrement.md b/structures de données.enregistrement.md similarity index 86% rename from enregistrement.md rename to structures de données.enregistrement.md index c2e93a5c..81c16d69 100644 --- a/enregistrement.md +++ b/structures de données.enregistrement.md @@ -1,3 +1,8 @@ +--- +aliases: + - enregistrement + - enregistrements +--- up:: [[structure de données]] #informatique @@ -7,6 +12,7 @@ up:: [[structure de données]] > champs := sont indexés et contiennent des valeurs ^definition +Le concept d'enregistrement est là la base de la [[paradigme programmation symbolique]] # Concept fondamental des [[structure de données|structures de données]] @@ -32,12 +38,10 @@ L'enregistrement permet de définir beaucoup d'autres structures : > > enregistrement = concept derrière le dictionnaire > ^8QWDQKJUaP4L4LCJZg5383243p15 -> [!cite]- [Wikiwand - Enregistrement (structure de données)](zotero://select/groups/5383243/items/YFAC6GF6) - [Page ](zotero://open-pdf/groups/5383243/items/A9GHW6GT?annotation=4UMM8D7I) +> [!cite]- [Enregistrement (structure de données)](zotero://select/groups/5383243/items/BNI9449N) - [Page ](zotero://open-pdf/groups/5383243/items/HMUFH5Z7?annotation=B5KK3HH2) > En programmation, un enregistrement est une structure de données qui rassemble plusieurs champs, ceux-ci contenant des valeurs qui peuvent être de types différents[1]. Typiquement, le nombre de champ et leur séquence sont fixés[1]. Les champs d'un enregistrement peuvent aussi être nommés "membres", en particulier dans la programmation orientée objet. Les champs peuvent encore être appelés "éléments", mais cela entraîne un risque de confusion avec les éléments d'une collection. > > > [!note] Notes > > entregistrement := structure qui rassemble des champs > > champ := contient des valeurs (leur type peut changer) -> ^4UMM8D7IaA9GHW6GTg5383243 - - +> ^B5KK3HH2aHMUFH5Z7g5383243 diff --git a/templates/zotero/zt-annot.eta.md b/templates/zotero/zt-annot.eta.md index 67b47f4d..6e6e2d94 100644 --- a/templates/zotero/zt-annot.eta.md +++ b/templates/zotero/zt-annot.eta.md @@ -1,4 +1,4 @@ -[!cite] [<%= it.docItem.title%>](<%= it.docItem.backlink%>) - [Page <%= it.pageLabel%>](<%= it.backlink%>) +[!cite]+ [<%= it.docItem.title%>](<%= it.docItem.backlink%>) - [Page <%= it.pageLabel%>](<%= it.backlink%>) <%= it.imgEmbed %><%= it.text %> <% if (it.comment) { %> > [!note] Notes diff --git a/épistémologie.md b/épistémologie.md index 1ca1bd88..ff929433 100644 --- a/épistémologie.md +++ b/épistémologie.md @@ -8,3 +8,4 @@ up:: [[philosophie]] > dir: down > ``` +