Created
January 15, 2012 04:50
-
-
Save yesidays/1614381 to your computer and use it in GitHub Desktop.
code.jobs - Lista numerada - Latex
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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