数理逻辑
[shù lǐ luó jí] [数 理 逻 辑]
logic toán học; logic ký hiệu
建议先从语言类与数理逻辑类课程切入，便于量化评估教学效果。
jiàn yì xiān cóng yǔ yán lèi yǔ shù lǐ luó jí lèi kè chéng qiē rù, biàn yú liáng huà píng gū jiào xué xiào guǒ.Đề xuất bắt đầu từ các môn ngôn ngữ và logic toán học, để dễ dàng đánh giá định lượng hiệu quả giảng dạy.
Trong bài: Thảo luận chính sách AI giáo dục · 归根结底在数理逻辑中，蕴涵是一种重要的逻辑运算。
zài shù lǐ luó jí zhōng, yùn hán shì yì zhǒng zhòng yào de luó jí yùn suàn.Trong logic toán học, phép kéo theo là một phép toán logic quan trọng.