Chinese Word: 数理逻辑 - Talking Chinese English Dictionary

数 shù 理 lǐ 逻 luó 辑 jí (Trad.: 數理邏輯)

mathematical logic; symbolic logic

1		wǒ 我 bù 不 míng bai 明白 zhè 这 fù zá 复杂 de 的 shù lǐ 数理 luó ji 逻辑 yùn suàn 运算。 I don't understand the complicated mathematical logic calculation.
2		fāng xiān shēng 方先生， nǐ 你 duì 对 shù lǐ 数理 luó ji 逻辑 yòng 用 guò 过 gōng 功 méi yǒu 没有？ Mr. Fang, have you ever studied mathematical logic?
3		zài 在 shù lǐ 数理 luó ji 逻辑 zhōng 中 yán jiū 研究 de 的 zhǔ yào 主要 duì xiàng 对象 shì 是 gè zhǒng 各种 yǎn suàn 演算。 In mathematical logic in the study is the main target of all kinds of calculus.
4		lái bù ní cí 莱布尼茨 shì 是 yī gè 一个 fā míng jiā 发明家 de 的 yǎn suàn 演算 yǐ jí 以及 zǔ xiān 祖先 de 的 xiàn dài 现代 shù lǐ 数理 luó ji 逻辑。 Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
5		yǔ 与 yǎn suàn 演算 de 的 yǔ fǎ 语法 yán jiū 研究 de 的 tóng shí 同时， hái yǒu 还有 shù lǐ 数理 luó ji 逻辑 de 的 xíng shì 形式 yǔ yán 语言 de 的 yǔ yì 语义 yán jiū 研究。 And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.

1		wǒ 我 bù 不 míng bai 明白 zhè 这 fù zá 复杂 de 的 shù lǐ 数理 luó ji 逻辑 yùn suàn 运算。 I don't understand the complicated mathematical logic calculation.
2		fāng xiān shēng 方先生， nǐ 你 duì 对 shù lǐ 数理 luó ji 逻辑 yòng 用 guò 过 gōng 功 méi yǒu 没有？ Mr. Fang, have you ever studied mathematical logic?
3		zài 在 shù lǐ 数理 luó ji 逻辑 zhōng 中 yán jiū 研究 de 的 zhǔ yào 主要 duì xiàng 对象 shì 是 gè zhǒng 各种 yǎn suàn 演算。 In mathematical logic in the study is the main target of all kinds of calculus.
4		lái bù ní cí 莱布尼茨 shì 是 yī gè 一个 fā míng jiā 发明家 de 的 yǎn suàn 演算 yǐ jí 以及 zǔ xiān 祖先 de 的 xiàn dài 现代 shù lǐ 数理 luó ji 逻辑。 Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
5		yǔ 与 yǎn suàn 演算 de 的 yǔ fǎ 语法 yán jiū 研究 de 的 tóng shí 同时， hái yǒu 还有 shù lǐ 数理 luó ji 逻辑 de 的 xíng shì 形式 yǔ yán 语言 de 的 yǔ yì 语义 yán jiū 研究。 And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.