上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: MA41)
該当件数:129件
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
電子ブック <1003102746>
図書 <1002934025>
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
図書 <1001385028>
オートマトン論 / Arto Salomaa著 ; 北川敏男, 佐藤優子共訳
東京 : 共立出版 , 1974.10
図書 <1001393415>
ヒルベルト数学の問題 : ヒルベルトの問題 / D.Hilbert著 ; 一松信訳・解説
増補版. - 東京 : 共立出版 , 1972.2. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 4)
図書 <1001410722>
計算論 / 広瀬健著
東京 : 朝倉書店 , 1975.1. - (近代数学講座 / 小松勇作編集 ; 19)
図書 <1001425655>
数学論 : 数学的認識の本性 / G.I.ルザービン著 ; 山崎三郎, 柴岡泰光訳
東京 : 岩波書店 , 1977.12
図書 <1001413054>
複素数と複素数平面 / 一松信著
東京 : 森北出版 , 1993.8. - (新数学入門シリーズ / 一松信編集 ; 3)
図書 <1000241961>
数理と論理 / 永田久著
東京 : 法政大学出版局 , 1970
図書 <1000175247>
集合と論理 / 井関清志著
第2刷. - 東京 : 新曜社 , 1981.4. - (基礎数学叢書 / 一松信, 竹之内脩編集 ; 2)
図書 <1000201392>
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
図書 <1000139454>
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
図書 <1000142391>
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
図書 <1000148580>
アルゴリズム / コーフェージ著 ; 西田英郎訳
東京 : 東京図書 , 1971.3
図書 <1001006369>
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
図書 <1000017991>
無限と心 : 無限の科学と哲学 / ラディ-・ラッカ-著 ; 好田順治訳
京都 : 現代数学社 , 1986.5
図書 <1000019867>
組合せ論入門 / G.ポリア[ほか]著 ; 今宮淳美訳
東京 : 近代科学社 , 1986.9
図書 <1000019888>
論理数学 / 田村三郎著
京都 : 現代数学社 , 1982.9
図書 <1000099843>
オートマトン・言語理論 / 本多波雄著
東京 : コロナ社 , 1972.3. - (情報工学講座 ; 6)
図書 <1000042454>
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
図書 <1000043851>