Please wait
Modelo de TCC Confeccionado para Edital conforme normas ABNT - NBR 14724
Template ajustado por Francisco Reinaldo (https://orcid.org/0000-0001-6161-6755) (http://lattes.cnpq.br/7401534350061823)
New Branch: 26/jun/18 v5
Agradeço a Overleaf pela oportunidade.
EDITAL 1/2018 - PROGRAD/PROREC
Modelo de TCC Confeccionado para APOIO À EXECUÇÃO DE TRABALHOS DE CONCLUSÃO DE CURSO – TCC, conforme normas ABNT - NBR 14724
Template ajustado por Francisco Reinaldo (https://orcid.org/0000-0001-6161-6755) (http://lattes.cnpq.br/7401534350061823)
New Branch TCC2: 22/jun/18 v4
Modelo de TCC Confeccionado para APOIO À EXECUÇÃO DE TRABALHOS DE CONCLUSÃO DE CURSO – TCC, conforme normas ABNT - NBR 14724
Template ajustado por Francisco Reinaldo (https://orcid.org/0000-0001-6161-6755) (http://lattes.cnpq.br/7401534350061823)
% -----------------------------
% EDITAL 1/2018 - PROGRAD/PROREC-UTFPR-FB
% Modelo de TCC Confeccionado para Edital
% conforme normas ABNT - NBR 14724
%
% Template ajustado por Francisco Reinaldo
% (https://orcid.org/0000-0001-6161-6755)
% (http://lattes.cnpq.br/7401534350061823)
% -----------------------------
% New Branch: 26/jun/18 v5
% 16/11/17 versao2.7 PDF/A
% -----------------------------
% Agradecimentos a Overleaf pela oportunidade e ao grupo abntex2!
% -----------------------------
% --- LianTze Lim's Fine Tuning
\RequirePackage{scrlfile}
% \AfterClass{memoir}{\usepackage[a-3b]{pdfx}} %v.3
\BeforePackage{hyperref}{\usepackage[a-3b]{pdfx}} %v.3.2
% Ajuda da Dr. LianTze, que abntex2 não conseguiu resolver
% ---
\documentclass[
% -- opções da classe memoir --
12pt, % tamanho da fonte
openright, % capítulos começam em pág ímpar (insere página vazia caso preciso)
oneside, % para impressão em frente. Oposto a twoside (frente,costas)
a4paper, % tamanho do papel.
% -- opções da classe abntex2 --
chapter=TITLE, % títulos de capítulos convertidos em letras maiúsculas
%section=TITLE, % títulos de seções convertidos em letras maiúsculas
%subsection=TITLE, % títulos de subseções convertidos em letras maiúsculas
%subsubsection=TITLE,% títulos de subsubseções convertidos em letras maiúsculas
% -- opções do pacote babel --
english, % idioma adicional para hifenização
french, % idioma adicional para hifenização
spanish, % idioma adicional para hifenização
brazil % o último idioma é o principal do documento
]{abntex2}
% ---
% PDF/A
% ---
%
% PDF/A é um padrão ISO destinado ao arquivamento a longo prazo de documentos eletrônicos. Enfatiza a autonomia e a reprodutibilidade, bem como os metadados legíveis por máquina.
%
% A pedido da UTFPR-FB-Biblioteca, você deve converter seu PDF para PDF/A. Ao final, valide seu PDF/A em
% https://www.pdf-online.com/osa/validate.aspx
%
% PDF gerado estará ok se a mensagem for: "The document does conform to the PDF/A-3b standard."
% ---
% Pacotes básicos
% ---
\usepackage[T1]{fontenc} % Selecao de codigos de fonte.
\usepackage[utf8]{inputenc} % Codificacao do documento -conversão automática dos acentos
\usepackage{lmodern} % Usa a fonte Latin Modern
\usepackage{lastpage} % Usado pela Ficha catalográfica
\usepackage{indentfirst} % Indenta o primeiro parágrafo de cada seção.
\usepackage{color} % Controle das cores
\usepackage{graphicx} % Inclusão de gráficos
\usepackage{microtype} % para melhorias de justificação
% ---
%---
% ---
% Pacotes de citações
% ---
\usepackage[brazilian,hyperpageref]{backref} % Paginas com as citações na bibl
\usepackage[alf]{abntex2cite} % Citações padrão ABNT
\renewcommand{\cftsectionfont}{\normalfont} %arrumando abntex2
% ---
% Espaçamentos entre linhas e parágrafos
% ---
%
% O tamanho do parágrafo é dado por:
\setlength{\parindent}{1.3cm}
%
% Controle do espaçamento entre um parágrafo e outro:
\setlength{\parskip}{0.2cm} % tente também \onelineskip
% acronyms
\usepackage{acronym}
% ---
% CONFIGURAÇÕES DE PACOTES
% ---
%\renewcommand{\chaptermark}[1]{ \markboth{#1}{} }
% ---
% Pacote de Formatação de URL
% ---
\usepackage{url} %url clicáveis
\makeatletter \def\url@leostyle{%
\@ifundefined{selectfont}{\def\UrlFont{\sf}}{\def\UrlFont{\small\ttfamily}}}
\makeatother \urlstyle{leo}
% ---
% Pacote Gráfico
% ---
\usepackage{graphicx} %graphbox: Extend graphicx to improve placement of graphics
\ifpdf
\DeclareGraphicsExtensions{%
.png,.PNG,%
.pdf,.PDF,%
.jpg,.mps,.jpeg,.jbig2,.jb2,.JPG,.JPEG,.JBIG2,.JB2}
\else
\DeclareGraphicsExtensions{.eps}
\fi
\graphicspath{{figs/}}
%\graphicspath{{subdir1/}{subdir2/}{subdir3/}...{subdirn/}}
% ---
% Configurações do pacote backref
% Usado sem a opção hyperpageref de backref
\renewcommand{\backrefpagesname}{Citado na(s) página(s):~}
% Texto padrão antes do número das páginas
\renewcommand{\backref}{}
% Define os textos da citação
\renewcommand*{\backrefalt}[4]{
\ifcase #1 %
Nenhuma citação no texto.%
\or
Citado na página #2.%
\else
Citado #1 vezes nas páginas #2.%
\fi}%
% ---
% ---
% Ajustes em tam. de fonte de Titulo1, mas gera problema em cascata
%\renewcommand{\ABNTEXchapterfont}{\bfseries\sffamily}
\renewcommand{\ABNTEXchapterfontsize}{\Large}
%\renewcommand{\ABNTEXsectionfont}{\normalfont\sffamily}
%--------------------------------------------------------------------
%--------------------------------------------------------------------
% ---
% DADOS BASICOS DE AUTORIA
% ---
\autor{João José Maria da Silva}
\titulo{Lógica e Aritmética na Filosofia da Matemática de Frege}
\data{2017}
\local{Francisco Beltrão, Paraná}
% ---
% CAPA
% ---
\renewcommand{\imprimircapa}{%
\begin{capa}%
\center
\ABNTEXchapterfont\Large UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ
\par
CAMPUS FRANCISCO BELTRÃO
\par
CURSO DE LICENCIATURA EM INFORMÁTICA
{\vspace*{2cm} \ABNTEXchapterfont\large\imprimirautor}
\vfill
\begin{center}
\ABNTEXchapterfont\bfseries\LARGE\imprimirtitulo
\vspace*{3em}
\end{center}
\vfill
\large\imprimirlocal
\large\imprimirdata
\vspace*{1cm}
\end{capa}
}
%%%%%%%%%%%%%%%
% ---
% FOLHA DE ROSTO
% ---
\tipotrabalho{monografia}
\preambulo{Trabalho de Conclusão de Curso, apresentado a Universidade Tecnológica Federal – Campus Francisco Beltrão, como parte das exigências para a obtenção do título de Licenciado em Informática.}
\setlength{\ABNTEXsignwidth}{12cm} %ajuste tamanho linha textual horizontal se necessário
\setlength{\ABNTEXsignthickness}{0pt} %coloque 1pt se desejar linha. Comumente, linha de assinatura é utilizada para pessoas não letradas.
\setlength{\ABNTEXsignskip}{0.7cm} %espaçamento entre assinaturas
\orientador{Prf. Doutor. Eng. Francisco A. F. Reinaldo}
\coorientador{Prof. Dr. Apl. James Tiberius Kirk}
%%%%%%%%%%%%%%%
% ---
% compila o indice
% ---
\renewcommand{\familydefault}{\sfdefault} %suprime fonte em abntex e força nova fonte em todo o doc.
%-------------------------------------------------------
\begin{document}
% Seleciona o idioma do documento (conforme pacotes do babel)
\selectlanguage{brazil}
% ----------------------------------------------------------
% ELEMENTOS PRÉ-TEXTUAIS
% ----------------------------------------------------------
% \pretextual
% ---
% Capa
% ---
\imprimircapa
% ---
% ---
% Folha de rosto
% (o * indica que haverá a ficha bibliográfica)
% ---
\imprimirfolhaderosto*
% ---
% ---
% RESUMOS
% ---
% resumo em português
\setlength{\absparsep}{18pt} % ajusta o espaçamento dos parágrafos do resumo
\begin{resumo}
Nos \textit{Fundamentos da Aritmética} (§68), Frege propõe definir explicitamente o operador-abstração `o número de...' por meio de extensões e, a partir desta definição, provar o Princípio de Hume (\textbf{PH}). Contudo, a prova imaginada por Frege depende de uma fórmula (\textbf{BB}) não derivável no sistema em 1884. Acreditamos que a distinção entre sentido e referência e a introdução dos valores de verdade como objetos foram motivadas para justificar a introdução do Axioma IV, a partir do qual um análogo de (\textbf{BB}) é provável. Com (\textbf{BB}) no sistema, a prova do Princípio de Hume estaria garantida. Concomitantemente, percebemos que uma teoria unificada das extensões só é possível com a distinção entre sentido e referência e a introdução dos valores de verdade como objetos. Caso contrário, Frege teria sido obrigado a introduzir uma série de \textbf{Axiomas V} no seu sistema, o que acarretaria problemas com a identidade (Júlio César). Com base nestas considerações, além do fato de que, em 1882, Frege provara as leis básicas da aritmética (carta a Anton Marty), parece-nos perfeitamente plausível que estas provas foram executadas adicionando-se o \textbf{PH} ao sistema lógico de Begriffsschrift. Mostramos que, nas provas dos axiomas de Peano a partir de \textbf{PH} dentro da conceitografia, nenhum uso é feito de (\textbf{BB}). Destarte, não é necessária a introdução do Axioma IV no sistema e, por conseguinte, não são necessárias a distinção entre sentido e referência e a introdução dos valores de verdade como objetos. Disto, podemos concluir que, provavelmente, a introdução das extensões nos \textit{Fundamentos} foi um ato tardio; e que Frege não possuía uma prova formal de \textbf{PH} a partir da sua definição explícita. Estes fatos também explicam a demora na publicação das \textit{Leis Básicas da Aritmética} e o descarte de um manuscrito quase pronto (provavelmente, o livro mencionado na carta a Marty).
\vspace{\onelineskip}
\noindent \textbf{Palavras-chave}: Axioma IV. Axioma V. Princípio de Hume. Valores de Verdade. Gottlob Frege.
\end{resumo}
% ---
% inserir lista de ilustrações
% ---
\pdfbookmark[0]{\listfigurename}{lof}
\listoffigures*
\cleardoublepage
% ---
% ---
% inserir lista de tabelas
% ---
\pdfbookmark[0]{\listtablename}{lot}
\listoftables*
\cleardoublepage
% ---
% ---
% inserir lista de abreviaturas e siglas em ordem alfabética
% ---
\begin{siglas}
\item[ICHS] Instituto de Ciências Humanas e Sociais
\item[LPM] Lógica Proposicional Modal
\item[LQM] Lógica Quantificacional Modal
\item[UFRJ] Universidade Federal do Rio de Janeiro
\end{siglas}
% ---
% inserir lista de símbolos
% ---
\begin{simbolos}
\item[$ \Gamma $] Letra grega Gama
\item[$ \Lambda $] Lambda
\item[$ \zeta $] Letra grega minúscula zeta
\item[$ \in $] Pertence
\end{simbolos}
% ---
% inserir o sumario
% ---
\pdfbookmark[0]{\contentsname}{toc}
\tableofcontents*
\cleardoublepage
% ---
% ----------------------------------------------------------
% ELEMENTOS TEXTUAIS
% ----------------------------------------------------------
% ------ Retira do cabeçalho o chapter name ------%
\makepagestyle{abntheadings}
\makeoddhead{abntheadings}{}{}{\ABNTEXfontereduzida\thepage}
% ------------------------------------------------%
\textual
\chapter{\textbf{TEMA}} %inserir \textbf{} (Falha do abntex2)
Apresenta o assunto principal, o estado da arte e o estado da prática, em especial – observe o exemplo. Sobretudo, verifique as normas de citação. Sugere-se entre uma página a duas páginas.
\section[DELIMITAÇÃO DO TEMA]{DELIMITAÇÃO DO TEMA}
Indicar, sobretudo a limitação de escopo – propósito, intento efetivo, foco; a limitação geográfica – tipo de empresa, setor, local. A delimitação pode ser feita em aproximadamente meia página.
Diversas ferramentas envolvendo gamificação tais como o \textit{Mathlab}{\textsuperscript{\textcopyright}, e o \textit{Khan Academy}{\textsuperscript{\textcopyright} \cite{Marchetto2016}, vêm sendo propostas para realizar uma melhora na aplicação de conteúdo em sala de aula.
\section[PROBLEMAS E PREMISSAS]{PROBLEMAS E PREMISSAS}
Descreve-se o contexto das principais dificuldades encontradas. Em geral incorpora-se a pergunta de pesquisa e a premissa ou hipótese levantadas.
\section[OBJETIVOS]{OBJETIVOS}
\subsection[Objetivo Geral]{Objetivo Geral}
Lembrar que o objetivo geral é sempre uma ação, bem delimitada, portanto exige um verbo no infinitivo.
\subsection[Objetivos Específicos]{Objetivos Específicos}
Nos objetivos específicos usa-se apenas um verbo / ação por objetivo.
\section[JUSTIFICATIVA]{JUSTIFICATIVA}
Deve mostrar, cabalmente, a importância do estudo em questão, portanto, dispensa citações diretas ou indiretas, salvo quando da existência de dados numéricos ou históricos por exemplo.
{\vspace{5em}\let\clearpage\relax \chapter[PROCEDIMENTOS METODOLÓGICOS]{\textbf{PROCEDIMENTOS METODOLÓGICOS}}}
Classifica-se a pesquisa em pelo menos: natureza; objetivo macro; técnicas e procedimentos a serem utilizados. Tal classificação exige a utilização de referencial teórico próprio.
{\vspace{5em}\let\clearpage\relax \chapter[REFERENCIAL TEÓRICO]{ \textbf{REFERENCIAL TEÓRICO}}}
Indicam-se quais os assuntos serão tratados e principalmente qual o embasamento teórico e seus autores. Pode ser apresentada uma prévia da proposta de trabalho.
{\vspace{5em}\let\clearpage\relax \chapter[DEMONSTRATIVOS DA APLICAÇÃO E VINCULAÇÃO]{\textbf{DEMONSTRATIVOS DA APLICAÇÃO E VINCULAÇÃO}}}
\vspace{-1em}
\section[APLICAÇÃO]{DEMONSTRATIVO DA APLICAÇÃO DOS RECURSOS}
Demonstrativo da aplicação dos recursos.
\section[VINCULAÇÃO DO PROJETO]{DEMONSTRATIVO DA VINCULAÇÃO DO PROJETO COM A ÁREA DE INSERÇÃO PROFISSIONAL}
Demonstrativo da vinculação do projeto.
{\vspace{5em}\let\clearpage\relax \chapter[CRONOGRAMA]{\textbf{CRONOGRAMA}}}
Para a realização deste trabalho propõem-se o seguinte cronograma de realização das atividades:
Sugere-se inserir estes pontos: em Etapa mês
\begin{itemize}
\item Revisão de literatura
\item Definição dos procedimentos
\item Coleta de dados
\item Análise dos resultados
\item Redação da monografia
\item Correção e complementação da monografia
\item Defesa
\end{itemize}
plausível que estas provas foram executadas adicionando-se o \textbf{PH} ao sistema lógico de Begriffsschrift. Mostramos que, nas provas dos axiomas de Peano a partir de \textbf{PH} dentro da conceitografia, nenhum uso é feito de (\textbf{BB}). Destarte, não é necessária a introdução.
\chapter{Alguns exemplos de tabelas e alienas}
\begin{figure}[!ht]
\centering
\caption{Logomarca ABNT}
\includegraphics[width=0.47\textwidth]{Screen_Shot_2018-06-22_at_10_14_05.png}
\fonte{sua fonte a usar}
\label{fig: Logo abnt}
\end{figure}
\begin{alineas}
\item linha 1:
\begin{alineas}
\item subalinea 1;
\item subalinea 2;
\end{alineas}
\item linha 2:
\begin{subalineas}
\item subalinea 1;
\item subalinea 2;
\end{subalineas}
\item linha 3:
\begin{incisos}
\item subalinea 1;
\item subalinea 2;
\end{incisos}
\item linha 4.
\end{alineas}
\begin{table}[htb]
\IBGEtab{%
\caption{Um Exemplo de tabela alinhada que pode ser longa ou curta,
conforme padrão IBGE.}%
\label{tabela-ibge}
}{%
\begin{tabular}{ccc}
\toprule
Nome & Nascimento & Documento \\
\midrule \midrule
Maria da Silva & 11/11/1111 & 111.111.111-11 \\
\bottomrule
\end{tabular}%
}{%
\fonte{Produzido pelos autores}%
\nota{Esta éuma nota, que diz que os dados são baseados na
regressão linear.}%
\nota[Anotações]{Uma anotação adicional, seguida de várias outras.}%
}
\end{table}
\begin{table}[htb]
\ABNTEXfontereduzida
\caption[Níveis de investigação]{Níveis de investigação.}
\label{tab-nivinv}
\begin{tabular}{p{2.6cm}|p{6.0cm}|p{2.25cm}|p{3.40cm}}
%\hline
\textbf{Nível de Investigação} & \textbf{Insumos} & \textbf{Sistemas de Investigação} & \textbf{Produtos} \\
\hline
Meta-nível & Filosofia\index{filosofia} da Ciência & Epistemologia &
Paradigma \\
\hline
Nível do objeto & Paradigmas do metanível e evidências do nível inferior &
Ciência & Teorias e modelos \\
\hline
Nível inferior & Modelos e métodos do nível do objeto e problemas do nível inferior & Prática & Solução de problemas \\
% \hline
\end{tabular}
\legend{Fonte: \citeonline{van86}}
\end{table}
% ----------------------------------------------------------
% Finaliza a parte no bookmark do PDF
% para que se inicie o bookmark na raiz
% e adiciona espaço de parte no Sumário
% ----------------------------------------------------------
\phantompart
% ----------------------------------------------------------
% ELEMENTOS PÓS-TEXTUAIS
% ----------------------------------------------------------
\postextual
% ----------------------------------------------------------
% ----------------------------------------------------------
% Referências bibliográficas
% ----------------------------------------------------------
%\bibliography{acervo.bib}
% ----------------------------------------------------------
% Glossário
% ----------------------------------------------------------
%
% Consulte o manual da classe abntex2 para orientações sobre o glossário.
%
%\glossary
% ----------------------------------------------------------
% Apêndices
% ----------------------------------------------------------
% ---
% Inicia os apêndices
% ---
\begin{apendicesenv}
% Imprime uma página indicando o início dos apêndices
\partapendices
% ----------------------------------------------------------
\chapter{apêndice 1}
% ----------------------------------------------------------
texto texto
% ----------------------------------------------------------
\chapter{apêndice 2}
% ----------------------------------------------------------
texto texto
\end{apendicesenv}
% ---
% ----------------------------------------------------------
% Anexos
% ----------------------------------------------------------
% ---
% Inicia os anexos
% ---
\begin{anexosenv}
% Imprime uma página indicando o início dos anexos
\partanexos
% ---
\chapter[CARTA DE ANUÊNCIA]{CARTA DE ANUÊNCIA DA COORDENAÇÃO DO CURSO PARA O EDITAL 1/2018 - PROGRAD/PROREC}
\vspace{3em}
{\linespread{2}
A coordenação do curso de Licenciatura em Informática declara que a proposta de TRABALHO DE CONCLUSÃO DE CURSO 1, do aluno, abaixo relacionado, está de
acordo com os procedimentos e normas estabelecidas no curso e pode ser submetida ao Edital 1/2018 - PROGRAD/PROREC, de Apoio à Execução de Trabalhos de Conclusão de Curso, para o primeiro semestre de 2018.
}
\vspace{2em}
Título: \textbf{\imprimirtitulo}
\vspace{2em}
Aluno: \textbf{\imprimirautor }
\vspace{\fill}
\hspace{\fill} Francisco Beltrão-PR, \today.
\vspace{2em}
\begin{center}
\small
\textbf{Profa. Doutora Maici Duarte Leite\\
\footnotesize{Coordenadora do Curso de Licenciatura em Informática}} \vspace{3em}
\textbf{\imprimirorientador\\ \footnotesize{Prof. Orientador TCC}}
\end{center}
\end{anexosenv}
\pagebreak
\bibliography{acervo.bib}
\end{document}
enumerate
\usepackage[shortlabels]{enumerate}
.
.
.
\begin{enumerate}[(a)] % (a), (b), (c), ...
\item
\end{enumerate}
.
.
.
\begin{enumerate}[a)] % a), b), c), ...
\item
\end{enumerate}
Overleaf is perfect for all types of projects — from papers and presentations to newsletters, CVs and much more! It's also a great way to learn how to use LaTeX and produce professional looking projects quickly.
Upload or create templates for journals you submit to and theses and presentation templates for your institution. Just create it as a project on Overleaf and use the publish menu. It's free! No sign-up required.
New template are added all the time. Follow us on twitter for the highlights!
Overleaf is a free online collaborative LaTeX editor. No sign up required.
Learn more