Skip to content

Instantly share code, notes, and snippets.

@yesidays
Created January 15, 2012 04:50
Show Gist options
  • Save yesidays/1614381 to your computer and use it in GitHub Desktop.
Save yesidays/1614381 to your computer and use it in GitHub Desktop.
code.jobs - Lista numerada - Latex
\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}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment