latex使用总结

首先新建一个文件，命名为test.tex，在定义一个文件名为test.bib来存放参考文件。

test.tex文件内容简介

头文件

\documentclass[12pt,a4paper,UTF8]{ctexart}
\title{图灵机}
\date{}
\bibliographystyle{plain}
\usepackage{graphicx} %调用graphicx宏包
\usepackage{CJK}
\usepackage{amsmath}
\usepackage{ntheorem}
\newtheorem{dl}{定理}
\newtheorem*{zm}{证明}
\newtheorem{yl}{引理}
\usepackage{leftidx}
\usepackage{cite}
\usepackage[backref]{hyperref} %使得点击引用可以跳转到参考文献处


\numberwithin{dl}{section} %使得dl按照和章节相关联的方式进行编号

\numberwithin{yl}{section} %使得yl按照和章节相关联的方式进行编号
如下图

进行摘要的编写

\begin{document}
\maketitle
\begin{abstract}
这是摘要的相关内容
\end{abstract}
\par \par \par \textbf{关键词: }单带图灵机;离线图灵机;时间复杂度
\clearpage %相当于另起一页
%下面三行的作用是让Abstract居中显示
\begin{center}
\large{\textbf{Abstract}}
\end{center}
\par
this is the english abstract.
\par \par \par \textbf{Key words: }Single band Turing machine;Offline Turing machine;Time complexity
\clearpage
\section{引言} %作用是定义一个章节

test.tex源码

\documentclass[12pt,a4paper,UTF8]{ctexart}
\title{标题}
\date{}
\bibliographystyle{plain}
\usepackage{graphicx} %调用graphicx宏包
\usepackage{CJK}
\usepackage{amsmath}
\usepackage{ntheorem}
\newtheorem{dl}{定理}
\newtheorem*{zm}{证明}
\newtheorem{yl}{引理}
\usepackage{leftidx}
\usepackage{cite}
\usepackage[backref]{hyperref} 
\numberwithin{dl}{section}
\numberwithin{yl}{section}
%\numberwithin{zm}{section}
\begin{document}
	\maketitle
	\begin{abstract}
	本研究旨在。。。。。。
	\end{abstract}
	\par \par \par \textbf{关键词: }我是;关键;词
	\clearpage
\begin{center}
\large{\textbf{Abstract}}
\end{center}
\par
The purpose of this study......
	\par \par \par \textbf{Key words: }machine;chine;Time
	\section{引言}
	历史上人们认为。。。。
	\par
	后来。。。。。
	\par
	对计算在\cite{ref1}中已经。。到和\cite{ref2}中类似的问题了。%cite{ref_name}，ref_name在test.bib文件中定义，这里是在文章中对参考文献进行引用。
	\par
	\section{效率分析}
	是一个大的范畴。。。。。。
	\subsection{分析}
	一样的。。。
	\par
	我们可以定义一个集
	\begin{dl}
	有一个问。。
	\end{dl}
	\begin{zm}
	可以构。。。即停机。
	\end{zm}
	\subsection{灵机效率}
	基本。。。
	\par
	\begin{dl}
	判定问。。
	\end{dl}
	\begin{zm}
	现在出。。。。
	\par
	不妨可以。。。
	\end{zm}
	\begin{equation} %定义一个方程组，居中，并且在最后有标号(1)
  	\left\{
   	\begin{array}{c}
   	{S_0=\{x\vert x \in S\ \&\ |x|=n\}};  \\
   	{S_1=\{x\vert x \in S_0\ \&\ u_1 \geq 1\}};  \\
   	{S_2=\{x\vert x \in S_1\ \&\ u_2 \geq 2\}};  \\
   	\cdots  \\
   	{S_{i+1}=\{x\vert x \in S_i\ \&\ u_{i+1} \geq i+1\}};  \\
   	\end{array}
  	\right.
	\end{equation}
	\par
	假设。。。。
	\begin{yl}
	假设。。。。
	\end{yl}
	\begin{zm}
	通过题设不。。立的。
	\end{zm}
	\begin{figure}[htb] %插入一个图片htb是固定的格式
		\centering
		\includegraphics[scale=0.6]{one.png} %one.png代表图片的名字
		\caption{简略表示} %图注
	\end{figure}
	
	\section{总结}
	在本。。。。
\bibliography{test} %相当于引入文件test.bib，引用的时候后缀名需要省略,这里test.tex和test.bib文件放在相同的目录下
\end{document}

效果如下图：

test.bib文件格式

可以插入好多种文献类型，下面只展示其中的一种类型。

定义公式方式总结

一、不单独成行

$a+b=c$，这样定义之后，显示的内容如下：
$a+b=c$

二、单独成行

效果如下：可以看出，只是另起一行，没有标号


效果如下：可以看出，不仅仅另起一行，而且还有标号

由上，可以推知如下

定义方程组方式一：有标号

\begin{equation} %定义一个方程组，居中，并且在最后有标号(1)
  	\left\{
   	\begin{array}{c}
   	{S_0=\{x\vert x \in S\ \&\ |x|=n\}};  \\
   	{S_1=\{x\vert x \in S_0\ \&\ u_1 \geq 1\}};  \\
   	{S_2=\{x\vert x \in S_1\ \&\ u_2 \geq 2\}};  \\
   	\cdots  \\
   	{S_{i+1}=\{x\vert x \in S_i\ \&\ u_{i+1} \geq i+1\}};  \\
   	\end{array}
  	\right.
	\end{equation}

定义方程组方式二：无标号

  	\[
  	\left\{
   	\begin{array}{c}
   	{S_0=\{x\vert x \in S\ \&\ |x|=n\}};  \\
   	{S_1=\{x\vert x \in S_0\ \&\ u_1 \geq 1\}};  \\
   	{S_2=\{x\vert x \in S_1\ \&\ u_2 \geq 2\}};  \\
   	\cdots  \\
   	{S_{i+1}=\{x\vert x \in S_i\ \&\ u_{i+1} \geq i+1\}};  \\
   	\end{array}
  	\right.
  	\]