首页> 外文OA文献 >Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories

【2h】

Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories

机译：忠实地将非正式数学证明的结构反映到形式类型理论中

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jojgov G.I.; Nederpelt R.P.; Scheffer M.;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A kinematic theory of rapid human movement. Part IV: a formal mathematical proof and new insights [J] . Plamondon R., Feng CH., Woch A. Biological Cybernetics: Communication and Control in Organisms and Automata: = Nachrichtenubertragung, Nachrichtenverarbeitung, Steuerung und Regelung in Organismen und in Automaten . 2003,第2期

机译：快速人体运动的运动学理论。第四部分：正式的数学证明和新见解
2. Does Comparing Informal and Formal Procedures Promote Mathematics Learning? The Benefits of Bridging Depend on Attitudes Toward Mathematics [J] . Hattikudur Shanta, Sidney Pooja G., Alibali Martha W The Journal of Problem Solving . 2016,第1期

机译：比较非正式程序和正式程序是否会促进数学学习？桥接的好处取决于对数学的态度
3. How Informal Out-of-School Mathematics Can Help Students Make Sense of Formal In-School Mathematics: The Case of Multiplying by Decimal Numbers [J] . Cinzia Bonotto Mathematical thinking and learning . 2005,第4期

机译：非正式校外数学如何帮助学生理解正规校内数学：乘以小数的情况
4. On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory [C] . Giuseppe Longo Types for Proofs and Programs . 2002

机译：关于类型理论中某些形式无法证明的命题和原型证明的证明
5. Type inference and unification: Formal and informal proofs in and around Wand's algorithm. [D] . Kothari, Sunil. 2011

机译：类型推断和统一：Wand算法及其周围的形式和非正式证明。
6. Numerical approximation abilities correlate with and predict informal but not formal mathematics abilities [O] . Melissa E. Libertus, Lisa Feigenson, Justin Halberda -1

机译：数值逼近能力与非正规但非正规数学能力相关并预测非正规数学能力
7. On church's formal theory of functions and functionals The λ-calculus: connections to higher type recursion theory, proof theory, category theory [O] . Longo Giuseppe 1988

机译：关于教堂的功能和泛函形式理论λ演算：与高级递归理论，证明理论，范畴论的联系

Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories

著录项

引文网络

相似文献

相关主题

期刊订阅