fmcbook：Matemática基础计算书：Thanos Tsouanas的书（葡萄牙语）
需积分: 5 39 浏览量
2021-02-20
05:34:31
上传
评论
收藏 611KB ZIP 举报
fmcbook：Matemática基础计算书：Thanos Tsouanas的书（葡萄牙语） （146个子文件） 
fmcrefs.bib 45KB fmcbook.bib 250B BUGS 0B shadowing.c 199B freeboundvars.c 62B onlydeclarevars.c 41B typefoo.c 37B fmcconf.tex.default 52B .gitignore 214B .gitignore 14B EnumPairs.hs 1KB LICENSE 84B Makefile 655B README.md 360B currying.py 182B higher.py 175B intext.py 110B uselessnaming.py 74B higherlam.py 39B alpharename1.py 27B alpharename2.py 27B alpharename3.py 27B etawrap.py 26B boundtonothing.rs 41B mkbuild.sh 849B mkupload.sh 574B mkreport.sh 436B fmcmain.tex 1.86MB fmcfriends.tex 5KB fmcpreface.tex 3KB quogrppartitionednonames.tex 2KB fmcpreface.tex 2KB cantorset.tex 2KB fmcfirst.tex 2KB varbindings4.tex 2KB varbindings5.tex 2KB fmcfirst.tex 2KB quogrpoutsidemess.tex 2KB chessproblem.tex 2KB fmcappendix.tex 1KB dedekindcut_base.tex 1KB blackboxrelcompt.tex 1006B blackboxfuncompassoc0.tex 893B quogrppartitioned2colors.tex 856B varbindings3.tex 802B varbindings2.tex 801B disjunion2.tex 742B quogrpzoomout.tex 742B fmcmath.tex 718B imgpreimgpointsetsbase.tex 707B gofconstantdoesnotimply.tex 693B fmc.tex 672B blackboxfuncomp1.tex 658B blackboxfuncomp2.tex 643B venn4wrongmarked.tex 633B disjunion3.tex 620B fmcback.tex 605B blackboxrel.tex 576B infinitestretch_hint.tex 572B mono_implies_inj0.tex 556B dih4base.tex 532B quogrppartitioned3colors.tex 502B not_injective0.tex 502B disjunion0.tex 499B internaldiagramendo1.tex 499B blackboxfuneta0.tex 497B blackboxrelcomp0.tex 493B internaldiagramrel0.tex 488B reldiagclosures0.tex 488B blackboxfunpartapp3.tex 484B blackboxfuncompsubset0.tex 476B internaldiagramnoelems.tex 476B blackboxfunpartapp2.tex 472B dedekindcut_sqrttwo.tex 457B fmclast.tex 449B fmcfriends.tex 439B fmcfriends.tex 438B internaldiagramendobase.tex 434B eqrel2partitionbase.tex 433B reldiagclosuresbase.tex 404B epic_implies_surj0.tex 404B disjunion1.tex 385B quogrppartitioned.tex 384B blackboxset.tex 382B blackboxfunpartapp1.tex 379B quogrpsubgroupelems.tex 376B epic_implies_surj1.tex 376B quogrpRpartitioned.tex 360B quogrpLpartitionedmistake.tex 359B quogrpLpartitioned.tex 359B hassedih4edges.tex 354B fmcack.tex 351B mono_implies_inj1.tex 346B dih3rotbase.tex 346B venn4wrong.tex 343B dih3base.tex 343B eqrel2partitiondesired.tex 332B blackboxfuncomp3.tex 328B blackboxfunsucc.tex 324B hassedih4.tex 321B共 146 条
- 1
- 2
资源评论
