用語索引へ 最初の章 前書き 0. はじめに 0.1 論理学の素養が必要になる理由 0.2 集合論との関連が問題を複雑にしている 0.3 作文指導には論理学の知識を応用する 0.4 古典的な論理学は二値論理学である 0.5 用語を理解することから始める 0.6 英語の用語が増えたこと 0.7 論理学の前に言語学があること 0.8 英語と日本語との異同を理解しておくこと 0.9 名詞と動詞の機能を理解しておくことが基本 1 用語の定義と解説 1.1 一般的な論理学の用語 1.1.0 学問と技術とを区別して理解する 1.1.1 論理学 1.1.2 二値論理学 1.1.3 名辞 1.1.4 命題 1.1.5 三値論理学 1.1.6 推論 1.1.7 条件文と仮定文 1.1.8 演繹 1.1.9 帰納 1.1.10 証明 1.2 論理演算に関係する用語 1.2.0 基本的な演算の約束 1.2.1
Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Research Interest Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics Lambda Calculus and Type Theory Implicit Computational Complexity 講義資料等 コンピュータサイエンス基礎(2020年度) 数理論理学I(命題論理) 数理論理学II(不完全性定理) コンピュータにできること・できないこと 『数学セミナー』2015年11月号掲載記事の草稿 NASH村とスライム退治：整列擬順序入門 「代数学入門」入門としての普遍代数学 直観主義論理への招待 著書（一般向け読み
0. 概要 JavaScript上で命題論理の言語を実装し、意味論 (恒真式・意味論的同値関係やタブロー計算)の各種概念も実装に落とし込む。証明論は未実装。動作環境は Node。 依存パッケージは nearley (構文解析) のみ。npm i --save nearley で環境構築完了。 0. 表記 原子命題は p,q,r,s,t,u のみ利用可。¬⋀⋁→↔ は -,A,V,->,== とする。よって例えば、$\neg\neg p \leftrightarrow p$ は --p == p となるし、$\neg(p\wedge q)\leftrightarrow \neg p \vee \neg q$ は -(p A q) == -p V -qとなる。 1. 統語論 ～構文木の構築～ 文字列を構文木にする。木構造には JavaScript の Array を利用する。具体的には pAq
論理学における誤謬（ごびゅう、英: fallacy[注 1]）とは、誤った推論のことである。平易には「論理の飛躍」などと表現される。誤謬には「形式的」なものと「非形式的」なものがある。論理学やその周辺分野では、結論の正否を問わず「誤謬」という。意図的な誤謬は「詭弁」という。 アリストテレスのころから、非形式的誤謬はその間違いの根源がどこにあるかによっていくつかに分類されてきた。「関連性の誤謬」、「推論に関する誤謬」、「曖昧さによる誤謬」などがある。同様の誤謬の分類は議論学によってももたらされている[2]。議論学では、論証（論争）は合意を形成するための個人間の対話プロトコルとみなされる。このプロトコルには守るべきルールがあり、それを破ったときに誤謬が生まれる。以下に挙げる誤謬の多くは、このような意味で理解可能である。[要出典] 個々の論証における誤謬を認識することは難しい。というのも、修辞技
今日は証明するカードについて書きます。証明というとなんだか人間にも難しく、機械にやらすには高度な人工知能が必要だと思うでしょう。しかしコンピュータも電気も不要です。なんとこのカードは並べるだけで証明ができてしまうのです！とりあえずどんなのか見てみましょう。 自分でやりたい人は logiccard.pdf と logiccard2.pdf をダウンロードして名刺用紙に印刷してください。用紙のサイズが合わない時は logiccard.svg と logiccard2.svg をイラストレータや Inkscape で編集するといいと思います。 このように印刷して、灰色の部分をポンチで穴を開けます。ホッチキス式のポンチではカード中ほどの穴に届かないので、その場合は手芸用のポンチを使うと良いです。 するとこのような謎めいたカードが出来上がります。 それぞれのカードはベン図になっています。穴の開いてい
A declarative applicative logic programming system KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. The system achieves high performance and ex
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Recent Crystal Creation Call for PLE Mirrors 1993 Mirrors 2008 XLA - Wiki Zellweger - Wiki Patents # 4,273,542 # 4,367,066 # 4,504,236 Image Gallery Flip Stick Flip Stick (C) XLA Blocks (C) Clock Compass Logic Bug Logic Bug (C) Logical Garnet Chess Set (C) Tesseract Eight Cell 24 Cell M J T Exhibit Chronology Publications Presentations Unpublished References Useful Links Tony Smith Arnold Oostra L
NAKADA TOYOHISA Niigata University of International and Information Studies. 研 究 紹 介 研 究 業 績 金曜日 4限 240教室 提出済み課題の「提出」を再度クリックすると、その課題の点数とどこが間違えていたのかを確認することができます。 09月27日 人工知能、強化学習入門、pythonの基礎 1 課題 提出 解答例 10月11日 pythonの基礎 2 (配列内の特定要素の数を数える) 課題 提出 解答例 10月18日 五目並べ盤面の表現 課題 提出 解答例 10月19日(土) 勝利判定(縦横ライン) 課題 提出 解答例 10月25日 勝利判定(斜めライン) 課題 提出 解答例 11月01日 ランダムにプレイする五目並べAI 課題 提出 解答例 11月08日 簡易的モンテカルロ探索による五目並べAI 課題
離散システム論 室伏担当分 シラバス [掲載 04/09/07] ハンドアウト / 補足資料 / 演習解答 / 練習問題 など 「発展」と書かれている内容は，試験には出題されません． 命題論理 [授業 04/12/07] ハンドアウト (A4判, PDF, 87KB) [掲載 04/26/07] Exercise in Handout (English) （ハンドアウトの演習問題の英訳） (PDF, 25KB) 答案作成上の注意「こんな答案を書いてはいけない」 [掲載 04/12/07] [更新 04/18/07] 補足「真理値表での命題変数の真理値の並べ方」 [掲載 04/12/07] 補足「条件命題の真理値表の説明」 [掲載 04/12/07] [説明追加 06/23/07] 補足「(P ⇒ Q) ⇔ ¬P∨Q ⇔ (¬Q ⇒ ¬P) 」の わかりやすい例」 [掲載 04/12/07]
ホーム/ 授業/ 論理学序論 |■トップ |■プログラム |■授業 |■算数・数学 | 論理学序論 2007/09/27 更新
計算機基礎論のページ（2009年度版） 第10回目の授業は12月16日（水）8:45から218号教室で演習をおこないます 12月9日の授業は、国際会議のため休講にします。 演習 1 離散構造とは何か 10月7日 資料 なし 2 論理の基礎（１）： 命題論理 10月14日 資料 101ページ、問題【５】 3 論理の基礎（２）： 述語論理 10月21日 133ページ、問題【４】 4 論理の基礎（３）： 証明理論 10月28日 144ページ、問題【１】 内容については解説済み 6 論理に関する演習 11月11日 113ページ【４】【８】、144ページ【４】【５】 5 集合論（１）： 集合演算、順序対とデカルト積 11月4日 資料 5ページ、問題【５】 7 集合論（２）： 関係の基礎 11月18日 20ページ、問題【１】 8 集合論（３）： 同値関係と集合の分割 11月25日 29ページ、問題【８
「真」とは，ただの記号．意味はなくて良い．別名 True 又は T 「偽」とは，真ではないこと．別名 False 又は F 「命題」(proposition)とは，真か偽のいずれかである主張 「公理」(axiom)とは，真である決められた命題 「証明」(proof)とは，真とされる命題に推論規則を有限回適用して，別の真の命題を導くこと 「定理」(theorem)とは，公理から証明される命題 「言葉」によって真理に到る方法． 「AはBかCである．」という言葉と，「AはBではない．」という言葉から 「AはCである．」という真実を知ることができるのはなぜかを追求する学問．命題の中に変数を含まない．例えば 「整数x は奇数である。」のような命題は述語論理で扱われる． Hilbertの命題論理公理系 System of axioms ■１．計算に用いる全記号のカタログ(記号倉)の制定 記号倉={命題
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
昨日話題にした型推論とかの関係で、最近また、ソフトウェアの設計・実装に論理をどう応用できるか、とか考えています。まー、応用できるのは当然、つうか、現在のコンピュータシステム自体が論理（数学基礎論）の応用みたいなもんですが、もう少し日常的な感覚で、「論理を現場的に使うにはどうしたらいいの？」みたいな問題意識です。 論理の教科書は、日本語でもいい本がたくさんあります。昔（僕が若い時分）から、竹内外史、前原昭二なんて世界的な泰斗がシッカリした教科書を著してくれていたので、（その道の専門家は別として）普通に勉強するには十分すぎるくらいのテキストがあります。 ただ、技術者／プログラマが実務上の知識を仕入れる目的には本格的過ぎるきらいがあります。若くて時間がある方々には、本格的な勉強をお勧めはしますが、誰でもがタクサン時間を持っているわけでもないですしね。もうちょっとお手軽なショートコースがないものか
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く