1/8
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No analytics yet
Send a link to your students to track their progress
Aristotle
cha đẻ - tiền đề, kết luận, tam đoạn luận → mệnh đề đơn
Chryssippus
logic mệnh đề - liên từ → kết nối MĐ đơn
Galen
tam đoạn luận đơn phức hợp
william
logic mô thức
leibniz
ngôn ngữ kí hiệu
boole
kí hiệu và phép toán → đại số bool → bắt đầu mqh giữa toán và logic
frege
logic vị từ
godel
định lý bất toàn godel
alonzo church & alan turing
giải tích lambda & máy tính turing