サクサク読めて、アプリ限定の機能も多数!
いつか勉強してみたら楽しそうだな。 Reading: ネット学習教材 - ドキュメント - SUGSI
rdfrk のブックマーク 2010/05/11 23:06
ネット学習教材 - ドキュメント - SUGSIいつか勉強してみたら楽しそうだな。 Reading: ネット学習教材 - ドキュメント - SUGSI2010/05/11 23:06
このブックマークにはスターがありません。 最初のスターをつけてみよう!
cai1.cs.shinshu-u.ac.jp2008/09/30
Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に,Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を...
589 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /
いつか勉強してみたら楽しそうだな。 Reading: ネット学習教材 - ドキュメント - SUGSI
rdfrk のブックマーク 2010/05/11 23:06
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ネット学習教材 - ドキュメント - SUGSI
cai1.cs.shinshu-u.ac.jp2008/09/30
Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に,Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を...
589 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /