code.jobs - Lista numerada - Latex

lista.tex

\documentclass{article}

\usepackage[english,spanish]{babel}
\usepackage{latexsym,graphicx}
\usepackage{listings}

%%% Teclado y lenguaje en español

\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}

\selectlanguage{spanish}

\begin{document}

\begin{enumerate}
\item Presentar la lógica de primer orden como un formalismo universal
  de representación y procesamiento de conocimiento, ampliamente
  utilizado en la Inteligencia Artificial.
\item Presentar a la programación lógica como un modelo de
  programación de sistemas inteligentes que integran la representación
  y el procesamiento lógico con estrategias de búsqueda en el espacio
  de soluciones de problemas.
\item Explicar el desarrollo de algunas extensiones de la programación
  lógica, importantes para la Inteligencia Artificial, como la
  meta-programación, programación por restricciones y la programación
  orientada a agentes.
\end{enumerate}

\end{document}