synapse
検索
Search
ダークモード
ライトモード
エクスプローラー
タグ: computer-science
89件のページ
2026年7月05日
(オプション) カテゴリシティ (Categoricity)
computer-science
2026年7月05日
(オプション) レーヴェンハイム-スコーレムの定理 (Löwenheim-Skolem Theorem)
computer-science
2026年7月05日
(オプション) 決定不可能性 (Undecidability) と計算可能性理論との関連
computer-science
2026年7月05日
(例) ∀xP(x) → P(t) (tは自由な項)
computer-science
2026年7月05日
(例) ヒルベルト流の公理系
computer-science
2026年7月05日
BHK解釈 (Brouwer-Heyting-Kolmogorov interpretation)
computer-science
2026年7月05日
NAND (Sheffer Stroke - `↑`) と NOR (Peirce's Arrow - `↓`)
computer-science
2026年7月05日
NAND・NORによる他の結合子の表現
computer-science
2026年7月05日
WFFの再帰的定義
computer-science
2026年7月05日
`¬(φ ∧ ¬φ)` が定理であること
computer-science
2026年7月05日
その他多数の非形式的誤謬
computer-science
2026年7月05日
アブダクション (Abduction ・ 仮説形成)
computer-science
2026年7月05日
クリティカルシンキング (Critical Thinking)
computer-science
2026年7月05日
ゲンツェンのカット除去定理 (Cut-Elimination Theorem)
computer-science
2026年7月05日
ゲンツェン流の体系
computer-science
2026年7月05日
コンパクト性定理とその応用
computer-science
2026年7月05日
シークエント (`Γ ⊢ Δ`)
computer-science
2026年7月05日
ストローマン (Straw Man)
computer-science
2026年7月05日
タブローの構築規則
computer-science
2026年7月05日
バイアスの認識
computer-science
2026年7月05日
バックエンド (Backend)
computer-science
2026年7月05日
バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』
computer-science
2026年7月05日
ヒルベルト・プログラムの限界
computer-science
2026年7月05日
フロントエンド (Frontend)
computer-science
2026年7月05日
ブラウワー、ハイティングによる形式化
computer-science
2026年7月05日
リソースの見つけ方 (Finding Resources)
computer-science
2026年7月05日
レーヴェンハイム-スコーレムの定理とその含意
computer-science
2026年7月05日
ロードマッピング (Roadmapping)
computer-science
2026年7月05日
主結合子 (Main Connective)
computer-science
2026年7月05日
二重否定の除去 (`¬¬P → P` は成立するが `P → ¬¬P` のみ)
computer-science
2026年7月05日
人身攻撃 (Ad Hominem)
computer-science
2026年7月05日
付値 (Assignment ・ Valuation)
computer-science
2026年7月05日
仮定の導入と解消
computer-science
2026年7月05日
伝統に訴える論証 (Appeal to Tradition)
computer-science
2026年7月05日
依存型 (Dependent Types)
computer-science
2026年7月05日
個体 (Individual ・ Object)
computer-science
2026年7月05日
個体変項 (Individual Variable)
computer-science
2026年7月05日
個体定項 (Individual Constant ・ Name)
computer-science
2026年7月05日
個体定項へのDの要素の割り当て
computer-science
2026年7月05日
健全性の定義 (`Γ ⊢ φ ⇒ Γ ⊨ φ`)
computer-science
2026年7月05日
全称導入 (∀I), 全称除去 (∀E)
computer-science
2026年7月05日
制御システムなどへの応用
computer-science
2026年7月05日
前件否定の誤謬
computer-science
2026年7月05日
同値 (Material Equivalence ・ Biconditional - `↔`, `⇔`)
computer-science
2026年7月05日
否定 (Negation - `¬`, `~`)
computer-science
2026年7月05日
含意 (Material Implication ・ Conditional - `→`, `⇒`)
computer-science
2026年7月05日
含意の様々な表現 (十分条件、必要条件)
computer-science
2026年7月05日
問題解決への応用
computer-science
2026年7月05日
存在導入 (∃I), 存在除去 (∃E)
computer-science
2026年7月05日
定理 (Theorem)
computer-science
2026年7月05日
導入規則 (Introduction Rules) と除去規則 (Elimination Rules)
computer-science
2026年7月05日
導出原理 (Resolution Principle) - ロビンソン
computer-science
2026年7月05日
導出可能性 (`⊢`)
computer-science
2026年7月05日
形式検証 (Formal Verification)
computer-science
2026年7月05日
形式検証における応用
computer-science
2026年7月05日
後件肯定の誤謬
computer-science
2026年7月05日
情報収集術 (Information Gathering)
computer-science
2026年7月05日
排中律 (`P ∨ ¬P`) の不承認
computer-science
2026年7月05日
排中律の否定、矛盾許容、時間や可能性の扱いなど
computer-science
2026年7月05日
早まった一般化 (Hasty Generalization)
computer-science
2026年7月05日
束縛変数の名前変更 (α-conversion)
computer-science
2026年7月05日
構文木 (Parse Tree) ・ 形成木
computer-science
2026年7月05日
構造 (Structure ・ Model) の概念の再訪
computer-science
2026年7月05日
構造規則 (弱化、縮約、転置)
computer-science
2026年7月05日
標準形 (Normal Forms)
computer-science
2026年7月05日
標準形への変換アルゴリズム
computer-science
2026年7月05日
権威に訴える論証 (Argument from Authority)
computer-science
2026年7月05日
決定可能性 (Decidability)
computer-science
2026年7月05日
滑り坂論法 (Slippery Slope)
computer-science
2026年7月05日
無矛盾性 (Consistency)
computer-science
2026年7月05日
相関関係と因果関係の混同 (Correlation implies causation fallacy)
computer-science
2026年7月05日
等号記号 `=` の公理
computer-science
2026年7月05日
組込みシステムとIoT (Embedded Systems & IoT)
computer-science
2026年7月05日
自己言及の構成 (対角化補題)
computer-science
2026年7月05日
衆人に訴える論証 (Ad Populum)
computer-science
2026年7月05日
解釈 (Interpretation ・ Model ・ Structure)
computer-science
2026年7月05日
計算可能性理論 (Computability Theory)
computer-science
2026年7月05日
計算複雑性理論 (Computational Complexity Theory)
computer-science
2026年7月05日
誤った二分法 (False Dilemma ・ False Dichotomy)
computer-science
2026年7月05日
誤謬 (Fallacy) MOC
computer-science
2026年7月05日
論点先取 (Begging the Question ・ Circular Reasoning)
computer-science
2026年7月05日
議論の分析と評価
computer-science
2026年7月05日
議論の評価 (妥当性、健全性)
computer-science
2026年7月05日
議論領域 (Domain of Discourse ・ Universe - D)
computer-science
2026年7月05日
連言標準形 (CNF - Conjunctive Normal Form)
computer-science
2026年7月05日
選言標準形 (DNF - Disjunctive Normal Form)
computer-science
2026年7月05日
関数記号 (Function Symbol)
computer-science
2026年7月05日
関数記号へのD上の関数の割り当て
computer-science
2026年7月05日
項 (Term)
computer-science