Sujet		Messages	Dernier message
	Une "trivialité" (très dure à prouver) (63 vues) par christophe c	4	il y a deux heures Dernier message par christophe c
	"Il est facile de" 2 (210828 vues)   (Aller à la page: 1 ... 17 18 19) par christophe c	948	il y a deux heures Dernier message par christophe c
	Classiques L1-L2 trop oubliés (8662 vues)   (Aller à la page: 1 2 3) par christophe c	122	il y a deux heures Dernier message par christophe c
	La théorie des ensembles et des catégories ! (254 vues) par Romyna	10	hier, 02:38 Dernier message par AitJoseph
	Coq (assistant de preuve) (156 vues) par hugo_panch	9	il y a deux jours Dernier message par Romyna
	Récurrence non dénombrable (212 vues) par mehdi	5	il y a deux jours Dernier message par mehdi
	Neutralité (139 vues) par christophe c	5	il y a trois jours Dernier message par Dom
	Différence entre logique et fondement (258 vues) par camyl	4	il y a cinq jours Dernier message par camyl
	Théorie de la géométrie projective (348 vues) par Gaussien	9	il y a sept jours Dernier message par Gaussien
	Théorème de Buckingham (74 vues) par crowsen		Déplacé
	Sur les ensembles (221 vues) par Zakariyae	7	il y a huit jours Dernier message par gerard0
	Interprétation d'une formule (183 vues) par waliddz	7	il y a neuf jours Dernier message par christophe c
	Maximisation sous contraintes (106 vues) par degla		Déplacé
	Décalage vers le rouge et multimonde (20118 vues)   (Aller à la page: 1 ... 7 8 9) par christophe c	440	il y a treize jours Dernier message par AD
	Montrer que R équivaut à non(non R) (382 vues) par camyl	13	la semaine dernière Dernier message par christophe c
	Question sur la "vérité en général" (188 vues) par BDLoglang	5	il y a deux semaines Dernier message par GaBuZoMeu
	Fonction additive de R dans R (315 vues) par Jean-Claude	13	il y a deux semaines Dernier message par Jean-Claude
	Des curiosités (bijections explicites) (231 vues) par christophe c	7	il y a deux semaines Dernier message par lesmathspointclaires
	Raisonnement par l'absurde (122 vues) par Educ	2	il y a deux semaines Dernier message par Foys
	Contraposée d'une implication (76 vues) par Educ	3	il y a deux semaines Dernier message par Educ
	Question de logique classique (641 vues) par Dan	34	il y a deux semaines Dernier message par GaBuZoMeu
	Logique $P\Rightarrow Q$ (244 vues) par mikess19731973	9	il y a deux semaines Dernier message par christophe c
	Trois assertions (81 vues) par Educ	3	il y a deux semaines Dernier message par gerard0
	Démontrer une inégalité (95 vues) par a.elhoussi	4	il y a deux semaines Dernier message par a.elhoussi
	Un problème avec la preuve de Cantor (298 vues) par tchoc	11	il y a deux semaines Dernier message par christophe c
	Théorie des ensembles (2744 vues)   (Aller à la page: 1 2 3) par waliddz	115	il y a deux semaines Dernier message par waliddz
	Complément du complément (306 vues) par liberty	14	il y a deux semaines Dernier message par christophe c
	"Récurrence finie" en logique (209 vues) par Adrien_	7	il y a deux semaines Dernier message par christophe c
	Fonction booléenne (217 vues) par liberty	8	il y a deux semaines Dernier message par liberty
	2-vinette (288 vues) par lesmathspointclaires	8	il y a deux semaines Dernier message par lesmathspointclaires
	Énoncés indécidables (206 vues) par Victor	7	il y a trois semaines Dernier message par christophe c
	Produit d'ensembles (204 vues) par Light*	11	il y a trois semaines Dernier message par Light*
	Problème d'ordre (162 vues) par ryadyat	2	il y a trois semaines Dernier message par Bbidule
	Produit cartésien (122 vues) par eoghan	4	il y a trois semaines Dernier message par GaBuZoMeu
	Formules prouvables à partir de PA (240 vues) par Poirot	10	il y a trois semaines Dernier message par Poirot
	Stabilité par intersection (92 vues) par eoghan	3	il y a trois semaines Dernier message par eoghan
	Démontrer une inégalité (235 vues) par a.elhoussi	7	il y a trois semaines Dernier message par a.elhoussi
	Moindre action, entropie maximale etc. (8321 vues)   (Aller à la page: 1 2 3 4 5) par Sylvain	202	il y a trois semaines Dernier message par Ltav
	Question de prédicats (495 vues) par Adaq	24	il y a trois semaines Dernier message par christophe c
	Raisonnement par récurrence (119 vues) par HISTIOCYTOSE	3	il y a trois semaines Dernier message par YvesM
	Implication vs. conséquence logique (239 vues) par Adaq	5	il y a quatre semaines Dernier message par Adaq
	Problème du verre à sous (392 vues) par Filli	13	il y a quatre semaines Dernier message par Filli
	Raisonnement logique valide ou non ? (112 vues) par liberty	2	il y a quatre semaines Dernier message par Filli
	Liberté mathématique (2017 vues) par christophe c	44	il y a quatre semaines Dernier message par L'Axone du Choix
	Fonction non composée (429 vues) par Lupulus	12	il y a quatre semaines Dernier message par christophe c
	Oracle (371 vues) par superpower	10	il y a quatre semaines Dernier message par JLT
	Si et seulement si (330 vues) par Adaq	8	il y a quatre semaines Dernier message par christophe c
	Agacement (584 vues) par christophe c	19	il y a quatre semaines Dernier message par christophe c
	Compacité du calcul propositionnel (321 vues) par Foys	9	il y a quatre semaines Dernier message par christophe c
	Langage mathématique, probas et stats (289 vues) par christophe c	6	il y a quatre semaines Dernier message par Georges Abitbol
	Axiomes superflus (423 vues) par Adrien_	13	il y a quatre semaines Dernier message par christophe c
	Énigme des pirates (2440 vues)   (Aller à la page: 1 2) par liberty	80	il y a quatre semaines Dernier message par babsgueye
	Implication régulier (212 vues) par superpower	7	il y a quatre semaines Dernier message par superpower
	Brouwer (énième) (203 vues) par christophe c	3	il y a cinq semaines Dernier message par christophe c
	Schwarz, Noether, Lagrange, Hamilton... (335 vues) par christophe c	6	il y a cinq semaines Dernier message par christophe c
	Énigme qui est le menteur ? (258 vues) par liberty	6	il y a cinq semaines Dernier message par christophe c
	Récurrence transfinie (223 vues) par Gauss_wh	6	il y a cinq semaines Dernier message par christophe c
	Logique et mathématique discrète (413 vues) par biba	14	il y a cinq semaines Dernier message par biba
	Exemples génériques (333 vues) par Emulpal	9	il y a cinq semaines Dernier message par christophe c
	Si vous voulez battre Anatole (21226 vues)   (Aller à la page: 1 2) par christophe c	81	il y a cinq semaines Dernier message par lesmathspointclaires
	Les classes et les ensembles (849 vues) par naforito	18	il y a cinq semaines Dernier message par samok
	Exercices exutoires à partager (634 vues) par christophe c	10	il y a cinq semaines Dernier message par christophe c
	L'idée originelle de la logique intuitioniste (394 vues) par ideosphe	8	il y a six semaines Dernier message par christophe c
	Détecter les énoncés tordus? (352 vues) par L'Axone du Choix	8	il y a six semaines Dernier message par christophe c