程序是类型的证明。 计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的; 程序是建立在逻辑和严格证明基础之上的; 逻辑学的基本要素是:概念、判断、推理; 类型系统相当于逻辑和科学中的概念,在此基础上才能进行运算和推理; 编程语言不过是建立了类型系统和在类型系统基础上的一些列运算法则 ...
分类:
编程语言 时间:
2019-04-20 13:07:50
阅读次数:
201
Linux是一种服务器操作系统 操作系统:一堆软件的集合,可以让计算机硬件正常工作 ? UNIX诞生,1970-1-1(Linux系统时间的起点) ? Linux之父,Linus Torwalds 内核:一个软件 调配所有的硬件 用户 >内核 >硬件 – 版本号:主版本.次版本.修订号 ? 是一套公 ...
分类:
其他好文 时间:
2019-04-16 17:45:36
阅读次数:
325
关于shell的预备知识 Shell 是一个用 C 语言编写的程序,它是用户使用 Linux 的桥梁即用户界面。用户把指令传给shell,然后shell再传输给系统内核,接着内核再去支配计算机硬件去执行各种操作。 Shell 是指一种应用程序,这个应用程序提供了一个界面,用户通过这个界面访问操作系统 ...
分类:
系统相关 时间:
2019-04-15 13:14:40
阅读次数:
207
1. 你了解的服务器型号有哪些?具体的配置有哪些? PowerEdge 1850:结构:1U;最大CPU数量:2颗(路);最大内存容量:8GB;磁盘接口:SCSI。 PowerEdge R710:结构:2U;最大CPU数量:2颗(路);内存容量:8GB;磁盘接口:SAS。 PowerEdge R72 ...
分类:
其他好文 时间:
2019-04-12 00:50:20
阅读次数:
163
算上JAVA,C++语言,python是我所学第三种语言了。刚开始对于Python不了解,但是接触后,觉得Python相对于Java和C语言好像比较简单易写。虽然学习的时间很短,有时候觉得会有点难,但是觉得Python也有很多乐趣。 Python是一门面向对象的编程语言,是简约的语言,非常易于读写。 ...
分类:
其他好文 时间:
2019-03-29 20:42:49
阅读次数:
169
一、UNIX和Linux操作系统概述 1.UNIX是什么 1)UNIX的定义: UNIX是一个计算机操作系统,一个用来协调、管理和控制计算机硬件和软件资源的控制程序。 2)UNIX操作系统的特点:多用户和多任务 a)多用户表示在同一时刻可以有多个用户同时使用UNIX操作系统而且他们互不干扰; b)多 ...
分类:
系统相关 时间:
2019-03-29 00:38:39
阅读次数:
216
USB 通用串行总线(Universal Serial Bus) serial ['s??r??l] adj. 连续的;连载的;分期偿还的 component [k?m'p??n?nt] adj. 组成的,构成的 n. 成分;组件;[电子] 元件 Random Access Memory (RAM)... ...
分类:
其他好文 时间:
2019-03-28 15:35:41
阅读次数:
149
Python概述 计算机组成 计算机(computer)俗称电脑,是一种用于高速计算的电子计算机器,可以进行数值计算,又可以进行逻辑计算,还具有存储记忆功能。 计算机组成分为:计算机硬件组成以及计算机软件组成。 1.计算机硬件组成 运算器:负责数据运算,即数据的加工处理 控制器:整个计算机的中枢神经 ...
分类:
编程语言 时间:
2019-03-28 09:29:13
阅读次数:
189
1.c语言 是一种计算机程序设计语言。它既具有高级语言的特点,又具有汇编语言的特点。它可以作为工作系统设计语言,编写系统应用程序,也可以作为应用程序设计语言,编写不依赖计算机硬件的应用程序。它的应用范围广泛,具备很强的数据处理能力,不仅仅是在软件开发上,而且各类科研都需要用到c语言,始于编写程序软件 ...
分类:
编程语言 时间:
2019-03-26 22:55:27
阅读次数:
396
认识Linux 1.什么是操作系统 操作系统(Operating System,简称OS)是管理和控制计算机硬件与软件资源的计算机程序,是直接运行在“裸机”上的最基本的系统软件,任何其他软件都必须在操作系统的支持下才能运行。 2.现实生活中的操作系统 win7 Mac Android iOS 3. ...
分类:
其他好文 时间:
2019-03-25 00:59:47
阅读次数:
183