main.tex 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135
  1. %&pdflatex
  2. \documentclass[12pt]{report}
  3. \usepackage{algorithm}
  4. \usepackage{algpseudocode}
  5. \usepackage{amsmath} % for implementation of the matrix environment
  6. \usepackage{blindtext}
  7. \usepackage{caption}
  8. \usepackage{color}
  9. \usepackage[pdftex]{graphicx} \graphicspath{{./plots/}}
  10. \usepackage{epstopdf} \epstopdfsetup{update} % only regenerate pdf files when eps file is newer
  11. \usepackage{float} % figure groups aka floats
  12. \usepackage{forest} % for MFS elimination tree diagram
  13. \usepackage[left=3.5cm, right=2.5cm]{geometry} % margins
  14. \usepackage[shellescape,latex]{gmp} % metapost for UMLs
  15. %\usepackage[hidelinks]{hyperref} % ToC/LoA/LoF/LoT entries are links
  16. \usepackage{hyperref}
  17. \usepackage{mathptmx} % Times New Roman like font
  18. \usepackage{pdfpages} % for inserting pdf as the initial pages
  19. \usepackage{setspace} \onehalfspacing % 1.5 line spacing
  20. \usepackage{subcaption}
  21. \usepackage{xfrac} % nice slanted fractions
  22. %\usepackage[utf8]{inputenc}
  23. \usepackage{agda}
  24. \usepackage{amsthm}
  25. \usepackage{longtable} %\usepackage{tablefootnote}
  26. \usepackage{stmaryrd} % dla \llbracket
  27. %\usepackage{amssymb}
  28. %\usepackage{bbm}
  29. %\usepackage[greek,english]{babel}
  30. %\usepackage{newunicodechar}
  31. %\newunicodechar{λ}{\ensuremath{\mathnormal\lambda}}
  32. %\newunicodechar{←}{\ensuremath{\mathnormal\from}}
  33. %\newunicodechar{→}{\ensuremath{\mathnormal\to}}
  34. %\newunicodechar{∀}{\ensuremath{\mathnormal\forall}}
  35. %\newunicodechar{ˡ}{\ensuremath{\mathnormal^l}}
  36. %\newunicodechar{ʳ}{\ensuremath{\mathnormal^r}}
  37. \usepackage{polski}
  38. %nieużywane
  39. %\captionsetup[figure]{labelfont={bf}, textfont={small}}
  40. %\captionsetup[subfigure]{labelfont={bf}, textfont={small}}
  41. \newcommand{\bt}{\blindtext}
  42. \newcommand{\eps}{\varepsilon}
  43. %\newcommand{\rev}[1]{\textcolor{red}{#1}}
  44. \newcommand{\rev}[1]{#1}
  45. \newcommand{\T}[1]{\texttt{#1}}
  46. \algnewcommand\And{\,\textbf{and}\,}
  47. \algnewcommand\Or{\,\textbf{or}\,}
  48. \algnewcommand{\LineComment}[1]{\State \(\triangleright\) #1}
  49. % TO DODAŁEM JA
  50. \newtheorem{theorem}{Twierdzenie}[section]
  51. % KONIEC
  52. %makra
  53. \newcommand{\universe}[1]{\mathcal{U}_{#1}}
  54. \newcommand{\nat}{\mathbb{N}}
  55. \newcommand{\integer}{\mathbb{Z}}
  56. \newcommand{\unit}{\mathbf{1}}
  57. \newcommand{\unittype}{\unit}
  58. \newcommand{\ttu}{\star}
  59. \newcommand{\ttt}{\ttu}
  60. \newcommand{\emptytype}{\bot}
  61. \newcommand{\deppair}[2]{\Sigma_{(#1)} #2}
  62. \newcommand{\sumtype}[2]{#1 \mathsf{+} #2}
  63. \newcommand{\suminl}{ \mathsf{inl} }
  64. \newcommand{\suminr}{ \mathsf{inr}}
  65. \newcommand{\inlinecode}[1]{``\texttt{#1}''}
  66. %\newcommand{\kern
  67. \newcommand{\ok}{\checkmark} %textsurd
  68. \newcommand{\wtype}[2]{\mathsf{W}_{(#1)} #2}
  69. \newcommand{\wsup}{\mathsf{sup}}
  70. \newcommand{\fnd}[2]{\Pi_{(#1)} #2}
  71. \newcommand{\vect}[1]{\mathbf{#1}}
  72. \newcommand{\transposed}[1]{{#1}^{\mathrm{T}}}
  73. \newcommand{\parenedindex}[2]{{#1}^{(#2)}}
  74. \newcommand{\partialderivative}[2]{\frac{\partial #1}{\partial #2}}
  75. \newcommand{\idtype}[3]{#2 =_{#1} #3}
  76. \newcommand{\PerMartinLofDopelniacz}{Pera Martina-L\"{o}fa}
  77. %https://sjp.pwn.pl/poradnia/haslo/odmiana-imion-i-nazwisk-obcych;8601.html
  78. % Arturo Perez-Reverte – Artura Pereza-Revertego
  79. %MAKRA Z HOTTBOOOO
  80. \newcommand{\id}[3][]{\ensuremath{#2 =_{#1} #3}\xspace}
  81. %%% Definitional equality (used infix) %%%
  82. \newcommand{\jdeq}{\equiv} % An equality judgment
  83. \let\judgeq\jdeq
  84. \newcommand{\bibliographyChapterName}{Literatura}
  85. \renewcommand{\bibname}{\bibliographyChapterName}
  86. % \renewcommand{\refname}{New References Header}
  87. \begin{document}
  88. \includepdf[pages={-,{}}]{Strona_tytulowa_pracy_magisterskiej_pisanej_w_jezyku_polskim.pdf} % `-' for all pages, `{}' for an empty page
  89. \tableofcontents
  90. \include{wstep}
  91. \include{podstawy-teoretyczne}
  92. \include{wykonanie}
  93. \include{zakonczenie}
  94. % Nie potrzebuję spisu rysunków i algorytmów (na pewno?)
  95. %% \cleardoublepage % to ensure that the page reference is correct
  96. %% \addcontentsline{toc}{chapter}{\listfigurename}
  97. %% \listoffigures
  98. %% \begingroup
  99. %% \let \clearpage \relax % to suppress page break
  100. %% \cleardoublepage
  101. %% \addcontentsline{toc}{chapter}{\listalgorithmname}
  102. %% \listofalgorithms
  103. %% \endgroup
  104. \nocite{*} % forces bibtex to include all citations, whether or not they were referred to in the paper
  105. \cleardoublepage
  106. \phantomsection % Inaczej ze spisu treści ``Literatura'' prowadzi do wcześniejszej sekcji
  107. \addcontentsline{toc}{chapter}{\bibliographyChapterName}
  108. \bibliographystyle{bib-style}
  109. \bibliography{bibliography}
  110. \end{document}