オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
ネットで学べ！無料でトップレベルの学習ができる６つの独学サイト
今回はウェブ上で学ぶことができる学習サイト・学習サービスを厳選してご紹介します。 全て無料で利用することができるので、興味のある講座があれば空いた時間に学んでみましょう！ 学習欲を刺激する良質な６つの独学サービス YouTube EDUで世界の講義を聴こう！ EDU - YouTube 「YouTube EDU」は大学講義などの動画を閲覧できるサービスです。 世界のトップレベルの講義・講座を聞くことができますよ！ 東京大学の講義ビデオ・ノートまとめ 東京大学 講義 UT OpenCourseWare あの東京大学の講義ビデオや講義ノートが公開されているので、東大に入学した気分で良質な講義を聞くことができます。 学科名・研究科名、講義名、先生の名前から検索できるのも便利。 京都大学の講義まとめ 京都大学OCWへようこそ 京都大学の講義を閲覧することができます。 世界の京大がやる講義はやっぱり
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
勉強会で意識したい７つの学習パターン - ギークを夢見るじょーぶん男子
「パターン・ランゲージ」って知ってますか？このパターン・ランゲージは、建築家のクリストファー・アレグザンダーが提唱した知識記述の方法で、建物や街の形態に繰り返し現れる法則性を「パターン」と呼び、それを「言語」（ランゲージ）として記述・共有する方法を考案したそうです。 その「パターン・ランゲージ」を学習へと適用したのが、「学習パターン」。 学習パターン (Learning Patterns) 学びのデザインのコツをマニュアル化せずに伝えるために、「パターン・ランゲージ」の記述方法をとることにしました。これにより、学生自身が考えるチャンスを奪うことなく、しかも多様な状況に対応することができるようになると考えました。 読んでみたので、「勉強会で意識したい７つの学習パターン」としてまとめてみました。 学びの竜巻 Tornado of Learning (c) かめらん｜写真素材 PIXTA 与えら
急がばまわれ式・堅実で一番効率的な英語の勉強法
急がばまわれ式・堅実で一番効率的な英語の勉強法 はてな界隈では、定期的に英語の習得法が話題になるが、俺もそろそろ参入してみようかな、と。 ■自己紹介 俺の英語力は、TOEIC975点、実用書・平易なペーパーバックなら辞書なしで速読できるレベル。 CNN/BBCが字幕なしで理解できて、それなりに気のきいたことも英語で話せる。 語彙力は、http://www.wordengine.jp/vcheckで測定してみたところ、約２００００語。 海外経験なしで、毎朝コツコツと勉強してきた。 ■趣旨 英語力を身につける＝ピラミッドを構築する作業である。 だが、巷にあふれかえる英語の勉強法は、基礎力がないのにいきなり実践を勧めるものが多い。 例えば、臆せずに何でもいいからしゃべってみろだの、辞書をひきながら本を読めだの。 この手の勉強方法は、学習者のコンフォート・ゾーン（快適な領域）を外れることが多く、大
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【良質の独学サイト】分野は、数学、統計学、コンピュータ言語、英語、金融・経済など分野は問いません。【eラーニング】以下の条件にあうサイトを沢山教えて下さい.. - 人力検索はてな
