questoes avaliacao

aval_final/dentitle.sty

@@ -0,0 +1,42 @@
+
+% modified for ASCII jLaTeX  5-Feb-93  by Hiroshi OHNO
+%     { \jLarge ==> \Large , removing \dg }
+
+\def\makedendentitle#1#2{\par
+ \begingroup
+ \if@twocolumn
+ \twocolumn[\@dendentitle{#1}{#2}]
+ \else \newpage
+ \global\@topnum\z@ \@dendentitle{#1}{#2} \fi\thispagestyle{plain}\@thanks
+ \endgroup
+ \let\makedendentitle\relax
+ \let\@dendentitle\relax
+ \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
+
+\def\@dendentitle#1#2{\newpage
+ \null
+%\vskip 2em 
+ \color{blue}
+ \newlength \dendenwidth
+ \dendenwidth = -2ex
+ \advance \dendenwidth by \textwidth
+ \begin{center}
+ \framebox[\textwidth]{
+   \parbox{\dendenwidth}
+     {
+       \vskip .5ex
+       #1 \hfill \@date \\ 
+         \parbox{\dendenwidth}{
+           \vskip 1em
+           \centering {\Large \bf \@title \par} 
+           \vskip 1em
+         }
+       \vskip 0ex 
+       #2 \hfill \@author 
+       \vskip .5ex
+     }
+ }
+ \end{center}
+% \vskip 3em
+ \vskip 1em
+}

aval_final/img/grafo.dot

@@ -0,0 +1,21 @@
+digraph G { 
+    fontname="Helvetica,Arial,sans-serif"
+	node [fontname="Helvetica,Arial,sans-serif"]
+	edge [fontname="Helvetica,Arial,sans-serif"]
+	rankdir="LR";
+    node [shape = doublecircle]; "s4"; 
+	node [shape = circle];
+
+    "s1" -> "s3" [label = "a1"];
+    "s1" -> "s4" [label = "a2"];
+    "s2" -> "s3" [label = "a1"];
+    "s2" -> "s5" [label = "a2"];
+    "s3" -> "s4" [label = "a1"];
+    "s5" -> "s4" [label = "a1"];
+    "s1" -> "s5" [label = "a3"];
+    "s2" -> "s1" [label = "a3"];
+    "s3" -> "s5" [label = "a2"];
+    "s3" -> "s1" [label = "a3"];
+    "s5" -> "s1" [label = "a2"];
+    "s5" -> "s5" [label = "a3"];
+}

aval_final/personal.sty

@@ -0,0 +1,48 @@
+% Personal settings.
+% Edson Satoshi Gomi.
+
+% \newcommand{\doublesp}{\renewcommand{\baselinestretch}{1.2}}
+
+\setlength{\columnsep}{1cm}
+\setlength{\topmargin}{-1.5cm}
+\setlength{\textheight}{24cm}
+\setlength{\textwidth}{17cm}
+\setlength{\oddsidemargin}{-0.3cm}
+\setlength{\evensidemargin}{-0.3cm}
+\setlength{\parskip}{1ex}
+\renewcommand{\include}{\input}
+
+% \doublesp
+
+\newcommand{\And}{\wedge}
+\newcommand{\Or}{\vee}
+\newcommand{\Not}{\neg}
+\newcommand{\Derive}{\vdash}
+\newcommand{\Entail}{\models}
+\newcommand{\Union}{\bigcup}
+\newcommand{\Intersection}{\cap}
+\newcommand{\Belongs}{\in}
+\newcommand{\Contained}{\subseteq}
+\newcommand{\False}{\Box}
+\newcommand{\True}{\rule{1ex}{1ex}}
+\newcommand{\If}{\leftarrow}
+\newcommand{\OnlyIf}{\rightarrow}
+\newcommand{\Iff}{\leftrightarrow}
+\newcommand{\Subsumes}{\succeq}
+
+\newcommand{\pname}[1]{\textmd{\texttt{#1}}}  % style for program names.
+\newcommand{\typew}[1]{\textmd{\texttt{#1}}}  % style for program code.
+
+%  Commands to make compatible the syntax of ECC and Linux.
+%  Symbolic link created at /usr/lib/texmf/tex/latex/graphics:
+%           ln -s epsfig.sty epsf.sty
+%  Syntax: \epscenter{file=figura.eps,width=xx,height=yy}
+%          \epsfile{file=figura.eps,width=xx,height=yy}
+\newcommand{\epscenter}[1]{\centerline{\epsfile{#1}}}
+\newcommand{\epsfile}[1]{\epsfig{#1}}
+
+\newtheorem{definition}{Definition}
+\newtheorem{theorem}{Theorem}
+\newtheorem{proposition}{Proposition}
+\newtheorem{lemma}{Lemma}
+\newtheorem{corollary}{Corollary}

aval_final/provaFinal.bbl

@@ -0,0 +1,3 @@
+\begin{thebibliography}{}
+
+\end{thebibliography}

aval_final/provaFinal.blg

@@ -0,0 +1,53 @@
+This is BibTeX, Version 0.99d (TeX Live 2022/dev/Debian)
+Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
+The top-level auxiliary file: provaFinal.aux
+The style file: plain.bst
+I couldn't open database file doutorado.bib
+---line 6 of file provaFinal.aux
+ : \bibdata{doutorado
+ :                   ,mestrado}
+I'm skipping whatever remains of this command
+I found no \citation commands---while reading file provaFinal.aux
+I found no database files---while reading file provaFinal.aux
+You've used 0 entries,
+            2118 wiz_defined-function locations,
+            497 strings with 4002 characters,
+and the built_in function-call counts, 18 in all, are:
+= -- 0
+> -- 0
+< -- 0
++ -- 0
+- -- 0
+* -- 2
+:= -- 7
+add.period$ -- 0
+call.type$ -- 0
+change.case$ -- 0
+chr.to.int$ -- 0
+cite$ -- 0
+duplicate$ -- 0
+empty$ -- 1
+format.name$ -- 0
+if$ -- 1
+int.to.chr$ -- 0
+int.to.str$ -- 0
+missing$ -- 0
+newline$ -- 3
+num.names$ -- 0
+pop$ -- 0
+preamble$ -- 1
+purify$ -- 0
+quote$ -- 0
+skip$ -- 1
+stack$ -- 0
+substring$ -- 0
+swap$ -- 0
+text.length$ -- 0
+text.prefix$ -- 0
+top$ -- 0
+type$ -- 0
+warning$ -- 0
+while$ -- 0
+width$ -- 0
+write$ -- 2
+(There were 3 error messages)