胡英

相关

• 逻辑语义学我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入
• 锡兰霉草锡兰霉草（学名：Sciaphila secundiflora）为霉草科霉草属下的一个种。
• 果蝠10种，见本文果蝠属（学名：Rousettus），哺乳纲翼手目狐蝠科的一属，而与果蝠属（棕果蝠）同科的动物尚有灰果蝠属（灰果蝠）、球果蝠属（布氏球果蝠）、狐蝠属（游狐蝠）、锥齿狐蝠属（锥齿狐蝠）等之数种
• 语法分析器在计算机科学和语言学中，语法分析（英语：syntactic analysis，也叫 parsing）是根据某种给定的形式文法对由单词序列（如英语单词序列）构成的输入文本进行分析并确定其语法结构的一种过
• 加拿大女王加拿大君主是立宪君主，是西敏制议会民主制度在加拿大的体现，为加拿大国家元首。现任君主是伊丽莎白女王二世，于1952年2月6日即位。加拿大君主除了统治加拿大外，也是另外15个英联
• 颜氏家训《颜氏家训》由北齐颜之推所著，于隋初成书。全书七卷二十篇。《颜氏家训》全书七卷二十篇，即《序致》、《教子》、《兄弟》、《后娶》、《治家》、《风操》、《慕贤》、《勉学
• 人口地理学人口地理学是研究人口分布状况及其规律性的学科。主要内容涉及人口迁移流动、城市化等方面，在实际研究中综合了人口学和地理学两大学科特点，是人文地理学的重要分支学科。
• 圣杯圣杯（Holy Grail，或译“圣杯”）是在公元33年，犹太历尼散月十四日，也就是耶稣受难前的逾越节晚餐上，耶稣遣走加略人犹大后吩咐11个门徒喝下里面象征他的血的红葡萄酒，借此创立了受难
• 把总把总为明代及清代前中期陆军基层军官名，明清兵制员额皆有异动。以明代隆庆年间戚家军为例，把总为“司”的营官，一司下辖449员，而百总为“局”的军官，官兵计112员，四局为一司。若以
• 恒星物理学恒星物理学，是天体物理学的一个重要分支，研究恒星内部的结构与物理过程、恒星的演化、脉动与大气内辐射以及致密天体（如白矮星、中子星）等，它奠定了当代天体物理的基础。诺贝尔物