Zobrazeno 1 - 10 of 19 086 pro vyhledávání: '"証明"'
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
中学校数学科における「証明をよむ活動」を取り入れた論証指導について
Autor: MASUBUCHI, Masato, TAKANO, Takaaki, OOTSUKA, Masaya, SAKURAI, Akihiro, AKIZAWA, Katsuki, TAKAHASHI, Shigehiro, HINO, Keiko, KAWAKAMI, Takashi
Publikováno v: 宇都宮大学共同教育学部教育実践紀要. (9):479-483
text
紀要論文 / Departmental Bulletin Paper
学習指導要領中学校数学科（2017年公示）では，第2学年の図形領域において，知識及び技能の習得だけでなく，論理的に確認したり，新たな性
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::4a58ee800a5f0df9b7f005cdc3e49b32
https://uuair.repo.nii.ac.jp/records/13595
Zobrazit plný text záznamu
8
循環証明体系におけるカット除去の反例について (証明と計算の理論と応用)
Autor: Masuoka, Yukihiro
Publikováno v: 数理解析研究所講究録. 2228:47-58
循環証明体系とはその証明図がサイクル付きの木の形になっている証明体系である．J. Brotherstonは帰納的定義付き一階述語論理に対する循環証明体系CLKIDWを提案した[4]．彼はCLKIDWにおけ
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::21dfe8a4d6c6d695b8cf0345c275b710
http://hdl.handle.net/2433/279725
Zobrazit plný text záznamu
10
CoqとIsabelle を用いたユークリッド原論の定理証明
Autor: Fumiya, IWAMA, Tadashi, TAKAHASHI
Publikováno v: 甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students. 5:1-16
ソフトウェアを用いて数学の定理の証明を行うことについては，多くのソフトウェアが開発されている。本研究では，定理証明ソフトウェアCoq とIsabelle を用いてユークリッド原論の定理
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::20313b7643fcc687281e86d38c82f22b
http://id.nii.ac.jp/1260/00003612/
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje