chenxfeng's blog


  • 首页

  • 归档

  • 标签

  • 搜索

行列式与克拉默(Cramer)规则

发表于 2017-07-25

矩阵

  • 定义:数域K中mn个数 $a_{ij}, (i = 1, 2, …, m; j = 1, 2, …, n)$排成的数表

$$ A =
\left[
\begin{matrix}
a{11} & a{12} & … & a{1n} \
a
{21} & a{22} & … & a{2n} \
. & . & & . \
. & . & & . \
. & . & & . \
a{m1} & a{m2} & … & a{mn}
\end{matrix}
\right]
$$
称为K上的 m*n 矩阵;也为 $A = (a
{ij}){m * n}$ 或 $A = A{m * n}$. $a{ij}$ 称为A的第i行第j列元素;一般用大写字母表示矩阵,小写字母表示矩阵中的元素,横的有序数组 $(a{i1}, a{i2}, …, a{in})$ 称为A的第i行,纵的有序数组 $\left[
\begin{matrix}
a{1j} \
. \
. \
. \
a
{mj}
\end{matrix}
\right]$ 称为A的第j列. K上所有 mn矩阵的全体记为 $K^{mn}$ 或 $M_{m, n}(K)$

阅读全文 »

多项式与复系数和实系数多项式的因式分解

发表于 2017-07-25

数域

  • 定义:设K是一些数组成的集合,若
    1. K中至少含有一个非零的数
    1. 对K中任意两数a, b, 恒有 $a+b$, $a-b$, $ab \in K$, 而且当 $b \not= 0$ 时,还有 $\frac{a}{b} \in K$,则K称为一个数域

数域对加,减,乘,除(除数非零)四种运算封闭

阅读全文 »

数理逻辑发展简史

发表于 2017-07-24

数理逻辑五个部分:逻辑演算、证明论、公理集合论、递归论、模型论

逻辑演算 古典二值外延系统、非古典的构造性逻辑、多值逻辑、模态逻辑、规范逻辑

阅读全文 »

狭谓词逻辑的不同系统 有等词的狭谓词演算 摹状词

发表于 2017-07-23

狭谓词逻辑的不同系统

  • 不同的狭谓词演算
    • 初始概念、公理和变形规则的差别
    • 形成规则的差别
  • 自然推理系统是一个演算

    • 出发点没有公理,只有形成规则和变形规则或推演规则
      • 应用变形规则,不需要公理就可推出狭谓词演算的一切定理
    • 变形规则是具体思维里推理的规则
    • 主要特征:其中的变形规则或推演规则较之狭谓词演算更接近于一般的数学思维
    • 真值联结词的图式

有等词的狭谓词演算 摹状词

等词是一个具体的二元谓词,符号表示为 $… = …$

  • 一般地,等词表示两个不同(有时可以相同)的词项的外延或所指示相同的

语言里指称个别事物的语词有两种:专名词和摹状词

  • 专名词直接指称某一个单独事物,摹状词借助于特征的描述指称某一个特定事物
阅读全文 »

判定问题 一致性和完全性

发表于 2017-07-23

判定问题

数理逻辑中解决判定问题是要寻求一个具有一般性的方法(能行的方法),从而能够判定某一类事物中的任一个是否有某种性质,能够得到某一类问题中的任一个的解答

能行方法

  • 直观来说,能行的方法就是机械的方法:每一步都是由某个事先给定的规则明确规定了的并且在有穷步内可以结束的方法
    • 规定了第一步如何作,并且在某一步作完之后下一步的作法也是明确规定了的
    • 数学中一般的定理证明就不是能行的
阅读全文 »

演绎定理 范式

发表于 2017-07-22

演绎定理

  • 狭谓词演算是一个逻辑系统,其公理和定理都是普遍有效的
    • 其中一部分是蕴涵式,相当于正确的推理的规则或形式
  • 狭谓词演算是一个公理系统

    • 推演的出发点是公理
    • 推演的根据是基本的推演规则
      • 变形规则和推导出的推演规则

有前提的推演:一个应用狭谓词演算的变形规则进行的推演,除了公理以外还以其它非普遍有效公式作为出发点

阅读全文 »

狭谓词演算

发表于 2017-07-21

狭谓词演算的出发点

(一)初始符号

  • 甲:变项
      1. 命题变项:小写拉丁字母
      • $p, q, r, s, p_1, q_1, r_1, s_1, p_2, …$
      1. 个体变项:小写拉丁字母
      • $u, v, w, x, y, z, u_1, v_1, …$
      1. 谓词变项:大写拉丁字母
      • $F, G, H, P, Q, R, S, F_1, G_1, …$
  • 乙:常项

      1. 命题联结词:¬,并非;$\bigvee$,或者
      1. 量词:(.x.x.),全称;($\exists .x.x.$),存在
  • 丙:括号和逗点

    • 左括号 “(”;右括号 “)”;逗点 “,”
阅读全文 »

C++沉思录总结

发表于 2017-07-20

通过复杂性获取简单性

世界是复杂的,复杂性变得隐蔽;计算机也是一样的

抽象是C++的主题,C++的复杂性大部分是为了提供某种手段进行问题抽象

  • C++没有內建复数算法的概念,但允许以几乎和FORTRAN中內建形式一样的方式实现复数
    • FORTRAN的方法(內建复数)更好
    • 但是FORTRAN很难实现其他算术数据结构如四元数
    • C++的抽象机制使得在别的语言中很困难甚至根本不可能实现的工作变得简单
    • 例如:
    • 赋值和初始化的区别
    • 不使赋值等价于初始化后紧跟析构操作,使如字符串切片替换之类的操作的实现相对容易得多

C++提供给库设计者们更策略化的可能性,从而使他们能考虑更多

  • 经过精心设计的C++库很好用
  • 优秀的库难实现
  • 內建在编译器中更困难
  • C++提供中等程度的抽象粒度,允许无需改变编译器内部的工作模式就能够详细地定义抽象概念的具体行为

打开C++的正确方式

    1. 避免使用指针
    1. 提倡使用程序库
    1. 使用类表示概念

《C++沉思录(Cplusplus Thinking)》笔记

技术(四):将应用程序库从输入输出中分离出来

发表于 2017-07-20

应用程序库对I/O设备的选择:捆绑到特定的I/O会限制库的灵活性

  • 用类表示概念:设计一个类表示任意I/O接口

  • 使应用程序性与I/O之间的耦合度降低

阅读全文 »

技术(三):应用器、操纵器和函数对象

发表于 2017-07-20

以类似文件操作的语法,通过某种方式发送一个带外信号(out-of-band signal)给某个类似文件的东西

  • cout << flush 强行立即输出缓冲区数据

  • 基于两种函数的解决方法

    • 操纵器(manipalator):以某种方式作用于由它的参数表示的数据
    • 应用器(applicator):一个重载操作符,操作数为一个可操纵的值和一个将作用于这个值的操纵器
  • 将flush定义为一个操纵器,把<<操作符定义为应用器

扩展:定义一种函数对象得到具有多个参数的应用器

阅读全文 »
1234…10
chenxf

chenxf

93 日志
16 标签
GitHub Weibo
© 2017 — 2023 chenxf
由 Hexo 强力驱动
|
主题 — NexT.Pisces v5.1.2