热门推荐








数什么逻什么的词语有哪些?
常见的有:数理逻辑。
数什么逻什么的词语相关词语和解释
词语 | 拼音/解释 |
---|---|
数理逻辑 | 数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。 |
猜你喜欢内容
-
俄语专业的专业代码是什么
1、俄语专业的专业代码是050202,开设课程有:俄语口笔语实践、视听、写作、翻译理论与实践、报刊选读、...
-
贵州电力职业技术学院第四轮学科评估结果
第四轮学科评估于2016年4月启动,按照“自愿申请、免费参评”原则,采用“客观评价与主观评价相结合”的...
-
太原科技大学特色专业建设点有哪些
太原科技大学特色专业建设点:材料成型及控制工程、机械设计制造及其自动化、自动化、计算机科学与技术...
-
蚌埠医学院重点专业有哪些
蚌埠医学院重点专业主要有:国家特色专业:医学检验技术一流本科专业建设点年份等级学校名称专业名称备...
-
河南工程学院一流本科专业建设名单
一流本科专业建设点,是国家教育部实施一流本科专业“双万计划” 建设的专业点,分为国家级一流本科专业...
-
曲靖医学高等专科学校的专业有哪些
曲靖医学高等专科学校的开设的专业主要有:卫生信息管理、预防医学、护理等专业,以下是具体名单,供大...
-
郑州工业应用技术学院一流本科专业建设名单
一流本科专业建设点,是国家教育部实施一流本科专业“双万计划” 建设的专业点,分为国家级一流本科专业...
-
西安理工大学第四轮学科评估结果
第四轮学科评估于2016年4月启动,按照“自愿申请、免费参评”原则,采用“客观评价与主观评价相结合”的...
-
安徽医学高等专科学校是公办还是民办
根据教育部发布的全国高等学校信息可知,安徽医学高等专科学校属于公办高校。安徽医学高等专科学校开设...
-
昆明卫生职业学院的专业有哪些
昆明卫生职业学院的开设的专业主要有:公共卫生管理、预防医学、护理等专业,以下是具体名单,供大家参...