MacBook-Pro-de-Oscar.local 2025-9-10:14:28:55
This commit is contained in:
@@ -4,8 +4,12 @@ up:
|
|||||||
tags:
|
tags:
|
||||||
- s/fac
|
- s/fac
|
||||||
- s/maths/logique
|
- s/maths/logique
|
||||||
|
author:
|
||||||
|
- "[[antoine chambert-loir]]"
|
||||||
|
- "[[P. Simonetta]]"
|
||||||
---
|
---
|
||||||
|
|
||||||
|
|
||||||
- ? est-ce que les formules sont non-ambigües ? (une même formule donne toujours lieu à la même interprétation)
|
- ? est-ce que les formules sont non-ambigües ? (une même formule donne toujours lieu à la même interprétation)
|
||||||
- p oui, par théorème
|
- p oui, par théorème
|
||||||
|
|
||||||
|
16
antoine chambert-loir.md
Normal file
16
antoine chambert-loir.md
Normal file
@@ -0,0 +1,16 @@
|
|||||||
|
---
|
||||||
|
up:
|
||||||
|
tags:
|
||||||
|
- "#t/personne"
|
||||||
|
aliases:
|
||||||
|
link: https://webusers.imj-prg.fr/~antoine.chambert-loir/
|
||||||
|
---
|
||||||
|
|
||||||
|
```breadcrumbs
|
||||||
|
title: "Sous-notes"
|
||||||
|
type: tree
|
||||||
|
collapse: false
|
||||||
|
show-attributes: [field]
|
||||||
|
field-groups: [downs]
|
||||||
|
depth: [0, 0]
|
||||||
|
```
|
Reference in New Issue
Block a user