exemples de modèles etc

john-banher · May 2006

Bonjour,

Je dois rendre un rapport d'introduction à la logique mathématique, cela traite des bases : théories, structures, théorème de complètude, de compacité, de Lowenheim-Skolem...

Je manque un peu d'exemples d'"applications" marrants, à l'algèbre (ou à d'autres trucs) par exemple... Vous connaissez des trucs cools ?

Merci

mathcam · May 2006

salut

je ne peux pas t aider mais je pense que toi tu peux peut etre me donner un coup de main:
j ai besoin d un cours interressant sur les catégories

si tu connais un site ou je pourrais en trouver un j en serais tres heureux.
merci d avance.

mathcam · May 2006

salut

je ne peux pas t aider mais je pense que toi tu peux peut etre me donner un coup de main:
j ai besoin d un cours interressant sur les catégories

si tu connais un site ou je pourrais en trouver un j en serais tres heureux.
merci d avance.