Teaching proofs for freshmen

pages

English

Documents

Écrit par
Blanc , Giacometti , Hirschowitz , Pottier

Publié par
pefav

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe et accède à tout notre catalogue !

Je m'inscris

Découvre YouScribe et accède à tout notre catalogue !

Je m'inscris

pages

English

Documents

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

pefav

Nombre de lectures

Langue

English

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

Publié par

pefav

Langue

English

Jordan curve theorem

TeachingproofsfrorfsemhneiwhtoCebqwanBlGic,omacitteriH,ohcsztiwtier,PotoducIntreTcaitnos,utehsrlos,ntdesaancigisfoorpdntonhcihWfoS?moseoionpforntsofCoqtrongpoibewTeachingproofsforfreshmenwithCoqwebPATE07Blanc,Giacometti,Hirschowitz,Pottier

134SomestrongpointsofCoqwebIntroduction2Teachers,students,logiciansandproofsWhichnotionofproof?fsforfromhseiwneeaTinchrogpcamoteitH,ricsohthCoqwebBlanc,GinoitcudosrehcaeTot,PtzwitrInertidnrpnaashWcioosfdent,stugicis,looigpsontesomontrorpfS?fotonhonoiCfqoewb

Voir