机译:逻辑和离散数学:简明扼要的介绍
Roskilde Univ Roskilde Denmark;
机译:逻辑和离散数学:简明扼要的介绍
机译:将逻辑和离散数学应用于自然哲学:精确定义“时间”,“物质”和“秩序”中的形而上学和热林
机译:模型理论课程:当代数学逻辑概论
机译:带盒子的运动计划问题:离散数学本科课程简介
机译:谁的逻辑?哪种论据?引入和评估用于论证写作教学的Hintikka疑问句模型,并与Toulmin模型,停滞理论和“传统”逻辑进行比较。
机译:在体内对治疗方案的恶性肿瘤反应的离散数学仿真模型中引入了超矩阵和算符符号。一些操作员属性
机译:简化对数学逻辑的调查