PDF Library
PDF教材ライブラリ
WIISの教材を、読みやすいPDF形式に整理・編集して提供しています。Web教材を横断的にまとめた一冊のテキストとして、オフライン環境でも学習できます。PDF教材はプレミアム会員・サポーター会員向けの特典です。
PDF教材
命題論理のPDF教材です。命題、論理式、真理値表、恒真式、同値変形、推論、証明までを体系的に解説。大学数学・情報科学・計算機科学の基礎となる論理学を、豊富な例題と演習を通して学べます。プレミアム会員・サポーター会員向け教材です。
述語論理のPDF教材です。命題関数、議論領域、量化記号、論理的同値、推論規則、証明までを体系的に解説。数学・情報科学・人工知能の基礎となる述語論理を、豊富な具体例と演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。
集合論のPDF教材です。集合の定義、集合演算、集合族、直積、選択公理、集合列の上極限・下極限・極限までを体系的に解説。大学数学の基礎となる集合論を、豊富な具体例・証明・演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。
写像のPDF教材です。写像の定義、グラフ、像・逆像、合成写像、逆写像、単射・全射・全単射、左右逆写像、シュレーダー＝ベルンシュタインの定理までを体系的に解説。豊富な具体例・証明・演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。
関係のPDF教材です。二項関係の定義、自己関係、逆関係、合成関係、関係どうしの演算、反射律・対称律・反対称律・推移律などの性質から、同値関係、同値類、商集合、集合の分割までを体系的に解説。豊富な具体例・証明・演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。
論理学のPDF教材です。命題論理・述語論理を体系的に学べる統合版教材。命題、論理式、真理値表、命題関数、量化記号、論理的同値、推論規則、証明までを網羅的に解説します。大学数学・情報科学・人工知能の基礎となる論理学を、豊富な具体例と演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。