Teaching proofs for freshmen

Blanc, Giacometti, Hirschowitz, Pottier

Description

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

Sujets

• Jordan curve theorem

Informations

• Publié par: pefav
• Nombre de lectures: 10
• Langue: English

Extrait

Teachingproofsfro rfsemhne iwhtoCebqw anBlGic,omacitte riH , ohcsztiwtier,Pot oducIntr eTca itno s , ut ehsr los,ntdes a ancigi sfoorpdn tonhcihW fo S ? mose oion p f or ntsofCoq trong poibew Teachingproofsforfreshmen withCoqweb PATE07 Blanc,Giacometti,Hirschowitz,Pottier

1 3 4 SomestrongpointsofCoqweb Introduction 2 Teachers,students,logiciansandproofs Whichnotionofproof? fsfo rf ro mhse iw ne eaTinchrogp camoteit H , ricsoh thCoqweb Blanc,Gi noitcudo srehcaeT ot,Ptzwi trIn erti dnrp na a s hWci oosf dent , stugicis,lo oi g psont esomontr orp f S ?fo tonhonoi Cfqoewb