Fondements et Logique

Ce forum n'a pas de description.

Discussion	Créé par	Réponses	Lectures	Dernière réponse
Syntaxe correcte 1 2	Xavier Var October 2022	62	614	Barjovrille October 2022
Ensembles $\Q$-dénombrables (Choquet)	gimax October 2022	4	100	Magnéthorax October 2022
Les preuves combinatoires sont-elles de vraies preuves ?	Cyrano October 2022	2	173	Foys October 2022
L'algèbre des polynômes	[Utilisateur supprimé] September 2022	16	414	Barjovrille October 2022
Théorie des langages (récurrence)	leeween October 2022	6	339	[Utilisateur supprimé] October 2022
Notation fonction 1 2	Chris59 September 2022	92	1.4K	[Utilisateur supprimé] October 2022
Problème de compréhension du problème P vs NP	questionneur September 2022	1	100	GaBuZoMeu September 2022
Locutions	Lolo36 September 2022	4	97	Lolo36 September 2022
Produit d'un ensemble indexé	[Utilisateur supprimé] August 2022	23	234	[Utilisateur supprimé] September 2022
La topologie de Vietoris	Martial August 2022	16	316	Thierry Poma August 2022
Non raisonnement par l'absurde 1 2...7 8 Fermé	Système August 2022	378	5.2K	heinki August 2022
Logigramme	Jaymz August 2022	10	250	lourrran August 2022
La théorie d'Helen Skala	Martial August 2022	6	181	Martial August 2022
Logique, fondements et applications	Système August 2022	10	144	Foys August 2022
À propos du couple $(1,1)$	stfj August 2022	18	176	raoul.S August 2022
Théorème de Tarski	marco August 2022	4	159	marco August 2022
Un problème avec NF	Martial March 2022	3	178	Martial August 2022
Notation d'égalité	Xavier Var August 2022	2	51	Xavier Var August 2022
Hexagone logique	Mfu August 2022	2	119	usine August 2022
Ensemble complémentaire	confinoum0211 August 2022	4	100	stfj August 2022
Une implication	[Utilisateur supprimé] August 2022	11	127	Médiat_Suprème August 2022
Un peu de platonisme	Martial July 2022	16	212	Martial July 2022
Des ensembles	celrek19 July 2022	12	191	gerard0 July 2022
Ensembles ordonnés non isomorphes	Démonstrator June 2022	5	139	Maxtimax July 2022
Ensemble image et image réciproque	Mar0wwa July 2022	14	202	Dom July 2022
Ensemble vide	Xavier Var July 2022	42	561	GaBuZoMeu July 2022
Incomplet	Lolo36 June 2022	6	175	AlainLyon July 2022
Bourbaki, vraiment pour comprendre (2)bis 1 2	amatheur1 November 2017	69	20.4K	pldx1 July 2022
L'axiome du choix 1 2 3	Blanc June 2022	102	2.4K	GaBuZoMeu July 2022
Ensembles dénombrables 1 2	OShine June 2022	79	1.6K	lourrran June 2022
Supposition	Sneg June 2022	9	182	Sneg June 2022
Fonction de choix, nécessaire ici ?	Homo Topi June 2022	6	125	Homo Topi June 2022
"Intuistionistic Set Theory" IZF 1 2	Martial June 2022	63	692	Martial June 2022
La notion de "problème" en mathématiques	[Utilisateur supprimé] June 2022	20	387	Médiat_Suprème June 2022
Un petit problème...	Lolo36 June 2022	12	226	Foys June 2022
Diagonale de Cantor	GG June 2022	1	115	Foys June 2022
$\R^2$ vs $\R \times \R$	Snobi June 2022	12	268	Snobi June 2022
Parties de N	Sneg June 2022	4	168	Sneg June 2022
Paradoxe d'Achille et de la tortue 1 2	gcplatine May 2022	59	3.1K	troisqua June 2022
Question sur la preuve AC implique lemme de Zorn	Kel June 2022	2	176	Poirot June 2022