Skip to content

Commit 58913e5

Browse files
gsvgitgsvgit
committed
CSC open lecture on formal languages for graph analysis.
1 parent b30ca07 commit 58913e5

10 files changed

+845
-0
lines changed

‎2019/CSC_open_lecture/beamerbasetitle.sty

+290
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,290 @@
1+
% Copyright 2007 by Till Tantau
2+
%
3+
% This file may be distributed and/or modified
4+
%
5+
% 1. under the LaTeX Project Public License and/or
6+
% 2. under the GNU Public License.
7+
%
8+
% See the file doc/licenses/LICENSE for more details.
9+
10+
\ProvidesPackageRCS $Header: /cvsroot/latex-beamer/latex-beamer/base/beamerbasetitle.sty,v 1.25 2007/01/28 20:48:21 tantau Exp $
11+
12+
\mode<presentation>
13+
14+
%
15+
%
16+
% The \maketitle command (for compatibility with other classes)
17+
%
18+
%
19+
\def\maketitle{\ifbeamer@inframe\titlepage\else\frame{\titlepage}\fi}
20+
21+
22+
%
23+
%
24+
% The \titlepage and \partpage
25+
%
26+
%
27+
\def\titlepage{\usebeamertemplate*{title page}\@thanks}
28+
\def\partpage{\usebeamertemplate*{part page}}
29+
30+
\usepackage[utf8]{inputenc}
31+
\usepackage[english]{babel}
32+
33+
\mode
34+
<article>
35+
{\providecommand\partpage{}}
36+
37+
38+
%
39+
%
40+
% The \title command
41+
%
42+
%
43+
\renewcommand{\title}{\@dblarg\beamer@title}
44+
\long\def\beamer@title[#1]#2{%
45+
\def\inserttitle{#2}%
46+
\def\beamer@shorttitle{#1}%
47+
}
48+
\title{}
49+
50+
\newcommand\insertshorttitle[1][]{%
51+
\beamer@setupshort{#1}%
52+
\let\thanks=\@gobble%
53+
\ifnum\c@page=1%
54+
\hyperlinkpresentationend{\beamer@insertshort{\beamer@shorttitle}}%
55+
\else%
56+
\hyperlinkpresentationstart{\beamer@insertshort{\beamer@shorttitle}}%
57+
\fi}
58+
59+
60+
61+
\mode
62+
<article>
63+
{
64+
\let\beamer@origtitle=\title
65+
\renewcommand{\title}[2][]{\beamer@origtitle{#2}}
66+
}
67+
68+
69+
70+
%
71+
%
72+
% The \subtitle command
73+
%
74+
%
75+
\newcommand{\subtitle}{\@dblarg\beamer@subtitle}
76+
\long\def\beamer@subtitle[#1]#2{%
77+
\def\insertsubtitle{#2}%
78+
\def\beamer@shortsubtitle{#1}%
79+
}
80+
\subtitle{}
81+
82+
\newcommand\insertshortsubtitle[1][]{%
83+
\let\thanks=\@gobble%
84+
\beamer@setupshort{#1}%
85+
\ifnum\c@page=1%
86+
\hyperlinkpresentationend{\beamer@insertshort{\beamer@shortsubtitle}}%
87+
\else%
88+
\hyperlinkpresentationstart{\beamer@insertshort{\beamer@shortsubtitle}}%
89+
\fi}
90+
91+
\ifbeamer@autopdfinfo%
92+
\g@addto@macro\beamer@firstminutepatches
93+
{
94+
\begingroup
95+
\let\beamer@saved@hook\pdfstringdefPreHook
96+
\pdfstringdefDisableCommands{%
97+
\let\\=\
98+
\let\newline=\\%
99+
}%
100+
\let\thanks=\@gobble%
101+
\hypersetup{pdftitle={\inserttitle\ifx\insertsubtitle\@empty\else\ - \insertsubtitle\fi}}
102+
\global\let\pdfstringdefPreHook\beamer@saved@hook
103+
\endgroup
104+
}
105+
\fi%
106+
107+
\mode
108+
<article>
109+
{
110+
\providecommand{\subtitle}[2][]{\def\insertsubtitle{#2}\g@addto@macro\@title{\\<article>{\normalsize#2}}}
111+
}
112+
113+
114+
%
115+
%
116+
% The \date command
117+
%
118+
%
119+
\def\date{\@dblarg\beamer@date}
120+
\long\def\beamer@date[#1]#2{%
121+
\def\insertdate{#2}%
122+
\def\beamer@shortdate{#1}%
123+
}
124+
\date{\today}
125+
126+
127+
\newcommand\insertshortdate[1][]{%
128+
{%
129+
\let\thanks=\@gobble%
130+
\beamer@setupshort{#1}%
131+
\beamer@insertshort{\beamer@shortdate}%
132+
}}
133+
134+
135+
\mode
136+
<article>
137+
{
138+
\let\beamer@origdate=\date
139+
\renewcommand{\date}[2][]{\beamer@origdate{#2}}
140+
}
141+
142+
%
143+
%
144+
% The \author command
145+
%
146+
%
147+
\def\author{\@dblarg\beamer@author}
148+
\long\def\beamer@author[#1]#2{%
149+
\def\insertauthor{\def\inst{\beamer@insttitle}\def\and{\beamer@andtitle}{{\bfseries} #2}}%
150+
\def\beamer@shortauthor{#1}%
151+
\ifbeamer@autopdfinfo%
152+
\def\beamer@andstripped{}%
153+
\beamer@stripands#2 \and\relax
154+
{\let\inst=\@gobble\let\thanks=\@gobble\def\and{, }\hypersetup{pdfauthor={\beamer@andstripped}}}
155+
\fi%
156+
}
157+
158+
\def\beamer@stripands#1 \and#2\relax{%
159+
\def\beamer@temp{#2}%
160+
\ifx\beamer@temp\@empty
161+
\expandafter\def\expandafter\beamer@andstripped\expandafter{\beamer@andstripped#1}
162+
\else
163+
\expandafter\def\expandafter\beamer@andstripped\expandafter{\beamer@andstripped#1, }
164+
\beamer@stripands#2\relax%
165+
\fi
166+
}
167+
168+
\author{}
169+
170+
171+
% Aux commands for \author
172+
\def\beamer@insttitle#1{{\donotcoloroutermaths$^{#1}$}}
173+
\def\beamer@andtitle{\quad}
174+
\def\beamer@instother#1{}
175+
\def\beamer@andother{\unskip, }
176+
177+
\newcommand\insertshortauthor[1][]{%
178+
{%
179+
\def\inst{\beamer@instother}\def\and{\beamer@andother}\let\thanks=\@gobble%
180+
\beamer@setupshort{#1}%
181+
\beamer@insertshort{\beamer@shortauthor}%
182+
}}
183+
184+
185+
\mode
186+
<article>
187+
{
188+
\let\beamer@origauthor=\author
189+
\renewcommand{\author}[2][]{\beamer@origauthor{#2}}
190+
}
191+
192+
193+
194+
%
195+
%
196+
% The \titlegraphic command
197+
%
198+
%
199+
\mode
200+
<all>
201+
{
202+
\newcommand\titlegraphic[1]{\def\inserttitlegraphic{#1}}
203+
\titlegraphic{}
204+
}
205+
206+
207+
208+
%
209+
%
210+
% The \subject command
211+
%
212+
%
213+
\mode
214+
<all>
215+
{
216+
\providecommand\subject[1]{\hypersetup{pdfsubject={#1}}}
217+
\providecommand\keywords[1]{\hypersetup{pdfkeywords={#1}}}
218+
}
219+
220+
221+
222+
223+
%
224+
%
225+
% The \institute command
226+
%
227+
%
228+
\def\institute{\@dblarg\beamer@institute}
229+
\long\def\beamer@institute[#1]#2{%
230+
\def\beamer@temp{#2}%
231+
\ifx\beamer@temp\@empty
232+
\def\insertinstitute{}
233+
\else
234+
\def\insertinstitute{\def\inst{\beamer@instinst}\def\and{\beamer@andinst}#2}%
235+
\fi
236+
\def\beamer@shortinstitute{#1}}
237+
\institute{}
238+
239+
\def\beamer@instinst#1{{\donotcoloroutermaths$^{#1}$}\ignorespaces}
240+
\def\beamer@andinst{\\[1em]}
241+
242+
\newcommand\insertshortinstitute[1][]{%
243+
{%
244+
\let\thanks=\@gobble%
245+
\def\inst{\beamer@instother}\def\and{\beamer@andother}%
246+
\beamer@setupshort{#1}%
247+
\beamer@insertshort{\beamer@shortinstitute}%
248+
}}
249+
250+
251+
252+
\mode
253+
<article>
254+
{
255+
\ifx\institute\@undefined
256+
\newcommand{\institute}[2][]{}
257+
\else
258+
\let\beamer@originstitute=\institute
259+
\renewcommand{\institute}[2][]{\beamer@originstitute{#2}}
260+
\fi
261+
262+
\providecommand\and{\unskip, }
263+
\providecommand\inst[1]{$^{#1}$}
264+
}
265+
266+
267+
%
268+
%
269+
% The \logo command
270+
%
271+
%
272+
\def\logo{\setbeamertemplate{logo}}
273+
\def\insertlogo{\usebeamertemplate*{logo}}
274+
275+
276+
\mode
277+
<article>
278+
{
279+
\providecommand\logo[1]{}
280+
}
281+
282+
283+
\mode
284+
<all>
285+
286+
287+
%%% Local Variables:
288+
%%% mode: latex
289+
%%% TeX-master: "~/texmf/tex/latex/beamer/examples/beamerexample1.tex"
290+
%%% End:

‎2019/CSC_open_lecture/beamerthemeSPbGU.sty

+49
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
% Copyright 2004 by Manuel Carro <[email protected]>
2+
%
3+
% This file may be distributed and/or modified
4+
%
5+
% 1. under the LaTeX Project Public License and/or
6+
% 2. under the GNU Public License.
7+
%
8+
% See the file doc/licenses/LICENSE for more details.
9+
10+
\ProvidesPackageRCS $Header: /cvsroot/latex-beamer/latex-beamer/themes/theme/beamerthemeBoadilla.sty,v 1.2 2007/01/28 20:48:30 tantau Exp $
11+
12+
\mode<presentation>
13+
14+
\newif\ifbeamer@secheader
15+
\beamer@secheaderfalse
16+
17+
\DeclareOptionBeamer{secheader}{\beamer@secheadertrue}
18+
\ProcessOptionsBeamer
19+
20+
\usecolortheme{rose}
21+
\useinnertheme[shadow=true]{rounded}
22+
\useoutertheme[footline=authorinstitutetitle]{miniframes}
23+
\usecolortheme{beaver}
24+
\useoutertheme{infolines}
25+
26+
\setbeamerfont{block title}{size={}}
27+
\setbeamercolor{titlelike}{parent=structure,bg=white}
28+
29+
% Tills' opinion: should be done in an inner theme, not here.
30+
31+
\usesubitemizeitemtemplate{%
32+
\tiny\raise1.5pt\hbox{\color{beamerstructure}$\blacktriangleright$}%
33+
}
34+
\usesubsubitemizeitemtemplate{%
35+
\tiny\raise1.5pt\hbox{\color{beamerstructure}$\bigstar$}%
36+
}
37+
38+
\setbeamersize{text margin left=1em,text margin right=1em}
39+
40+
\ifbeamer@secheader\else\setbeamertemplate{headline}[default]\fi
41+
42+
\mode
43+
<all>
44+
45+
46+
%
47+
48+
%\mode
49+
%<all>

‎2019/CSC_open_lecture/pictures/JBLogo3.pdf

86.6 KB
Binary file not shown.

‎2019/CSC_open_lecture/pictures/SPbGU_Logo.png

138 KB
Loading

‎2019/CSC_open_lecture/pictures/csc.jpg

27.2 KB
Loading

‎2019/CSC_open_lecture/pictures/input.pdf

12.3 KB
Binary file not shown.

‎2019/CSC_open_lecture/pictures/jetbrainsResearch.pdf

5.19 KB
Binary file not shown.

0 commit comments

Comments
 (0)