数理逻辑。

亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

1.方言。谓大官。

1.敲击。 2.唱曲时击盏以按节拍。 3.振作。

1.都城郊外。

被子和褥子；铺盖：那床～该拆洗了。

规定刑事诉讼程序的法律。我国在1979年制订刑事诉讼法，1996年作了修订，其内容包括任务、基本原则、管辖、回避、辩护与代理、证据、强制措施、附带民事诉讼、立案、侦查、起诉、审判、执行等。

比利时最大港口和第二大经济中心。人口92万(1983年)。世界大港。有十二条重要铁路、七条欧洲公路在此交汇。工业发达。世界最大钻石加工和贸易中心。欧洲著名文化艺术城市。市内有皇家美术博物馆和中世纪教堂等。

1.叛乱。

1.瘫痪的人。

1.指叔詹﹑堵叔﹑师叔三个郑国贤臣。语本《左传．僖公七年》:"郑有叔詹﹑堵叔﹑师叔三良为政，未可间也。"

1.科举甲科进士及第者的名单。因用黄纸书写，故名。 2.指进士及第者。 3.一种大蟹。