琴葉茜と論理学 - シリーズ情報

15:46

琴葉茜と 一階述語論理の統語論と意味論 解析

▶ 3,736 💬 39 ♡ 69 📁 22 2022/04/09

16:45

琴葉茜と 表現的適格性と演繹定理 解析

▶ 843 💬 48 ♡ 31 📁 4 2022/05/07

20:49

琴葉茜と 一階述語論理のα同値性 解析

▶ 1,999 💬 14 ♡ 24 📁 4 2023/04/07

2:51

一階述語論理の「一階」って何？【第2回ソフトウェアトーク理工サイド交流祭】 解析

▶ 718 💬 15 ♡ 47 📁 3 2023/08/06

15:35

琴葉茜と シーケント計算LKの健全性 解析

▶ 1,106 💬 11 ♡ 25 📁 6 2024/01/03

11:18

琴葉茜と 証明体系の等価性 解析

▶ 467 💬 12 ♡ 24 📁 4 2024/09/22

3:48

琴葉茜と 論理と理論【第十回ひじき祭】 解析

▶ 1,203 💬 14 ♡ 40 📁 5 2024/11/28

11:00

琴葉茜と 等号公理 解析

▶ 896 💬 9 ♡ 24 📁 2 2025/07/08

7:23

琴葉茜と 0は自然数？とペアノ算術【第11回ひじき祭】 解析

▶ 1,685 💬 39 ♡ 43 📁 6 2025/08/20

3:41

琴葉茜と 爆発律【第12回ひじき祭】 解析

▶ 951 💬 23 ♡ 49 📁 3 2026/08/20