キーワード一階述語論理を含む動画:5件 ページ目を表示
2024年6月24日 07時12分に生成された05時00分のデータです
2023-04-07 20:50:30
琴葉茜と 一階述語論理のα同値性自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。
前: sm40433507, 次: sm43229064評価器作ってるみたい へー うぽつ!ずっと待ってた チェックリストたすかる うぽつ ただの項が深さ0みたいな考えがあったりするのだろうか やっと分かった! そのまんまやね はぇ~どうやって定義するのか気になる
- 1,846
- 130.7
- 201.1
- 30.2
YouTubeで検索
2024-01-03 15:12:03
琴葉茜と シーケント計算LKの健全性証明論・証明体系・シーケント計算について話し、 Γ ⊢_{LK} Δ ⇒ Γ ⊨ Δ を証明します。
前: sm42049458勃起大好き? 丁寧でわかりやすかった おつ 完全性(狭義) 推移律に似てる? いまいちなにの話をしとるんかわからん
- 911
- 111.2
- 232.5
- 40.4
YouTubeで検索
2022-05-07 18:46:03
琴葉茜と 表現的適格性と演繹定理Γ ⊨ φ→ψ ⇔ φ, Γ ⊨ ψ を証明します。
前: sm40293733, 次: sm42049458おお? でたー 論理回路で似たようなことやったなあ 歩いたのに不幸なことが起きないなら前提φか「不幸なことが起きない」という結論¬ψ(プサイの否定)が間違ってるということか。 多分だけど「歩いたら不幸なことが起きる」かつ「歩いた」ならば「不幸なことは...
- 692
- 456.5
- 273.9
- 20.3
YouTubeで検索
2023-08-06 21:20:02
一階述語論理の「一階」って何?【第2回ソフトウェアトーク理工サイド交流祭】二階述語論理や高階述語論理について軽く話します。
たかしな 方程式の次元みたいな考え方ってことかな? わお なお一次独立に対して二次独立はないというw それめちゃくちゃ気になってた ←大体は一階。二階は圏論とか基礎論、逆数学以外ではあんまり見ない印象。 普通の数学はどれに基づいてるんだろう 入れ子に...
- 482
- 153.1
- 438.9
- 30.6
YouTubeで検索
1970-01-01 09:00:00
- 0
- 0nan
- 0nan
- 0nan
YouTubeで検索