Fondements et Logique

Ce forum n'a pas de description.

Liste de discussions

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Inclusion/appartenance	Titor2 April 2008	19	30.4K	gerard0 December 2010
Bac S et malaises dus au langage 123	christophe c April 2008	122	87.1K	christophe c December 2010
Ensemble de tous les ensembles ...	FrançoisD December 2010	17	10.7K	christophe c December 2010
Les Suites de Goodstein	FrançoisD October 2010	14	6.9K	FrançoisD December 2010
Théorème de Gauss dans N	Martial December 2010	2	956	Martial December 2010
ensembles transitifs & ordinaux	Archimondain November 2010	31	15.9K	christophe c December 2010
logicisme ; théorème de complétude	Bruno_1 May 2009	39	23.3K	Archimondain November 2010
Sens d'un énoncé math. Fermé	christophe c November 2010	12	10.5K	Eric Chopin November 2010
Cardinaux fortement inaccessibles	Martial November 2010	5	3.2K	Bruno November 2010
P(IN)	christophe c November 2010	11	2.7K	christophe c November 2010
Théories strictement plus fortes que ZFC	Martial November 2010	19	6.4K	samok November 2010
Quelques rêveries méta-mathématiques	Archimondain November 2010	4	1.5K	christophe c November 2010
Cordelette qui brûle irrégulièrement	Tertiath May 2010	13	9.1K	J.B de la villardière November 2010
vrai ou faux	capesard November 2010	0	540	gerard0 November 2010
Géometrie descriptive et épures	Jinx August 2007	5	7.9K	Bruno November 2010
Grille à compléter	mathema November 2010	0	817	mathema November 2010
propriété intrinsèque	christophe007 November 2009	13	17.5K	christophe c November 2010
Problème sur la logique propositionnelle	svhost November 2010	7	7.4K	christophe c November 2010
calcul des prédicats	esmanerone November 2010	12	3.1K	esmanerone November 2010
ordinal successeur dans cardinal infini	SylvainK August 2010	24	9.2K	Jean-Claude November 2010
logique propositionnelle	svhost November 2010	0	1.4K	svhost November 2010
Logique sous-jacente	marco November 2010	28	11.4K	christophe c November 2010
notion de preuve	asko0 November 2010	0	704	christophe c November 2010
taxinomieCombinatoireEtGraphes	bonSamaritain November 2010	4	795	jean lismonde November 2010
ordre, définissabilité et axiome du choix	FrançoisD November 2010	9	4K	ccnc November 2010
raisonnement par l'absurde 12 Fermé	matmat2 September 2006	71	70.3K	Bruno November 2010
Problème existentiel	Numéro6 October 2010	28	11.1K	BK November 2010
Réels et axiome du choix.	Jean-Louis October 2010	7	1.3K	christophe c October 2010
cardinal	Utilisateur anonyme October 2010	13	2.4K	GG October 2010
La classe des problèmes NP-complets...	asd88 October 2010	9	4.8K	asd88 October 2010
analyse non standard	christophe c August 2007	28	18.1K	FrançoisD October 2010
Limite de suite d'ensembles	Welfar October 2010	4	6.8K	C. de Pluquaire October 2010
Rang d'une Forme Normale Prénexe	FrançoisD October 2010	0	656	FrançoisD October 2010
formules vraies issues d'erreur	christophe c September 2010	21	5.1K	V_incent October 2010
Je cherche l'erreur	FrançoisD October 2010	10	3.3K	Eric October 2010
tribu	matheux314 September 2010	0	405	gerard0 September 2010
Choix aléatoire	Amathoué1 September 2010	19	5.2K	aléa September 2010
Tribus engendrées et inclusions	QuickSort September 2010	3	1.6K	christophe c September 2010
cours de logique	touficc September 2010	10	4.4K	christophe c September 2010
Postulat, axiome	CIRDEC0 September 2010	1	11.8K	jean lismonde September 2010