PhD-thesis/titlepage.tex at master · massimo-nocentini/PhD-thesis · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136

% old title page {{{
\iffalse
\newsavebox{\logounifi}
\savebox{\logounifi}{\includegraphics[height=7\baselineskip]{logos/logo_unifi}}
\newsavebox{\logounipg}
\savebox{\logounipg}{\includegraphics[height=7\baselineskip]{logos/logo_unipg}}
\newsavebox{\logoindam}
\savebox{\logoindam}{\includegraphics[height=7\baselineskip]{logos/logo_indam}}

\title[On Recursion]{\setlength{\parindent}{0pt} On Recursion}

\author[Massimo Nocentini]{\usebox{\logounifi}\hfill\usebox{\logoindam}\hfill\usebox{\logounipg} \\
 \vspace{7mm}
 {\small Universit\`{a} di Firenze, Universit\`{a} di Perugia, INdAM  consorziate nel CIAFM}\\
 \vspace{-3mm}
 {\small Sede amministrativa Universit\`a degli Studi di Firenze}\\
 \vspace{5mm}
 {\small \textbf{DOTTORATO DI RICERCA IN MATEMATICA, INFORMATICA, STATISTICA}}\\
 \vspace{-3mm}
 {\small CURRICULUM IN INFORMATICA, CICLO XXXI}\\
 \vspace{5mm}
 {\small Settore Scientifico Disciplinare \textbf{INF/01}}\\
 \vspace{-3mm}
 {\small Anni accademici $2015/2018$}\\
 %\vspace{-0.5cm} % for splitting at half
 \vspace{-2cm}
 }

\date{Accademic years from $2015$ to $2018$}

\publisher{ %\par
    {\small\noindent Candidato: \indent\indent\indent dott. \textbf{Massimo Nocentini}}\\
    {\small Tutor: \indent\indent\indent\indent\indent prof. \textbf{Donatella Merlini}}\\
    {\small Coordinatore: \indent prof. \textbf{Graziano Gentili}}\\
}
\fi
%}}}

\linespread{1.1}
\pagestyle{myheadings}

\thispagestyle{empty}
\newgeometry{top=3cm,bottom=2cm}
\begin{titlingpage}
\begin{center}

% individual logos {{{
\iffalse
\newsavebox{\logounifi}
\savebox{\logounifi}{\includegraphics[height=7\baselineskip]{logos/logo_unifi}}
\newsavebox{\logounipg}
\savebox{\logounipg}{\includegraphics[height=7\baselineskip]{logos/logo_unipg}}
\newsavebox{\logoindam}
\savebox{\logoindam}{\includegraphics[height=7\baselineskip]{logos/logo_indam}}
\fi
% }}}

%\includegraphics[width = 0.3\linewidth]{LogoUnifi.pdf}
%\vspace{-4cm}\hspace{-1cm}\usebox{\logounifi}\hfill\usebox{\logoindam}\hfill\usebox{\logounipg} \\
\vspace{-4cm}\includegraphics{logos/logo.jpeg}
\par%\par
%\vspace{5mm}
{ %\small %Consorzio  Interuniversitario per l'alta Formazione in Matematica\\
Universit\`a di Firenze, Universit\`a di Perugia, INdAM  consorziate nel {\small CIAFM}\\}
%Sede amministrativa Universit\`a di Firenze\\
\vspace{1mm}
\vskip .8cm
%\vspace{1mm}
%\LARGE
%  UNIVERSIT\`A DEGLI STUDI DI FIRENZE
\par \vspace{2mm}
%\hrule
%\par \vspace{4mm}
%\large
%Facolt\`a di Scienze Matematiche, Fisiche e Naturali
%\\
%Dipartimento di Matematica e Informatica ``Ulisse Dini''
%\\
\large
\textbf{DOTTORATO DI RICERCA\\
IN MATEMATICA, INFORMATICA, STATISTICA}\\
\vskip.2cm
CURRICULUM IN INFORMATICA\\
CICLO XXXI
\par \vspace{5mm}
\large

%Tesi di Dottorato

{\bf Sede amministrativa Universit\`a degli Studi di Firenze}\\
Coordinatore Prof.~Graziano Gentili
\par \vspace{8mm}
\huge
\textbf{An algebraic and combinatorial study\newline
        of some infinite sequences of numbers\newline
        supported by symbolic and logic computation}
\par \vspace{5mm}

\large
Settore Scientifico Disciplinare INF/$01$
\end{center}
\par \vspace{10mm}

\normalsize
\hspace{1cm}\begin{minipage}{0.42\linewidth}
\textbf{Dottorando}
\\
{Massimo Nocentini}
\end{minipage}
\hspace{2cm}
\begin{minipage}{0.42\linewidth}
\textbf{Tutore}
\\
{Prof. Donatella Merlini}

\end{minipage}
\par \vspace{10mm}

\begin{center}
\begin{minipage}{0.30\linewidth}
\textbf{Coordinatore}
\\
{Prof.~Graziano Gentili}
\end{minipage}
\end{center}
\par \vspace{9mm}
\begin{center}
\hrule
\par \vspace{5mm}
%\large
Anni 2015/2018

\end{center}
\end{titlingpage}
\restoregeometry