jfob.tex

\documentclass[10pt]{extarticle}
\usepackage[utf8]{inputenc}
\usepackage[brazil]{babel}
\usepackage{color}



\title{IF673 - Lógica para Computação}
\author{João Felipe de Oliveira Braga }
\date{24 de Outubro 2018}

\usepackage{natbib}
\usepackage{graphicx}
\usepackage[pdftex]{hyperref}

\begin{document}

\maketitle

\section{Introdução}
Essa disciplina usa as ferramentas da Lógica Matemática, tais como teoria dos conjuntos e álgebra booleana, para introduzir os alunos às técnicas do raciocínio lógico. Se insere na área de lógica computacional.

\begin{figure}[h!]
\centering
\includegraphics[scale=1.7]{portalogica.png}
\caption{Exemplo de Porta Lógica, método muito estudado nessa disciplina. Imagem de Domínio Público \url{https://tinyurl.com/ycd2ubnw}}
\label{fig:portalogica}
\end{figure}

\section{Relevância}
A disciplina estuda alguns pontos da lógica simbólica (como máquinas de processamento simbólico e as noções de representação e manipulação simbólica, fundamentais para todos os profissionais da área de ciência da computação), que é muito relevante, pois é vista como uma precursora da lógica das linguagens de programação. Aprender lógica, seu uso e suas aperfeiçoes é fundamental na formação de um programador profissional.

\section{Relação com outras disciplinas}
A disciplina IF673 tem importância curricular em algumas cadeiras, na maioria das vezes sendo um pré-requisito de alguma cadeira.

\begin{table}[h!]
\begin{tabular}{|l|l|}
\hline
IF670 - Matemática Discreta para Computação & \begin{tabular}[c]{@{}l@{}}Essa disciplina inicia o estudo\\  de lógica computacional \\ (com provas, teoremas e\\  relações lógicas) portanto, é \\ um pré-requisito para a IF673.\end{tabular} \\ \hline
IF682 -  Engenharia Software e Sistemas     & \begin{tabular}[c]{@{}l@{}}Essa cadeira tem como um\\  dos pré-requisitos a IF673\\  e é cursada normalmente\\  no quarto período.\end{tabular}                                                  \\ \hline
IF689 - Informática Teórica                 & \begin{tabular}[c]{@{}l@{}}A IF689 tem como um dos \\ pré-requisitos a IF673, \\ normalmente é cursada no \\ quarto período.\end{tabular}                                                        \\ \hline
IF 684 - Sistemas Inteligentes              & \begin{tabular}[c]{@{}l@{}}Uma cadeira obrigatória \\ também do quarto período que\\  tem IF673 como pré-requisito.\end{tabular}                                                                 \\ \hline
IF773 - Lógicas não Clássicas               & \begin{tabular}[c]{@{}l@{}}A IF773 é a única eletiva do \\ curso que tem como \\ pré-requisito a IF673.\end{tabular}                                                                             \\ \hline
\end{tabular}
\end{table}
\citep{3}
\citep{1}
\citep{2}


\bibliographystyle{plain}
\bibliography{references}
\end{document}