上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 410.96)
該当件数:115件
コンピュータサイエンスにおける様相論理 / 鹿島亮著
東京 : 森北出版 , 2022.1
図書 <1003202385>
フレーゲ・ルネサンス : 言語・論理・数学の哲学への招待 = Frege renaissance : an invitation to his philosophy of language, logic and mathematics / 野本和幸著
東京 : 東京大学出版会 , 2023.9
図書 <1003230080>
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
図書 <1003204729>
記号論理学 / 山本新, 入江俊夫, 田村高幸著
東京 : 朝倉書店 , 2023.11
図書 <1003231421>
記号論理学 / 加藤浩, 辰己丈夫編著
新訂. - 東京 : 放送大学教育振興会 , 2024.3. - (放送大学教材 ; 1579428-1-2411)
図書 <1003236786>
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 / マーティン・ディヴィス著 : 岩山知三郎訳
東京 : コンピュータ・エージ社 , 2003.7
図書 <1001440571>
記号論理学入門 / 松原康夫著
東京 : 創成社 , 2006.11
図書 <1001797377>
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
東京 : コロナ社 , 2014.10
図書 <1002723803>
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
図書 <1002522210>
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
図書 <1002533851>
1と0との物語 / 日野寛三著
[東京] : 東京図書出版 , 2012.5
図書 <1002548003>
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
図書 <1002602715>
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
図書 <1002181883>
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)
図書 <1002577169>
現代数理論理学入門 / J.N.クロスリー他著 ; 田中尚夫訳
復刊. - 東京 : 共立出版 , 2017.4
図書 <1002917008>
「ならば」騒乱 / 本橋信義著
東京 : 幻冬舎メディアコンサルティング. - 東京 : 幻冬舎 (発売) , 2018.3
図書 <1002970245>
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 <1002938261>
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
図書 <1003192501>
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
電子ブック <1003114829>
万能コンピュータ : ライプニッツからチューリングへの道すじ / マーティン・デイヴィス原著 ; 沼田寛訳
チューリング生誕100周年記念版. - 東京 : 近代科学社 , 2016.11
図書 <1002895823>