Jump to main content

yr 〜
yr

Search results 212

数学の思考法 : 日常で使う論理と論理学

数学の思考法 : 日常で使う論理と論理学
Paper図書
望月朝恵 著成文堂2024.8<MA41-R9>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

記号論理学 新訂 (放送大学教材. 情報コース/専門科目)

記号論理学 新訂 (放送大学教材. 情報コース/専門科目)
PaperDigital図書障害者向け資料あり
加藤浩, 辰己丈夫 編著放送大学教育振興会2024.3<MA41-R3>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

記号論理学

記号論理学
Paper図書
山本新, 入江俊夫, 田村高幸 著朝倉書店2023.11<MA41-M54>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

哲学と論理 : 記号論的方法

哲学と論理 : 記号論的方法
Paper図書
大窪徳行せりか書房2023.12<H35-R1>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

計算論理と人間の思考 : 推論AIへの論理的アプローチ

計算論理と人間の思考 : 推論AIへの論理的アプローチ
Paper図書
ロバート・コワルスキ 著, 坂間千秋 監訳, 尾崎竜史, 伊藤武芳 訳九夏社2025.3<M121-R181>
National Diet LibraryOther Libraries in Japan
  • Author introduction...分野は，計算機科学，人工知能，数理論理学など。著書に『エージェントアプローチ人工知能 第2版』（共訳...
  • Authority（Subject Heading/altLabel）Information science Computer science 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数学教師が教えるやさしい論理学

数学教師が教えるやさしい論理学
Paper図書
涌井良幸 著ベレ出版2023.3<MA41-M50>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理パズルで楽しく学べる論理学

数理パズルで楽しく学べる論理学
Paper図書
藤田憲悦 著コロナ社2022.3<MA41-M42>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

ろんりの相談室 : 大学1年生の真理値表と体系

ろんりの相談室 : 大学1年生の真理値表と体系
PaperDigital図書
鈴木登志雄 著日本評論社2021.7<MA41-M35>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

計算理論と数理論理学

計算理論と数理論理学
Paper図書
田中一之 著共立出版2022.6<MA41-M44>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が，両分野の...
  • Authority（Subject Heading/altLabel）Computational complexity 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

まるさんかく論理学 : 数学的センスをみがく (中公文庫 ; の18-1)

まるさんかく論理学 : 数学的センスをみがく (中公文庫 ; の18-1)
PaperDigital図書
野崎昭弘 著中央公論新社2021.6<MA41-M33>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数学の盲点とその解明 2 復刻版

数学の盲点とその解明 2 復刻版
Paper図書
石谷茂 著現代数学社2022.3<MA21-M265>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）Logic, Symbolic and mathematical 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学

文系のための記号論理入門 : 命題論理から不完全性定理まで

文系のための記号論理入門 : 命題論理から不完全性定理まで
Paper図書
金子裕介 著朝倉書店2021.5<H35-M19>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

論理学への数学的手引き

論理学への数学的手引き
Paper図書
Herbert B.Enderton [著], 嘉田勝 訳1月と7月2020.9<MA41-M27>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

論理と集合 : 数学を理解するための基礎

論理と集合 : 数学を理解するための基礎
Paper図書
辻一夫 著サンライズ出版2020.6<MA41-M23>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

論理と分析 : 文系のための記号論理入門

論理と分析 : 文系のための記号論理入門
Paper図書
金子裕介 著晃洋書房2019.8<H35-M6>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

スマリヤン数理論理学講義 下巻

スマリヤン数理論理学講義 下巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2018.9<MA41-L89>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

タブロー法による直接証明の発見 第2版

タブロー法による直接証明の発見 第2版
Paper図書
中西泰雄 著デザインエッグ2018.3<MA41-M52>
National Diet Library
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
Paper図書
山田俊行 著森北出版2018.7<MA41-L87>
National Diet LibraryOther Libraries in Japan
  • Toc / Article序章　数理論理学とは 第1章　論理式：記号を使って主張を表す 第2章　証明法...
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

「ならば」騒乱

「ならば」騒乱
Paper図書
本橋信義 著幻冬舎メディアコンサルティング2018.3<MA41-L80>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

計算論理入門 : 情報の数理 オンデマンド版

計算論理入門 : 情報の数理 オンデマンド版
Paper図書
田中尚夫 著裳華房2018.3<MA41-L78>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...って 4．命題論理学 4.1　数理論理学 4.2　命題論理 4.3　命題論理の形式的システム 4.4...
  • Summary, etc.広い意味での数理論理学の題材の中から、情報科学と関連の深いいくつかの話題を選び、そ...
  • Author introduction...共著、東京大学出版会）、『現代数理論理学入門』（翻訳、共立出版）などがある。
RSS