Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Teaching proofs for freshmen

De
23 pages
Teaching proofs for freshmen with Coqweb Blanc, Giacometti, Hirschowitz, Pottier Introduction Teachers, students, logicians and proofs Which notion of proof? Some strong points of Coqweb Teaching proofs for freshmen with Coqweb Blanc, Giacometti, Hirschowitz, Pottier PATE 07

  • proofs fta

  • teaching proofs

  • jordan curve theorem

  • free-software interface designed

  • allow highly respectable


Voir plus Voir moins
TeachingproofsfrorfsemhneiwhtoCebqwanBlGic,omacitteriH,ohcsztiwtier,PotoducIntreTcaitnos,utehsrlos,ntdesaancigisfoorpdntonhcihWfoS?moseoionpforntsofCoqtrongpoibewTeachingproofsforfreshmenwithCoqwebPATE07Blanc,Giacometti,Hirschowitz,Pottier
134SomestrongpointsofCoqwebIntroduction2Teachers,students,logiciansandproofsWhichnotionofproof?fsforfromhseiwneeaTinchrogpcamoteitH,ricsohthCoqwebBlanc,GinoitcudosrehcaeTot,PtzwitrInertidnrpnaashWcioosfdent,stugicis,looigpsontesomontrorpfS?fotonhonoiCfqoewb
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin