哈哈岛岛民-CSDN博客

原创 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,yS，{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,∘>是独异点，eS关于∘运算的单位元，若 aS，a1S，则称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 FG∧GF 如果两个函数F 和 G 相等,

2018-03-15 12:37:04 8918

原创离散数学-7 二元关系

定义7.1 由两个元素 x 和 y，按照一定的顺序组成的二元组称为有序对，记作x,y>. 有序对性质: (1) 有序性 x,y>y,x> （当xy时） (2) x,y>与u,v>相等的充分必要条件是 x,y>=u,v> x=uy=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是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式基本等值式第一组命题逻辑中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为命题公式. 若对于每组赋值，A1A2…Ak 为假，或当A1A2…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=B1B2 … Bs , 其中Bj是简单合取式 j=1,2, … ,s(2) 若某个Bj既不含pi, 又不含Øpi, 则将Bj展开成 Bj Bj(pipi)  (Bjpi)(Bjpi)重复这个过程, 直到所有简单合取式都是长度为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

哈哈岛