数理論理学 - Wikipedia
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学[1][2]、記号論理学[1][2]、数学基礎論[3]、超数学[4]は、数学の分野の一つであり[4]、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す[3][注 1]。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学[4]や理論計算機科学などがある[注 2][注 3]。 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版）に現れるもの）
Wikipediaがわかりにくいので（数学とか）、わかりやすいサイトを作ってみた - 大人になってからの再学習
このブログをはじめてから2年8か月と少し（ちょうど1000日くらい）が経った。 これまでに公開したエントリの数は299。 つまり、このエントリは記念すべき第300号！というわけ。 ブログとしてある程度の存在を認められるには300記事が1つの目安であるという説があるので[要出典]、 この300回目のエントリは当ブログにとって大きな節目と言える。 前回299号のエントリでは「なぜWikioediaはわかりにくいのか（数学とか）」という内容を書いた。 そこで言いたかったことを3行でまとめると次の通り。 ■ Wikipediaの説明は理工系の初学者にはわかりにくいね。 ■ そもそも説明のアプローチ（思想とも言う）が違うので、わかりにくくて当然だね。 ■ もっとわかりやすい説明の仕方がありそうだね。特に図を使った説明は直観的な理解を助ける力があるね。 まぁ、だいたいこんな感じ。 そして、その記事につ
受験の裏技･テクニックに11追加。化学と数学の実力の半分は、ぶっちゃけ計算力・・・。
受験の裏技･テクニックに11追加しました。⇒受験の裏技・テクニック 受験の裏技・テクニック 受験テクニック（下記の11番目まで）は「能ない鳶は能ある鷹をうめるか」からの抜粋です。他にも使えるテクニックがありますので興味をもたれた方は本編をお読みください。 化学と数学の実力の半分は、ぶっちゃけ計算力。⇒計算に苦手意識がある人は、今からでも遅くはありません。計算練習を始めましょう。 結局自分から進んで勉強した事しか、身に付かない。⇒勉強の効率が大きく違ってきます。 勉強日記をつける。でも勉強日記のために勉強するようになったら終わり。⇒自分が何をやったかを記録し、反省して次に活かしましょう。 志望校・志望学部の決定は、早ければ早いほど（色んな意味で）有利。⇒早めに志望校の過去問題に着手しましょう。 社会は、一番好きな科目を選択する。⇒分量の多い・少ないで選んでしまうと、苦痛を感じるときが出てきま
計算の裏技（速算術）＠受験の月
速算術について 願望 わずかな工夫で計算式を見る目が変わる強力な計算技巧があるにもかかわらず、何故学校で教わらないのか。まだ基本計算能力が固まっていない小学生低学年には早いかもしれないが、中学生以上の日本人には常識であって欲しい。 意義 数学の試験では最終的には計算スピードがものを言う。速算術は計算そのものの時間を短縮する以上に、筆算を書く必要がなくなることによる時間短縮効果が大きい。複雑な計算を避け、計算回数を減らすことで、計算ミスの減少にも貢献する。受験で役立つのはもちろん、実生活でも役立つ。 訓練 速算術は単に方法を知っているだけでは実戦で使えない。気に入ったものを普段から意識して使うようにして、少しずつ使えるものを増やしていく。慣れてきたら、複数の技巧を組み合わせて使うこともできるようになる。 原理 原理はほとんど省略した。特に掛け算の速算の原理は展開・因数分解が背景にあるので、中
リレーショナルデータベース入門―データモデル・SQL・管理システム - kagamihogeの日記
RDBMSの知識不足を感じて以来、ここのところその勉強に力を入れている。学習方針は、 達人に学ぶDB設計 徹底指南書 初級者で終わりたくないあなたへ - kagamihogeのblog等の著書のミック氏が推奨している方法で、理論と実装の両面から進めている。俺の場合、後者は、Oracleで主にパフォーマンスの観点から基本的原則を確認することをやり、前者は、本書のような書籍を通して行っている。 本書は、コンピュータサイエンス初年度の講義の教科書を想定して作られている。そのため、コンパクトながらもトピックの網羅性、それになにより各章が独立していながらも本一冊を通してみると一貫性が保たれているのが素晴らしい。また、章から章への論理展開が極めて明快なので読みやすい。もっとも、これは俺がある程度の実務経験という下地と、まがりなりにもコンピュータサイエンスの学部経験があるからこそ、の部分もあるだろうけど
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
資格取得のための数学
