Дипломная работа «Изучение линейной временной модальной логики»

Как начать работу?

1. Войдите в личный кабинет онлайн-редактора Labkeeper.
2. Создайте проект из шаблона.
3. Весь текст лежит в одном LaTeX-фрагменте: замените образец своим.

Класс документа — article, опции a4paper и 12pt. Интервал задан как \linespread{1.3}, включён \frenchspacing. Локализация — babel с опциями english и russian, кодировки T2A и utf8.

Что видно в PDF

Аннотация начинается частью \part{Аннотация}. В ней сказано, что работа посвящена изучению линейной временной модальной логики, в том числе вопросам аксиоматизации и полноты.

Крупные части такие:

• Аннотация.
• Введение.
• Временная модальная логика.
• Заключение.

Внутри набраны разделы «Основные определения», «Временная модальная логика», «Линейная временная модальная логика», «Линейное дискретное время», «Аксиоматизация FP», «Поток времени для FP» и «Полнота FP».

Окружения теорем заданы пакетом amsthm: definition с номером внутри раздела, ненумерованное remark, lemma и theorem. Для таблиц подключены longtable и booktabs, для рисунков — tikz и graphicx, для кода — listings, для ссылок — hyperref.

Какие команды задают каркас

Преамбула и начало документа в образце выглядят так. Галочка и крестик берутся из pifont.

\documentclass[a4paper,12pt]{article}
\theoremstyle{definition}
\newtheorem{definition}{Определение}[section]
\newtheorem*{remark}{Замечание}
\newtheorem{lemma}{Лемма}
\newtheorem{theorem}{Теорема}
\linespread{1.3}
\frenchspacing

\begin{document}
\part{Аннотация}

• Команды \cmark и \xmark определены как \ding{51} и \ding{55}.
• Вычислительных блоков в проекте нет: весь диплом — один фрагмент LaTeX.

Компиляция и проверка

Нажмите кнопку компиляции в Labkeeper. Проверьте оглавление частей, что определения и теоремы нумеруются внутри раздела и что полуторный интервал не разъехался на длинных таблицах.

Ссылка на шаблон

В проекте уже собраны аннотация, части диплома и окружения теорем. Остаётся заменить текст образца своим.

Открыть шаблон «Линейная временная модальная логика» в онлайн-редакторе Labkeeper.