- 博客(22)
- 收藏
- 关注
原创 Git快速入门
Git工作区域向仓库中添加文件流程Git初始化基本信息设置git config --global user.name 'itcastphpgit1'git config --global user.email '485434609@qq.com'git config --list #查看设置初始化一个新的Git仓库mkdir demo1 #创建文件夹cd demo1git init #在文件内初始...
2018-04-20 20:15:30
227
原创 lshort阅读笔记-2
第二章:用LaTeX排版文字 排版中文:ctex宏包和文档 类ctex文档类包括:ctexart、ctexrep、ctexbook,更适合中文排版LaTeX中的字符空格和分段:(中文后的空格必须满足前后字符类型不同,比如下一行是英文)源代码中的空格、Tab输入的空白字符视为"空格",并且连续若干空白字符视为一个"空格",行末单回车视为一个空格,一行开头的空格忽略。
2018-04-12 22:22:05
397
原创 lshort阅读笔记-1
第一章:概述 LaTeX命令:\开头,可跟字母(以非字母作间隔符,如空格)可跟非字母(无需间隔符) 字母形式的命令忽略后面所有的空格,要人为引入:加对括号{}、反斜线空格\ LaTeX环境: 用法:\begin{} ……\end{}LaTeX源代码结构: \documentclass{文档类}%导言区\usepackage{宏包}%正
2018-04-12 00:09:24
575
原创 Tensorflow 笔记:第一讲
一、 基本概念 1、 什么是人工智能 人工智能的概念: 机器模拟人的意识和思维 重要人物: 艾伦·麦席森·图灵( Alan Mathison Turing) 人物简介: 1912 年 6 月 23 日-1954 年 6 月 7 日,英国数学家、逻辑学家,被称 为计算机科学之父,人工智能之父。相关事件:( 1) 1950 年在论文《机器能思考吗?》中提
2018-04-05 22:43:47
392
原创 数据结构的C语言基础
1. 数据输出printf()函数为格式输出函数,它存在于标准函数库中,在C语言程序中可以直接调用,但程序源文件的开头必须包含以下命令: #include < stdio.h >或#include "stdio.h "%-md:数据以左对齐占m列形式输出,数位不足时从右侧补充空格。 .(小数点):用于分隔域宽与输出精度,通常与输出宽度和数据精度结合使用。2. 一维数组对...
2018-03-28 22:31:25
2800
原创 第1章 MATLAB概述
MATLAB系统由~开发环境、~语言、~数学函数库、~图形处理系统、~应用程序接口(API)5大部分组成。 界面 命令行中的语句格式 命令行的语句格式:>>变量=表达式(没有>>的行则是显示结果) 在命令行窗口中如果输入命令或函数的开头一个或几个字母,按"Tab"键会出现以之开头的所有命令函数列表。 命令行后面的分号(;)省略时E
2018-03-19 16:52:50
254
原创 latex03-LaTeX中的中文处理办法
编译含中文的tex文件的前提有三个:默认编译器为XeLaTeX;编辑器的默认字体编码格式为UTF-8;引入ctex的宏包。效果:源码:%导言区\documentclass{article}\usepackage{ctex}\newcommand\degree{^\circ}\title{\heiti 杂谈勾股定理}\author{\kaishu 刘易寒}\date{\today}...
2018-03-16 23:11:43
502
原创 离散数学-16 树
定义16.1 (1) 无向树——连通无回路的无向图 (2) 平凡树——平凡图 (3) 森林——至少由两个连通分支(每个都是树)组成 (4) 树叶——1度顶点 (5) 分支点——度数2的顶点 定理16.1 设G=V,E>是n阶m条边的无向图,则下面各命题 是等价的: (1) G 是树 (2) G 中任意两个顶点之间存在惟一的路径.
2018-03-16 12:46:30
6850
原创 离散数学-14 图的基本概念
相关概念 1. 图 ① 可用G泛指图(无向的或有向的) ② V(G), E(G), V(D), E(D) ③ n阶图 2. 有限图 3. n 阶零图(无边图,孤立结点构成)与平凡图(一阶零图,只有一个顶点,没有边) 4. 空图——(顶点集为空集) 5. 用 ek 表示无向边
2018-03-16 12:46:13
17664
1
原创 离散数学-11 格与布尔代数
定义11.1 设S, ≼>是偏序集,如果x,yS,{x,y}都有最小上界和最大下界,则称S关于偏序≼作成一个格. 定义11.2 设 f 是含有格中元素以及符号 =,≼ ,≽ ,∨和∧的命题. 令 f*是将 f 中的≼替换成≽,≽替换成≼,∨替换成∧,∧替换成∨所得到的命题. 称 f* 为 f 的对偶命题. 格的对偶原理 设 f 是含有格中元素以
2018-03-16 12:45:47
5511
原创 离散数学-10 群与环
定义10.1 (1) 设V=S, ∘ >是代数系统,∘为二元运算,如果∘运算是可结合的,则称V为半群. (2) 设V=S,∘>是半群,若e∈S是关于∘运算的单位元,则称V是含幺半群,也叫做独异点. 有时也将独异点V 记作 V=S,∘,e>. (3) 设V=S,∘>是独异点,eS关于∘运算的单位元,若 aS,a1S,则称V是群. 通常将群记作G. 定义10.2
2018-03-16 12:45:07
7296
原创 latex02-LaTeX源文件的基本结构
1、一个latex文件有且仅有一个document环境%后表示注释 2、latex的导言区用于全局设置。例如:title\author\date加入空行是结构更加清晰为了能正确的使用标题信息,需要在正文区使用'maketitle'命令。 3、文件类Book 有封面,有内容Report 与book类似Letter 会出现编译错误,原因是Letter类没有\maketitle (我们可以将其注释掉...
2018-03-16 12:38:30
651
原创 离散数学-9 代数系统
定义7.11 设º为S上的二元运算, 如果对于任意的x,y,z∈S,满足以下条件: (1)若x º y=x º z 且x≠θ,则y=z; (2)若y º x=z º x 且x≠θ,则y=z; 则称运算 º 满足消去律,(1)称作左消去律,(2)称作右消去律。 如果S中某些x满足x º x=x, 则称x为运算º的幂等元 定义9.1
2018-03-15 12:37:22
15678
原创 离散数学-8 函数
8.1 函数的定义与性质定义8.1 设 F 为二元关系, 若x∈domF 都存在唯一的y∈ranF 使 xFy 成立, 则称 F 为函数 对于函数F, 如果有 xFy, 则记作 y=F(x), 并称 y 为F 在 x 的值. 定义8.2 设F, G 为函数, 则 F=G FG∧GF 如果两个函数F 和 G 相等,
2018-03-15 12:37:04
8918
原创 离散数学-7 二元关系
定义7.1 由两个元素 x 和 y,按照一定的顺序组成的二元组称为有序对,记作x,y>. 有序对性质: (1) 有序性 x,y>y,x> (当xy时) (2) x,y>与u,v>相等的充分必要条件是 x,y>=u,v> x=uy=v. 定义7.2 设A,B为集合,A与B的笛
2018-03-15 12:36:39
29675
2
原创 离散数学-6 集合代数
1. 集合定义 集合没有精确的数学定义 理解:由离散个体构成的整体称为集合,称这些个体为集合的元素 常见的数集:N, Z, Q, R, C 等分别表示自然数、整数、有理数、实数、复数集合 2. 集合表示法 枚举法----通过列出全体元素来表示集合 谓词表示法----通过谓词概括集合元素的性质 实例:
2018-03-15 12:36:12
6332
原创 离散数学-5 一阶逻辑等值演算与推理
定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式 基本等值式 第一组 命题逻辑中16组基本等值式的代换实例以及推理定律的代换实例 第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① x A(x) A(a1)A(a2
2018-03-15 12:35:49
9251
原创 离散数学-4 一阶逻辑基本概念
个体常项:表示具体或特定的客体的个体词,用a, b, c表示 个体变项:表示抽象或者泛指的个体词,用x, y, z表示 个体域(论域)——个体变项的取值范围 有限个体域,如 {a, b, c}, {1, 2} 无限个体域,如 N, Z, R, … 全总个体域——由宇宙间一切事物组成 谓词——表示个体词性质或相互之间关系的词,常
2018-03-15 12:35:08
4813
1
原创 离散数学-3 命题逻辑的推理理论
定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值,A1A2…Ak 为假,或当A1A2…Ak为真时,B也为真,则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论. 推理正确并不能保证结论一定成立;前提不正确,不论结论是否成立,都说推理正确。定理3.1 由命题公式A1, A2, …, Ak 推B的推理正
2018-03-15 12:34:05
6427
原创 离散数学-2 命题逻辑等值演算
求公式主析取范式的方法步骤:方法一:等值演算设公式A含命题变项p1,p2,…,pn(1) 求A的析取范式A=B1B2 … Bs , 其中Bj是简单合取式 j=1,2, … ,s(2) 若某个Bj既不含pi, 又不含Øpi, 则将Bj展开成 Bj Bj(pipi) (Bjpi)(Bjpi)重复这个过程, 直到所有简单合取式都是长度为n的极小项为止...
2018-03-15 12:32:03
16600
原创 离散数学-1 命题逻辑的基本概念
定义1.1 设 p为命题,复合命题"非p"(或"p的否定")称为p的否定式,记作Øp,符号Ø称作否定联结词. 规定Øp 为真当且仅当p为假.定义1.2 设p,q为两个命题,复合命题"p并且q"(或"p与 q")称为p与q的合取式,记作p∧q,∧称作合取联结词. 规定p∧q为真当且仅当p与q同时为真.定义1.3 设p, q为两个命题,复合命题"p或q"称作p与q的析取式,记作p∨q,∨称作析取联结词...
2018-03-15 12:29:09
4295
原创 latex01-LaTeX环境的安装与配置
以TeX Live (跨平台的发行版软件)为例。1.官网下载iso镜像文件2.用advanced.bat 安装(管理员权限)选择要安装的包(主要是去掉多余的语言包) 测试Tex Live 是否正常安装?命令行窗口->输入 'tex -v',还可以测试'latex -v'的版本 还可以使用'tlmgr update --all'对它进行更新3.用记事本编写latex文件\documentc...
2018-03-14 23:24:45
1657
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人