加藤浩, 辰己丈夫 編著放送大学教育振興会2024.3<MA41-R3>
国立国会図書館全国の図書館
- 要約等記号論理学とは、論理を論理式という数式の......推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議...
- 件名記号論理学
放送大学教育振興会[2014]<YL321-L7736>
国立国会図書館
山本新, 入江俊夫, 田村高幸 著朝倉書店2023.11<MA41-M54>
国立国会図書館全国の図書館
- 要約等記号論理学の概説書。命題論理,述語論理,様相論理,直観主義論理の完全性...
- 件名記号論理学
宮本 雲平<Z71-D932>秋田県立大学総合科学研究彙報 = Akita Prefectural University RECCS bulletin / 秋田県立大学総合科学教育研究センター 編(22):2021p.109-119
国立国会図書館全国の図書館
放送大学教育振興会[2014]<YL321-L7724>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7726>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7728>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7735>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7734>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7733>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7725>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7723>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7729>
国立国会図書館
加藤浩, 土屋俊 著放送大学教育振興会2014.3<MA41-L23>
国立国会図書館全国の図書館
- 目次・記事...の健全性と完全性 15.役立つ記号論理学
- 要約等記号論理学とは,論理を論理式という数式の......推論の正しさを証明したりする。記号論理学は,数学,哲学,計算機科学などの基礎となるほか,論文執筆や議...
- 件名記号論理学
放送大学教育振興会[2014]<YL321-L7727>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7730>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7732>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7731>
国立国会図書館
放送大学教育振興会[2014]<YL321-L7722>
国立国会図書館
元良勇次郎 [著], 大山正 監修, 大泉溥 編集主幹, 『元良勇次郎著作集』刊行委員会 編集クレス出版2017.12<YU7-L2486>
国立国会図書館全国の図書館
- 内容細目... 伊藤 直樹/著 元良勇次郎の記号論理学と計算器械をめぐって 西川 泰夫/著 明治の文学と元良勇次郎...