[Maths] Conseils livres logique + théorie des ensembles?

Le 16 avril 2023 à 15:23:50 :

Le 16 avril 2023 à 15:23:36 :

Le 16 avril 2023 à 15:23:01 :
yo mes clefs,
ces deux sujets me fascinent et j'aimerai en apprendre plus
supposez que je suis inculte mathématiquement et conseillez-moi des livres qui me sont adéquats
merci

Le 16 avril 2023 à 15:23:01 :
yo mes clefs,
ces deux sujets me fascinent et j'aimerai en apprendre plus
supposez que je suis inculte mathématiquement et conseillez-moi des livres qui me sont adéquats
merci

Ton niveau ? Si t'as un niveau math de lycée, ça va être chaud de te conseiller...

Le 16 avril 2023 à 15:24:35 :

Le 16 avril 2023 à 15:23:01 :
yo mes clefs,
ces deux sujets me fascinent et j'aimerai en apprendre plus
supposez que je suis inculte mathématiquement et conseillez-moi des livres qui me sont adéquats
merci

Ton niveau ? Si t'as un niveau math de lycée, ça va être chaud de te conseiller...

c'est le problème en fait
sachant que la pratique des maths se base sur notre logique, je trouve que c'est bizarre de suggérer des livres qui commencent de 0

Le 16 avril 2023 à 15:26:51 :
naive set theory de paul halmos

c'est en anglais clef

Le 16 avril 2023 à 15:28:17 :
types & proofs de girard

ça n'as pas l'air de bien correspondre à mon niveau + anglais

Le 16 avril 2023 à 15:32:22 :

Le 16 avril 2023 à 15:31:33 :

Le 16 avril 2023 à 15:24:03 :

Le 16 avril 2023 à 15:23:50 :

Le 16 avril 2023 à 15:23:36 :

> Le 16 avril 2023 à 15:23:01 :

>yo mes clefs,

> ces deux sujets me fascinent et j'aimerai en apprendre plus

> supposez que je suis inculte mathématiquement et conseillez-moi des livres qui me sont adéquats

> merci

Le 16 avril 2023 à 15:29:51 :

Le 16 avril 2023 à 15:26:51 :
naive set theory de paul halmos

c'est en anglais clef

Le 16 avril 2023 à 15:28:17 :
types & proofs de girard

ça n'as pas l'air de bien correspondre à mon niveau + anglais

non c'était pour blaguer
mais par contre l'anglais tu ne vas pas y couper tot ou tard

https://sites.google.com/view/martial-leroy/accueil?authuser=0

jete un oeil sur ce site (fr)

Le 16 avril 2023 à 15:34:53 :
je pense que c'est une bonne ressource le site de martial roy.

je viens de "feuilleter" un peu
j'imagine que ça pourrait éventuellement me servir pour la théorie des ensembles
tu en connais un dédié qui est en sa totalité dédié à la logique "naïve" (par analogie avec la théorie naïve des ensembles), où on ne fait pas nécessairement allusion au concept d'ensemble, mais où on ne fait qu'investiguer les lois de la pensée?

Le 16 avril 2023 à 15:32:33 :

Le 16 avril 2023 à 15:32:22 :

Il y a un livre à trois auteurs qui est très bien pour commencer la logique, mais j'ai oublié son nom.

J'ai fait ma thèse dans le domaine, donc tu peux me MPer si tu as de questions, ou simplement pour que je pense à te répondre quand j'aurai retrouvé le nom du livre.

Le 16 avril 2023 à 15:43:21 :

Le 16 avril 2023 à 15:34:53 :
je pense que c'est une bonne ressource le site de martial roy.

je viens de "feuilleter" un peu
j'imagine que ça pourrait éventuellement me servir pour la théorie des ensembles
tu en connais un dédié qui est en sa totalité dédié à la logique "naïve" (par analogie avec la théorie naïve des ensembles), où on ne fait pas nécessairement allusion au concept d'ensemble, mais où on ne fait qu'investiguer les lois de la pensée?

je pense que tu te méprends un peu sur la logique et son rôle
sinon, inscris toi sur edukera, y'a plein d'exos pour apprendre

Le 16 avril 2023 à 15:50:37 :

Le 16 avril 2023 à 15:43:21 :

Le 16 avril 2023 à 15:34:53 :
je pense que c'est une bonne ressource le site de martial roy.

je viens de "feuilleter" un peu
j'imagine que ça pourrait éventuellement me servir pour la théorie des ensembles
tu en connais un dédié qui est en sa totalité dédié à la logique "naïve" (par analogie avec la théorie naïve des ensembles), où on ne fait pas nécessairement allusion au concept d'ensemble, mais où on ne fait qu'investiguer les lois de la pensée?

je pense que tu te méprends un peu sur la logique et son rôle
sinon, inscris toi sur edukera, y'a plein d'exos pour apprendre

par exemple on a le pattern de déduire B de A et "si A alors B"
j'aimerais lire sur comment on "découvre" ces patterns, pourquoi ils sont "justifiés", et comment on les groupe ensemble pour créer quelque chose comme la logique formelle, sur laquelle est basée la théorie des ensembles

Le 16 avril 2023 à 15:49:05 :
Il y a un livre à trois auteurs qui est très bien pour commencer la logique, mais j'ai oublié son nom.

J'ai fait ma thèse dans le domaine, donc tu peux me MPer si tu as de questions, ou simplement pour que je pense à te répondre quand j'aurai retrouvé le nom du livre.

très bien je te mp à propos du livre alors
merci beaucoup clef

Le 16 avril 2023 à 15:50:37 :

Le 16 avril 2023 à 15:43:21 :

Le 16 avril 2023 à 15:34:53 :
je pense que c'est une bonne ressource le site de martial roy.

je viens de "feuilleter" un peu
j'imagine que ça pourrait éventuellement me servir pour la théorie des ensembles
tu en connais un dédié qui est en sa totalité dédié à la logique "naïve" (par analogie avec la théorie naïve des ensembles), où on ne fait pas nécessairement allusion au concept d'ensemble, mais où on ne fait qu'investiguer les lois de la pensée?

sinon, inscris toi sur edukera, y'a plein d'exos pour apprendre

merci beaucoup pour le site ça a l'air très bien pour la logique formelle
je garde

Le 16 avril 2023 à 15:57:07 :

Le 16 avril 2023 à 15:50:37 :

Le 16 avril 2023 à 15:43:21 :

Le 16 avril 2023 à 15:34:53 :
je pense que c'est une bonne ressource le site de martial roy.

je viens de "feuilleter" un peu
j'imagine que ça pourrait éventuellement me servir pour la théorie des ensembles
tu en connais un dédié qui est en sa totalité dédié à la logique "naïve" (par analogie avec la théorie naïve des ensembles), où on ne fait pas nécessairement allusion au concept d'ensemble, mais où on ne fait qu'investiguer les lois de la pensée?

je pense que tu te méprends un peu sur la logique et son rôle
sinon, inscris toi sur edukera, y'a plein d'exos pour apprendre

par exemple on a le pattern de déduire B de A et "si A alors B"
j'aimerais lire sur comment on "découvre" ces patterns, pourquoi ils sont "justifiés", et comment on les groupe ensemble pour créer quelque chose comme la logique formelle, sur laquelle est basée la théorie des ensembles