Template refactor

.github/ISSUE_TEMPLATE/add.md

@@ -0,0 +1,11 @@
+---
+name: 'Add something'
+about: Надо добавить ...
+title: 'Add:'
+labels: enhancement
+type: Feature
+---
+**Что надо добавить?**
+
+
+**Подробности(опционально)**

.github/ISSUE_TEMPLATE/fix.md

@@ -0,0 +1,11 @@
+---
+name: 'Bug/Fix something'
+about: Надо фиксить ...
+title: 'Bug/Fix:'
+labels: bug, fix
+type: Bug
+---
+**Где надо фиксить?**
+
+
+**Что надо фиксить?**

.github/workflows/setup.yml

@@ -0,0 +1,20 @@
+name: Setup Repository
+on:
+  push:
+    branches: [master]
+permissions:
+  contents: write
+jobs:
+  setup:
+    if: github.run_number == 1
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: Change initial commit message
+        run: |
+          git config user.name "GitHub Actions"
+          git config user.email "[email protected]"
+          git commit --amend -m "Взлетаем"
+          git push --force

.github/workflows/typst.yml

@@ -0,0 +1,35 @@
+name: Build Typst document
+on: [push, workflow_dispatch]
+
+permissions:
+  contents: write
+
+jobs:
+  build-pdf:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Typst
+        uses: lvignoli/typst-action@main
+        with:
+          source_file: main.typ
+
+      - name: Upload PDF file
+        uses: actions/upload-artifact@v4
+        with:
+          name: PDF
+          path: main.pdf
+
+      - name: Get current date
+        id: date
+        run: echo "DATE=$(date +%Y-%m-%d-%H:%M)" >> $GITHUB_ENV
+
+      - name: Release
+        uses: softprops/action-gh-release@v1
+        if: github.ref_type == 'tag'
+        with:
+          name: "${{ github.ref_name }} — ${{ env.DATE }}"
+          files: main.pdf
+

LICENSE

@@ -0,0 +1,12 @@
+                     ОБЩЕСТВЕННАЯ ЛИЦЕНЗИЯ "УДАЧИ С ЭТИМ"
+        УСЛОВИЯ И ПОЛОЖЕНИЯ ДЛЯ КОПИРОВАНИЯ, РАСПРОСТРАНЕНИЯ И ИЗМЕНЕНИЯ
+
+0. Вы можете ДЕЛАТЬ ВСЁ, ЧТО ЗАХОТИТЕ до тех пор, пока ВЫ НЕ ОСТАВЛЯЕТЕ УЛИК
+ДЛЯ НАХОЖДЕНИЯ АВТОРА оригинального продукта, чтобы обвинить его или заставить
+взять на себя ответственность.
+
+НИ ПРИ КАКИХ ОБСТОЯТЕЛЬСТВАХ АВТОРЫ НЕ НЕСУТ ОТВЕТСТВЕННОСТИ ЗА ПРЕТЕНЗИИ,
+УБЫТКИ ИЛИ ДРУГИЕ ОТВЕТСТВЕННОСТИ, ПОДНЯТЫЕ ВО ВРЕМЯ КОНТРАКТА И ВЫЗВАННЫЕ
+ПРЯМОЙ ИЛИ КОСВЕННОЙ СВЯЗЬЮ С ПРОГРАММНЫМ ОБЕСПЕЧЕНИЕМ.
+
+Удачи, и храни тебя Господь.

conf.typ

@@ -0,0 +1,108 @@
+#let details = toml("details.toml")
+
+#let make_toc = () => {
+  show outline.entry: it => {
+    it
+  }
+  outline(title: [СОДЕРЖАНИЕ])
+  pagebreak()
+}
+
+#let generate_title() = {
+  set align(center)
+  v(1.5cm)
+  text(weight: "bold", upper(details.subject) + "\n")
+  [*#details.term семестр*]
+  par(details.description)
+  v(1.5cm)
+  set align(left)
+  for author in details.authors {
+    text(author + "\n")
+  }
+  v(1fr)
+  set align(center)
+  text("г. Саратов" + " " + str(datetime.today().year()))
+  pagebreak()
+}
+
+#let generateAll = () => {
+  generate_title()
+  make_toc()
+}
+
+
+#let theorem_end = (text) => stack(dir: ltr,
+  text,
+  align(right)[
+    $qed$
+  ]
+)
+
+#let block_base = (name, breakline, content) => {
+	[*#name*.]
+	if breakline {
+    parbreak()
+		content
+	} else {
+		h(5pt)
+		content
+	}
+}
+#let block_proofable = (name, breakline, wording, proof, ending) => {
+	block_base(name, breakline, {
+		wording
+		if proof != [] {
+			par[*Доказательство*:]
+      proof
+      theorem_end(ending)
+		}
+	})
+}
+
+#let theorem = (
+  name: "Теорема",
+  ending: "Теорема доказана.",
+  breakline: false,
+  wording, proof
+) => block_proofable(name, breakline, wording, proof, ending)
+
+#let definition = (
+  name: "Определение",
+  breakline: false,
+  content
+) => block_base(name, breakline, content)
+
+#let consequence = (
+  name: "Следствие",
+  ending: "Доказано.",
+  breakline: false,
+  wording, proof
+) => block_proofable(name, breakline, wording, proof, ending)
+
+#let lemma = (
+  name: "Лемма",
+  ending: "Лемма доказана.",
+  breakline: false,
+  wording, proof
+) => block_proofable(name, breakline, wording, proof, ending)
+
+
+#let property = (
+  name: "Свойство",
+  ending: "Доказано.",
+  breakline: false,
+  wording,
+  proof
+) => block_proofable(name, breakline, wording, proof, ending)
+
+#let lets = box(" ", stroke: (
+	top: 0.5pt, left: none, right: 0.5pt, bottom: 0.5pt
+), width: 4pt, height: auto, fill: none, inset: 2pt, baseline: 15%)
+
+// Функция для нумерования формул #eq($y = x$, id: <eq:eq1>)
+#let equ(eq, id: none) = {
+  let body = if type(id) == none {eq} else if type(id) == label [#eq #id] else [#eq <#id>]
+  let numbering = if type(id) != none { "(1)" } else { none }
+  set math.equation(numbering: numbering, supplement: [])
+  body
+}

details.toml

@@ -0,0 +1,68 @@
+subject = "Математический анализ"
+description = "Материалы для подготовки к экзамену"
+term = 2 # номер семестра
+authors = [
+  "Радомир Тюменцев",
+  "Александр Железко",
+  "Иван Архипов",
+  "Михаил Леонтьев"
+]
+
+[sections]
+numbering = true
+prefix = "Вопрос"
+sections = [
+  "Определение интегральной суммы Римана и интеграла Римана. Необходимое условие интегрируемости",
+  "Верхние и нижние суммы Дарбу, их свойства. Верхний и нижний интегралы. Основная лемма Дарбу",
+  "Критерий интегрируемости",
+  "Теорема об интегрируемости непрерывной функции. Теорема об интегрируемости монотонной функции",
+  "Свойства интеграла Римана: линейность интеграла, аддитивность интеграла относительно пределов интегрирования, монотонность интеграла, первая теорема о среднем. Операции над интегрируемыми функциям",
+  "Непрерывность интеграла по верхнему пределу интегрирования",
+  "Дифференцируемость интеграла по верхнему пределу интегрирования. Формула Ньютона--Лейбница",
+  "Интегрирование по частям и замена переменной в интеграле Римана",
+  "Несобственные интегралы Римана двух типов и их простейшие свойства. Критерий Коши сходимости несобственного интеграла",
+  "Абсолютная сходимость несобственного интеграла, связь со сходимостью. Признак мажорации и признак сравнения сходимости несобственных интегралов",
+  "Условная сходимость несобственных интегралов. Признак Дирихле и признак Абеля сходимости несобственных интегралов",
+  "Числовой ряд, сумма ряда, сходящийся числовой ряд. Необходимое условие сходимости ряда. Критерий Коши сходимости числового ряда",
+  "Теорема об арифметических действиях над сходящимися рядами. Абсолютная сходимость числовых рядов, связь со сходимостью",
+  "Основной признак Вейерштрасса. Интегральный признак сходимости",
+  "Признак мажорации и признак сравнения",
+  "Признак Коши. Признак Даламбера",
+  "Необходимое и достаточное условие абсолютной сходимости ряда. Понятие условно сходящегося ряда. Теорема об условно сходящихся рядах",
+  "Преобразование Абеля. Теорема о равносходимости рядов, связанных преобразованием Абеля. Признак Абеля. Признак Дирихле и признак Лейбница",
+  "Сумма ряда как обобщение суммы конечного числа слагаемых, сочетательный закон",
+  "Коммутативный закон для знакоположительных и абсолютно сходящихся рядов. Теорема Римана (без док-ва)",
+  "Произведение числовых рядов, согласованное с произведением частных сумм. Теорема о произведении абсолютно сходящихся рядов",
+  "Равномерная норма функций и ее свойства. Поточечная и равномерная сходимости функциональных последовательностей. Критерий Коши равномерной сходимости",
+  "Непрерывность, дифференцируемость и интегрируемость предела функциональной последовательности",
+  "Функциональные ряды. Поточечная, равномерная и нормальная сходимости функциональных рядов, их связь. Критерий Коши равномерной сходимости функционального ряда. Признак Вейерштрасса равномерной сходимости",
+  "Признаки Абеля и Дирихле равномерной сходимости функционального ряда",
+  "Непрерывность, дифференцируемость и интегрируемость суммы функционального ряда",
+  "Степенные ряды. Радиус сходимости и интервал сходимости. Теорема Коши-Адамара. Теорема Абеля",
+  "Свойства суммы степенного ряда. Ряд Тейлора и понятие аналитической в точке функции. Определение элементарных функций степенными рядами",
+  "Пространство $RR^m$. Последовательности в $RR^m$ и их свойства",
+  "Вектор-функции векторного переменного. Предел и непрерывность функции в точке. Непрерывность функции на множестве. Равномерная непрерывность функции на множестве и теорема Кантора",
+  "Теорема о непрерывном образе компакта и ее следствия. Теорема о непрерывном образе линейно связного множества и ее следствия",
+  "Дифференцирование вектор функций. Свойства операции дифференцирования. Локальная формула Тейлора и неравенство Лагранжа",
+  "Интегрирование вектор функций. Оценка модуля интеграла",
+  "Понятия непрерывной кривой и гладкой кривой. Спрямляемая кривая и длина кривой",
+  "Частные производные функции многих переменных. Дифференцируемость в точке функции многих переменных. Теорема о непрерывности дифференцируемой функции. Теорема о существовании частных производных у дифференцируемой функции",
+  "Достаточное условие дифференцируемости",
+  "Дифференцирование сложной функции",
+  "Производная по направлению и вектор градиент. Свойства вектора градиента",
+  "Частные производные высшего порядка. Теорема о равенстве смешанных производных. Непрерывно дифференцируемые и $k$-непрерывно дифференцируемые функции",
+  "Дифференциалы первого и высших порядков",
+  "Формула Тейлора с остаточным членом в форме Лагранжа и форме Пеано",
+  "Локальный экстремум функции многих переменных. Необходимое условие локального экстремума. Достаточное условие локального экстремума",
+  "Дифференцируемые вектор-функции, матрица Якоби и якобиан",
+  "Неявные функции. Теорема о неявной функции (без док-ва)",
+  "Условный экстремум. Необходимое условие условного экстремума",
+  "Плоские множества, измеримые по Жордану. Определение двойного интеграла. Критерий интегрируемости и достаточные условия интегрируемости. Основные свойства двойного интеграла",
+  "Сведение двойного интеграла к повторному",
+  "Непрерывная кривая. Спрямляемая кривая. Гладкая кривая. Длина кривой",
+  "Определение криволинейных интегралов первого и второго рода по параметризованной гладкой кривой. Условия существования криволинейных интегралов",
+  "Замена параметра в криволинейном интеграле первого рода. Гладкая кривая, криволинейный интеграл первого рода по гладкой кривой. Ориентированная гладкая кривая и криволинейный интеграл второго рода по ней",
+  "Формула Грина",
+  "Независимость криволинейного интеграла второго рода от пути интегрирования"
+]
+

main.typ

@@ -1,8 +1,26 @@
-#set page(width: 12cm, height: auto)
-#set text(size: 10pt)
-#text(size: 0.8em)[
+#import "conf.typ": details, generateAll
+#import "@preview/oxifmt:1.0.0": strfmt
+#set heading(numbering: "1.1")
+#generateAll()
+#set page(numbering: "1")
+
+#show figure.where(kind: image): set figure(supplement: "Рис.")
+#show figure.where(kind: table): set figure(supplement: "Табл.")
+
+#let i = 1
+
 #{
-  for num in range(1, 53) {
-    include("questions/" + str(num) + ".typ")
-  }}
-]
+  let numbering = ""
+  if details.sections.numbering {
+    if details.sections.prefix.len() > 0 {
+      numbering += details.sections.prefix + " "
+    }
+    numbering += "1.1. "
+  }
+  for section in details.sections.sections {
+    heading(eval(section, mode: "markup"), numbering: numbering, hanging-indent: 0pt)
+    include strfmt("sections/{:02}.typ", i)
+    pagebreak(weak: true)
+    i += 1
+  }
+}