36 lines
994 B
TeX
36 lines
994 B
TeX
|
\documentclass[10pt,a4paper]{article}
|
|||
|
\usepackage[utf8]{inputenc}
|
|||
|
\usepackage[spanish]{babel}
|
|||
|
\usepackage{amsmath}
|
|||
|
\usepackage{amsfonts}
|
|||
|
\usepackage{amssymb}
|
|||
|
\usepackage{multicol}
|
|||
|
\usepackage{hyperref}
|
|||
|
\usepackage{graphicx}
|
|||
|
\usepackage{listings}
|
|||
|
\usepackage{xcolor}
|
|||
|
\usepackage{caption}
|
|||
|
\renewcommand{\rmdefault}{ptm}
|
|||
|
\usepackage{pgf}
|
|||
|
\usepackage{tikz}
|
|||
|
\usetikzlibrary{automata,positioning,arrows}
|
|||
|
%\tikzset{->, % makes the edges directed
|
|||
|
% >=stealth’, % makes the arrow heads bold
|
|||
|
% node distance=3cm, % specifies the minimum distance between two nodes. Change if necessary.
|
|||
|
% every state/.style={thick, fill=gray!10}, % sets the properties for each ’state’ node
|
|||
|
% initial text=$ $ % sets the text that appears on the start arrow
|
|||
|
% }
|
|||
|
%\usetikzlibrary{arrows,automata}
|
|||
|
%\usepackage[all,cmtip]{xy}
|
|||
|
%\usepackage{graphicx}
|
|||
|
\author{Lógica computacional}
|
|||
|
\title{Programación lógica y bases de datos}
|
|||
|
\begin{document}
|
|||
|
\maketitle
|
|||
|
|
|||
|
\section{Fundamentos teóricos}
|
|||
|
|
|||
|
|
|||
|
|
|||
|
\end{document}
|