資料公開
| タイトル | 連続体仮説が実数の解析的性質に与える影響 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 大学院講義用に作った資料です。連続体仮説を仮定すると累次積分順序交換で値が変わる関数を構成できるというSierpinskiの結果の紹介。 |
| タイトル | Iterated forcing and the Sierpinski-Zygmund number |
|---|---|
| カテゴリ | その他 |
| 概要 | Iterated forcing and the Sierpinski-Zygmund number （プレプリント） |
| タイトル | 数理論理学 講義ノート (2012 年度版) |
|---|---|
| カテゴリ | その他 |
| 概要 |
※2013年度版の公開に伴い、公開を停止します。今後は2013年度版をご利用ください。 完全性定理の証明（演繹体系は自然演繹）を目標とした大学3年次半期講義向けの講義ノート。2012年後期に嘉田の授業で使用予定。ツッコミ歓迎。 |
| タイトル | 数学短編小説「博士の愛したNP完全問題」 |
|---|---|
| カテゴリ | その他 |
| 概要 | この文章は、大阪府立大学理学部情報数理科学科ウェブサイト内「情報数理科学講座」の記事として、情報数理科学の一分野である「計算量理論（計算の複雑さ理論）」を紹介する目的で書いた「数学小説」です。表題からお察しのとおり、小川洋子「博士の愛した数式」のパロディです。本稿で題材にした決定問題のNP完全性についてご教示くださった西村治道氏に感謝します。 |
| タイトル | 続・行列の国のアリス---固有ベクトルと固有値 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 |
高校生向け講義の資料． （訂正） p.2 本文下から1行目（誤）125個の点（正）121個の点 |
| タイトル | 数理論理学 講義ノート（2013年度版） |
|---|---|
| カテゴリ | 講義資料 |
| 概要 |
【2016-09-23:このページから資料がダウンロードできない不具合の報告を受けています．暫定的に、この「資料公開」コンテンツの別項目としてあらためてアップロードしてあります】 完全性定理の証明（演繹体系は自然演繹）を目標とした大学3年次半期講義向けの講義ノート。2013年度前期に嘉田の授業で使用予定。ツッコミ歓迎。 【訂正】 p.23,l.2 （誤）φ を言語 L の閉論理式で… （正） φ を言語 L の論理式で… p.23,脚注2行目 （誤）tに現れる変数記号が代入後の… （正）sに現れる変数記号が代入後の… |
| タイトル | 超冪による自然数論の超準モデルの構成【2014年6月11日改訂】 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 |
【2014年6月11日改訂】 超冪による自然数論の超準モデルの構成 （数理論理学講義資料） ↓「数理論理学講義ノート」の用語や記法を前提にしています。あわせてご参照ください。 http://researchmap.jp/mu3y30bsf-1782995/#_1782995 |
| タイトル | 行列の国のアリス：平面の1次変換と行列式 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 高校生向け体験講義の資料。平面の1次変換と行列式について。 |
| タイトル | 線形代数ノート：ベクトル空間と1次写像を理解するために |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | （講義資料）線形代数ノート：ベクトル空間と1次写像を理解するために |
| タイトル | 【再登録】数理論理学 講義ノート （2013年度版） |
|---|---|
| カテゴリ | 講義資料 |
| 概要 |
（以前にアップロードしたものがダウンロードできないという現象が確認されているため、試験的に、同じファイルをあらためてアップロードします） 【訂正】 p.23,l.2 （誤）φ を言語 L の閉論理式で… （正） φ を言語 L の論理式で… p.23,脚注2行目 （誤）tに現れる変数記号が代入後の… （正）sに現れる変数記号が代入後の… |