- 博客(4)
- 收藏
- 关注
原创 一个根据方法生成界面的java框架,gui版的“spring-shell”
一个类似spring-shell的框架,不同之处在于这个框架生成的shell带有gui界面。
2023-03-03 15:56:49
331
原创 面向过程编程与面向对象编程
这篇文章抛开哪些从英文翻译过来的中国人读起来莫名其妙的术语谈谈什么是面向过程编程以及什么是面向对象编程。首先,编程是要解决问题的,不管是老师流的编程作业亦或是老板给任务,编程都是在用电脑解决问题。而面向过程编程和面向对象编程都是解决问题的方法论,即这两个东西都概括的回答了这个问题:“如何解决这个问题?”面向过程编程,换做中国话(它只是用中国字写了并不算中国话)说就是:让电脑解决这个问题。按...
2019-08-25 15:22:37
211
原创 什么是变量?变量的形式化定义
“变量”在大多的数学教科书中变量被认为是一个不必定义的概念。本文在探讨了“变量”的形式化定义。本文承认集合论与谓词逻辑中一切词语要么是定义过的,要么是不能再定义的。(注:集合论与谓词逻辑中并未使用变量这一概念,因此接下来并不存在循环定义的错误)一个变量v的定义如下:设集合T,集合X,谓词合式公式p(t,x)(注:此处的t,x是个体变元,不是变量)。其中符号“:=”表示“定义为”,“...
2018-11-07 09:59:49
1261
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人