1) Lowenheim Skolem theorem
勒文海姆–斯科伦定理
2) Skolem theorem
斯科伦定理
1.
According to Skolem theorem,there exist several modes of semantic explanation for any formal system.
斯科伦定理指出,任意一个形式系统,都存在可数多个语义解释方式。
3) heitler london theory
海特勒 伦敦理论
4) coleman theorem
科勒曼定理
5) Chasles Theorem
蔡斯勒斯定理
6) Cochran theorem
科克伦定理
补充资料：里姆斯基-科萨科夫
| 里姆斯基-科萨科夫（1844～1908） Rimsky-Korsakov，Nikolay Andreyevich 俄国作曲家，指挥家，教育家。1844年3月18日生于诺夫哥罗德省季赫温市，1908年6月21日卒于卢加附近的柳边斯克庄园。7岁学钢琴，10岁开始作曲。12岁入圣彼得堡海军士官学校，期间从F.A.卡尼列学钢琴。1861年成为新俄罗斯乐派（强力集团）最年轻的成员。1862年毕业后随舰航海3年，1871年起在圣彼得堡音乐学院任教，1905年革命时，因支持学生罢课一度被解职。
里姆斯基-科萨科夫的创作以歌剧和交响乐为主，共作有歌剧17部，代表性的有《普斯科夫的姑娘》（又名《可怕的伊万》）、《五月之夜》、《雪姑娘》、《圣诞之夜》、《莫扎特与萨列里》、《萨德科》、《沙皇的新娘》、《萨尔坦沙皇的童话》、《不死的卡谢》、《隐城基捷日与费芙罗尼亚姑娘的传奇》、《金鸡》等。在交响乐方面的作品有交响组曲《山鲁佐德》（又译《天方夜谭》）、《西班牙随想曲》、《安塔尔》，交响音画《萨德科》和管弦乐曲《特利格拉夫山之夜》、《杜比努什卡》等。此外还写有钢琴协奏曲、室内器乐重奏、康塔塔和声乐浪漫曲等。他的音乐以俄罗斯民歌为基础，同时汲取东方民族音调。作品多以艳丽的旋律和配器，描绘风俗景物和神话境界而著称。80年代在M.R.穆索尔斯基和A.鲍罗丁相继去世后，他承担了整理遗稿，续成遗作，组织曲谱的出版、演出等工作。他从事音乐教育37年，培养了许多优秀的音乐人才。著作有《和声学实用教程》、《管弦乐法原理》和自传《我的音乐生活》，均有中译本。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条