exemples de modèles etc
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
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
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
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.
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.
Assez cool comme introduction au binz.