约束编程

相关

• 天文学古希腊天文学是指古典时期用希腊语记录的天文学，涵盖古典希腊时期、希腊化时期、希腊罗马时期、古典时代晚期等时期的天文学。它不局限于地理上的希腊或种族上的希腊人，因为在
• 元数学元数学（英语：Metamathematics），又译为超数学，使用数学技术来研究数学本身的一门学科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学
• 数学心理学异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学（英语：Differential psychology） 发展心理学 演化心理学 实验心理学
• 酚类在有机化学中，酚类化合物（英语：phenol）是一类通式为ArOH，结构为芳烃环上的氢被羟基（—OH）取代的一类芳香族化合物。酚类化合物中最简单的酚为苯酚（C6H5OH，亦称石炭酸）。虽然结构与醇类
• 物价稳定通货紧缩，简称通缩，本意为货币流通数量减少，但也指整体物价水平持续下降的现象，是一个与通货膨胀相反的概念。一般认为通货膨胀率低于0（负的通货膨胀率）时会发生通货紧缩。请注意
• 太元太元是几个年号的称呼：
• 同化作用同化作用，又称为合成代谢，是指生物体利用能量将小分子合成为大分子的一系列代谢途径。这些反应需要能量，也被称为吸能过程（endergonic process）。将代谢过程分类的一种方式，无论是
• 张宗燧张宗燧（1915年6月1日－1969年6月30日），浙江杭州人，中国物理学家，中国科学院数学研究所研究员。哲学家张东荪次子。核武器物理学家于敏的研究生导师。1930年考入燕京大学物理系，次年
• 刘文卿刘文卿，字傒如，江西广昌县人。明朝政治人物。万历十六年（1588年）戊子科江西乡试解元，万历十七年（1589年）联捷己丑科进士。初为金华府推官，擢吏部主事，所荐多为刚直恬澹之士。时新建相
• LED驱动电路在电子学领域里，LED驱动电路（LED circuit，又译发光二极管电路），为发光二极管灯具的核心器件，是一个用来使发光二极管（LED）发亮的电路。随着全球倡导绿色照明以及节能的迫切需求。越