Discussion:Mu-calcul

	Tâches à accomplir pour Mu-calcul	aide
	Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article : Modèle {{ Article }} : l'argument «  collection=POPL '88  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Problèmes algorithmiques  ») -- 9 novembre 2021 à 12:12 (CET)

Contrairement à l'article en anglais, j'estime que l'on est pas obligé de donner la syntaxe explicitement. Il y a assez de cours et livres pour cela. Donnons plutôt l'intuition de ce qu'est le mu-calcul, la motivation (selon certains auteurs) et des résultats. Vous êtes d'accord ? --Fschwarzentruber (discuter) 20 septembre 2016 à 13:58 (CEST)

 Fschwarzentruber : J'ai rajouté tout le contenu de la page anglaise. À partir du moment où il y a des livres entiers dessus, il me semble raisonnable de donner au moins les syntaxes et sémantiques précises (ce qui n'est pas interchangeable avec un cours qui devrait faire des preuves et plus de pédagogie). --Rrk275 (discuter) 15 novembre 2016 à 12:06 (CET)

OK, je vois. Oui, c'est bien. Et ça n'empêche effectivement pas de discuter de la motivation. Merci à vous. Grâce à  Rrk275 :, nous avons désormais une bonne base d'article pour le mu-calcul. --Fschwarzentruber (discuter) 15 novembre 2016 à 16:08 (CET)

Liens externes modifiés

Bonjour aux contributeurs,

Je viens de modifier 1 lien(s) externe(s) sur Mu-calcul. Prenez le temps de vérifier ma modification. Si vous avez des questions, ou que vous voulez que le bot ignore le lien ou la page complète, lisez cette FaQ pour de plus amples informations. J'ai fait les changements suivants :

• L'archive https://web.archive.org/web/20160305061922/http://philo.ruc.edu.cn/logic/reading/Yde/mu0612.pdf a été ajoutée à http://philo.ruc.edu.cn/logic/reading/Yde/mu0612.pdf

SVP, lisez la FaQ pour connaître les erreurs corrigées par le bot.

Cordialement.—InternetArchiveBot (Rapportez une erreur) 3 avril 2018 à 08:08 (CEST)