ネット学習教材 - ドキュメント - SUGSI
Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に，Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を行うコンピュータネットワーク山崎コンピュータネットワークの基本的考え方を学ぶ・OSI７階層モデル・通信方式・同期方式・データ伝送制御(ポーリング,トークン,CSMA/CD)・誤り制御・プロトコル(基本型データ伝送制御手順,HDLC)交流理論基礎と実験中村交流回路の知識はコンピュータのインターフェースや伝送系を考えるときに必須のものです.ここでは最低限の知識の習得と、それに伴う実験をしてもらいます. ・交流と複素数による表現・コンデンサーと交流・コイルと交流・各種波形と過渡現象Mizar5-基本群と不動点定理-師玉Mizar3の準備のもとに，基本群や２次元の不動点定理を題材に，位相数学
数学ビデオ「Dimensions」をニコニコ動画にアップしました(and also BitTorrent) - MediaLab Love Chapter 2
DimensionsとはフランスのJos Leys, Etienne Ghys, Aurelien Alvarezさん達が作成された数学教育用の動画です。全9章で、1章あたり14分ほどあります。射影幾何、多胞体、複素数、トポロジーがCGで分かりやすく解説されています(といっても、最後の方になると難しくなってきますが、特にファイブレーションなんて聞いたこともない単語です。)。 第1章 2次元 第2章 3次元 第3章 第4次元 第4章 第4次元 第5章 複素数 第6章 複素数 第7章 ファイブレーション 第8章 ファイブレーション 第9章 証明 動画のライセンスがCreative Commons(BY-NC-ND)になっていましたので、ニコニコ動画にアップロードしてみました。日本語版に字幕をつけています。字幕の翻訳とナレーションを担当されているのは、東京大学の坪井俊先生です。お疲れ様でした。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
