プログラミング言語リンク集その他/ 離散数学リンク集

離散数学リンク集

目次

基礎
グラフ理論
形式言語理論
代数系
数理論理学

基礎

離散数学 (2014年度前学期)
http://dopal.cs.uec.ac.jp/okamotoy/lect/2014/discretemath/
電気通信大学岡本吉央さんによる離散数学の講義資料。 学生のコメントとそれに対する回答が面白い。 2013年度2012年度
離散構造[PDF]
http://logic.cs.tsukuba.ac.jp/~kam/lecture/discrete2013/text/main.pdf
筑波大学で使用されている離散構造のテキスト。 論理、集合、関数、関係、グラフと木、機能的定義と帰納法。
情報数学
http://f-server.ics.kagoshima-u.ac.jp/~fuchida/info-math/
鹿児島大学渕田孝康さんによる離散数学のテキスト。
2011年度(平成23年度)離散数学(和歌山大学)
https://www.math.kyoto-u.ac.jp/~kikuchi/parttime/wakayama2011/dis/2011dis.html
京都大学菊地克彦さんによる離散数学の講義資料。 線形代数、有限群。

グラフ理論

「グラフ理論」と「組み合わせ最適化アルゴリズム」の教科書PDF。離散数学の入門用の教科書
http://d.hatena.ne.jp/language_and_engineering/20140528/GraphTheoryPDFLectureNotes
グラフ理論と組み合わせ最適化アルゴリズムに関するPDF文書のリンク集。
6.グラフ[PDF]
http://www.jaist.ac.jp/~uehara/course/2007/i216/pdf/04graph1mini.pdf
北陸先端科学技術大学院大学上原隆平さんによるグラフ理論の講義資料。
グラフ理論 講義ノート[PDF]
http://chaosweb.complex.eng.hokudai.ac.jp/~j_inoue/graph2007/GRAPH2007.pdf
北海道大学井上純一さんによるグラフ理論の講義資料。 章ごとに分割したものもある。
授業に使用する資料置き場です
http://www.kobepharma-u.ac.jp/~knot/document/
神戸薬科大学内田吉昭さんによるグラフ理論などの講義資料。
http://coconut.sys.eng.shizuoka.ac.jp/gn/12/
静岡大学安藤和敏さんによるグラフ理論の講義資料。
アルゴリズム概論 講義資料[PDF]
http://ito-lab.naist.jp/lecture/alg04/alg-graph.pdf
奈良先端科学技術大学院大学伊藤実さんによるグラフ理論の講義資料。
7.グラフとネットワークのアルゴリズム[PDF]
http://www2.kobe-u.ac.jp/~ky/da2/haihu02.pdf
神戸大学山口一章さんによるグラフ理論の講義資料。

形式言語理論

競技プログラマ向け形式言語理論入門[PDF]
http://www.kmonos.net/pub/Presen/JOI_FL.pdf
Google稲葉一浩さんによる形式言語理論の講演資料。
形式言語理論基礎[PDF]
http://ito-lab.naist.jp/mediawiki/images/3/3e/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E%E7%90%86%E8%AB%96%E5%9F%BA%E7%A4%8E-2013.pdf
奈良先端科学技術大学院大学伊藤実さんによる形式言語理論の講義資料。
「形式言語理論」 インデックス
http://www.chimaira.org/docs/indexFLT.htm
檜山正幸さんによる形式言語理論についての記事。 檜山さんのブログにも、 「形式言語理論のための代数」など、 形式言語理論についての記事がある。
第2回 形式言語理論の基礎[PDF]
http://home.hiroshima-u.ac.jp/fujita/Class/Compiler/20090417.pdf
広島大学藤田聡さんによる形式言語理論の講義資料。
数学基礎論サマースクール- モデル理論 -[PDF]
http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/lectures/2011kobe_tsuboi.pdf
筑波大学坪井明人さんによるモデル理論の講義資料。
I113 オートマトンと形式言語[PDF]
http://www.jaist.ac.jp/~uehara/course/2006/i113/00premini.pdf
北陸先端科学技術大学院大学上原隆平さんによる形式言語理論の講義資料。
講義資料
http://www-ikn.ist.hokudai.ac.jp/~kida/lecture.html
北海道大学喜田拓也さんによる情報理論や形式言語理論などの講義資料。
『ソフトウェアサイエンスの基本』シリーズ第1回 「言語理論の話をしよう」
https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_61/_article/-char/ja/
奈良先端科学技術大学院大学関浩之さん和歌山大学鯵坂恒夫さんによる形式言語理論のチュートリアル。

代数系

代数系への入門[PDF]
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/daisu-a.pdf
広島大学松本眞さんによる代数系の講義資料。
「代数系」の問題[PDF]
http://web.sfc.keio.ac.jp/~kawazoe/math/book/d-chap7.pdf
慶応大学河添健さんによる代数系の問題とその解答。
第7章:離散代数系[PDF]
http://f-server.ics.kagoshima-u.ac.jp/~fuchida/info-math/im-sec07.pdf
鹿児島大学渕田孝康さんによる代数系の講義資料。
数理科学概論[PDF]
http://isw3.naist.jp/IS/Curriculum/05/outline/05-introduction_to_mathematical_science_ii/intro-ms-II-r1.pdf
奈良先端科学技術大学院大学阪井章さんによる代数系と組合せ理論の講義資料。
第8回「順序集合-半順序集合、束、ブール束」[PDF]
http://aiweb.cs.ehime-u.ac.jp/~ninomiya/im1/im1-8.pdf
愛媛大学二宮崇さんによる、束とブール代数に関する講義資料。
離散数学入門 a・講義資料 [PDF]
http://www.comp.tmu.ac.jp/y-uchida/lectures/2014idma/idma_algebra1.pdf
首都大学東京内田幸寛さんによる代数系の講義資料。
論理代数を学ぼう
http://maicommon.ciao.jp/ss/dscrtMath2/alg/
中京大学伊藤誠さんによる論理代数のゼミノート。
代数学
http://hooktail.org/misc/index.php?%C2%E5%BF%F4%B3%D8
物理のかぎしっぽというサイトの中にある代数学のサイト。

数理論理学

オンラインで入手できる数理論理学・数学基礎論のテキスト
http://klapaucius.web.fc2.com/logic/online-textbooks.html
タイトルのとおり。
数理論理学入門
http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/
京都大学高崎金久さんによる数理論理学の講義資料。
数理論理学(命題論理と述語論理)[PDF]
http://www.mi.s.osakafu-u.ac.jp/~kada/course/kamo-predicatelogic.pdf
大阪府立大学嘉田勝さんによる数理論理学の講義資料。
数理論理学 講義ノート(2013年度版)
http://researchmap.jp/mu3y30bsf-1782995/
大阪府立大学嘉田勝さんによる数理論理学の講義資料。
神戸大学での講義のページ
http://kurt.scitec.kobe-u.ac.jp/~fuchino/kobe/
神戸大学渕野昌さんによる数理論理学の講義資料。
数理論理学I[PDF]
http://www.math.tsukuba.ac.jp/~tsuboi/gra/lecturenote(12).pdf
筑波大学坪井明人さんによる数理論理学の講義資料。
数理論理学への招待[PDF]
https://hermes-ir.lib.hit-u.ac.jp/rs/bitstream/10086/10822/1/ronso1110401530.pdf
一橋大学永島孝さんによる数理論理学についての読み物。
プログラミング言語リンク集その他/ 離散数学リンク集

Last modified: Monday, 16 February 2015
Copyright (C) 2015 Daikoku Manabu