Discrete Mathematics I

Bibliography

http://www.sw.it.aoyama.ac.jp/2021/Math1/biblio.html

Martin J. Dürst

日本語

(値段は消費税なし)

『プログラマの数学』，結城浩，ソフトバンクパブリッシング，2005．（この授業の前に，￥2,200）
『情報の基礎離散数学 - 演習を中心とした』，小倉久和，近代科学社，1999．（集合，関係，代数，論理回路，￥2,500）
『情報技術のための離散系数学入門』，尾関和彦，共立出版，2004．（集合，論理，関係，整数，￥3,300）
『情報代数（情報数学講座第二巻）』，小野寛晰，共立出版，1994．（集合，関係，代数，￥3,000）
『情報科学のための離散数学』，柴田正憲，浅田由良，コロナ社，1995．（集合，関係，論理，￥2,400）
『離散数学』，相利民，朝廣雄一，牛島和夫（編），コロナ社，2006．（集合，代数，数理論理，グラフ，￥3,000）
『離散数学への入門 - わかりやすい離散数学』，小倉久和，近代科学社，2005．（論理，集合，関係，代数，順序，￥2,400）
『情報系の数学入門』，林晋，八杉満利子，オーム社，1993．（集合，論理，命題，￥2,300）
『-情報の数理- 計算論理入門』，田中尚夫，裳華房，1997．（ブール代数，命題論理，述語論理，￥2,700）
『情報の論理数学入門 - ブール代数から述語論理まで』，小倉久和，高濱徹行，近代科学社，1991．（集合，関係，代数系，￥2,700）
『インターユニバーシティー - 情報数学』，鳥脇純一郎，石井直宏，鶴岡信治，オーム社，2001．（集合，関係，￥2,300）
『情報数学』，廣瀬健，電子情報通信学会（編），コロナ社，1985．（記号論理，集合，代数系，￥2,900）
『コンピュータサイエンスのための離散数学』，守屋悦朗，サイエンス社，1992．（集合，関係，論理，ブール代数：￥2,400）
『マグロウヒル大学演習・離散数学 -コンピュータサイエンスの基礎数学』，Seymour Lipschutz，成嶋弘（監訳），オーム社，1995．（集合，関係，命題，ブール代数，￥2,700）
『スマリヤン先生のブール代数入門 -嘘つきパズル・パラドックス・論理の花咲』，Raymond Smullyan，川辺治之（訳），共立出版，2008．（パズルを使ってブール代数の奥まで分かる，￥2,500）
『コンピュータのための数学 -論理アプローチ-』，David Gries，Fred B. Schneider，難波完爾・土居範久（監訳），日本評論社，2001．（ほぼカバーしているがレベルが高め，￥4,700）
『コンピュータの数学』，Ronald L. Graham，Donald E. Knuth，Oren Patashnik，有澤誠・安村通晃・荻野達也・石畑清（訳），共立出版，1993．（根本的な数学の本，￥9,000）
情報数学の基礎, 幸谷智紀, 國持良行
離散数学 (情報工学レクチャーシリーズ), 陳慰, 和田幸一
情報数学入門, サイエンステキストライブラリ (7), 野崎昭弘, 田中公治
Discrete Mathematics and Its Applications, Kenneth Rosen
やさしく学べる離散数学, September 30, 2007, 石村園子
Sets, Logic and Maths for Computing, May 20, 2020, David Makinson
岩波講座情報科学〈17〉離散数学 (1981年) Tankobon Hardcover – November 10, 1981 by 高橋磐郎 (著), 藤重悟 (著)
情報数学入門 Tankobon Hardcover – September 1, 2006 by 赤間世紀 (著), 長田康敬 (著), 玉城史朗
0と1の話 -ブール代数とシャノン理論- Tankobon Hardcover – September 24, 2013 by ポール・J・ナーイン (著), 松浦俊輔 (翻訳)

English

2000 Solved Problems in Discrete Mathematics, Seymour Lipschutz and Marc L. Lipson, McGraw-Hill, 1992.
Mathematical Structures for Computer Science, Judith L. Gersting, Computer Science Press, 1993.
A Logical Approach to Discrete Math, David Gries and Fred B. Schneider, Springer, 1993.
Concrete mathematics: a foundation for computer science, Ronald L. Graham, Donald E. Knuth, and Oren Patashnik, Addison-Wesley Publishing, 1989.
Proofs and Fundamentals - A First Course in Abstract Mathematics, Ethan D. Bloch, Birkhäuser, 2000.
Comprehensive Mathematics for Computer Scientists 1, Second Edition, Guerino Mazzola, Gérard Milmeister, and Jody Weissman, Springer Universitext, 2006.
The Magical Garden of George B. And Other Logic Puzzles, Raymond Smullyan, Polimetrica, 2007.
A New Kind of Science, Stephen Wolfram, Wolfram Media, 2002.

先生の部屋に見本があるので、見たいときには気軽に研究室 (O-529) に来てください。