Last active
July 8, 2022 15:20
-
-
Save R0mb0/9019007dcff0a3d0003916746bee4afc to your computer and use it in GitHub Desktop.
Urbino's University - Applied computer science - Functional and Logic Programming - Report Template in 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[italian]{babel} | |
\usepackage[utf8]{inputenc} | |
\usepackage{listingsutf8} | |
\usepackage[margin=75pt]{geometry} | |
\usepackage{amsmath} | |
\usepackage{graphicx} | |
\usepackage{spverbatim} | |
\usepackage{hyperref} | |
\usepackage{listings} | |
\usepackage{color} | |
\definecolor{dkgreen}{rgb}{0,0.6,0} | |
\definecolor{gray}{rgb}{0.5,0.5,0.5} | |
\definecolor{mauve}{rgb}{0.58,0,0.82} | |
\lstset{frame=tb, | |
language=Haskell, | |
aboveskip=3mm, | |
belowskip=3mm, | |
showstringspaces=false, | |
columns=flexible, | |
basicstyle={\small\ttfamily}, | |
numbers=none, | |
numberstyle=\tiny\color{gray}, | |
keywordstyle=\color{blue}, | |
commentstyle=\color{dkgreen}, | |
stringstyle=\color{mauve}, | |
breaklines=true, | |
breakatwhitespace=true, | |
tabsize=3 | |
} | |
\title{\textbf{Relazione sul Progetto d'Esame}} | |
\author{Nome} | |
\date{\small Università degli Studi di Urbino Carlo Bo\\ | |
Insegnamento di Programmazione Logica e Funzionale} | |
\begin{document} | |
\maketitle | |
\newpage | |
\section{Specifica del Problema} | |
Specifica del problema. | |
\newpage | |
\section{Analisi del Problema} | |
\subsection{Dati di Ingresso del Problema} | |
Dati di ingresso del problema. | |
\subsection{Dati di Uscita del Problema} | |
Dati di uscita del problema. | |
\subsection{Relazioni Intercorrenti tra i Dati del Problema} | |
Relazioni intercorrenti tra i dati del problema: | |
\begin{itemize} | |
\item Primo elemento della lista. | |
\item Secondo elemento della lista. | |
\item Terzo elemento della lista, etc... | |
\end{itemize} | |
\newpage | |
\section{Progettazione dell'Algoritmo} | |
\subsection{Scelte di Progetto} | |
Scelte di progetto. | |
\subsection{Passi dell'Algoritmo} | |
\begin{enumerate} | |
\item Primo elemento della enumerazione. | |
\item Secondo elemento della enumerazione. | |
\item Terzo rilevamento della enumerazione, etc... | |
\end{enumerate} | |
\newpage | |
\section{Implementazione dell'Algoritmo} | |
\raggedright | |
\lstset{inputencoding=utf8/latin1} | |
\underline{File sorgente \textbf{NomeFile.hs:}} | |
\lstinputlisting[language=Haskell]{inserire_il_percorso_del_file_da_includere.hs} | |
\newpage | |
\raggedright | |
\lstset{inputencoding=utf8/latin1} | |
\underline{File sorgente \textbf{NomeFile.pl:}} | |
\lstinputlisting[language=Prolog]{inserire_il_percorso_del_file_da_includere.pl} | |
\newpage | |
\section{Testing del Programma} | |
\subsection*{Test Haskell 1} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 2} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 3} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 4} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 5} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 6} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 7} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 8} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 9} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Haskell 10} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\newpage | |
\subsection*{Test Prolog 1} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 2} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 3} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 4} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 5} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 6} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 7} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 8} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 9} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\subsection*{Test Prolog 10} | |
\lstset{inputencoding=utf8/latin1} | |
\lstinputlisting[language=]{inserire_il_percorso_del_file_da_includere.txt} | |
\end{document} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment