Embedded Files
Данное изложение пока является тестовым для проверки возможностей встраивания страниц определений и других элементов каркаса теории в изложение.
например мы вводим понятие графа и хотим присоединить его определение из Теории.
определение графа.
ниже вариант вставки url: оказавшийся ОБРЕЗАННЫЙ И НЕВЫРОВНЕННЫЙ
и гу-док
+У:ещё есть вставка кода и других документов гу-диск.
rus:Пусть g - совокупность фигур. g есть граф еите каждое ребро из g инцидентно только вершинам из g.
eng:Let g be a collection of figures. g is a graph if and only if each edge in g is incident only to vertices in g.
yfl:declaration graph func(TV finset(U)) (g) ≝ ∀e:edge(g) (e (inc)ONLYsites.google.com/view/open-science-2018/grafy-praktika/%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F/graph-%D0%B3%D1%80%D0%B0%D1%84-%D0%BA%D0%BE%D0%BD%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B5%D0%B5
Page updated
Google Sites
Report abuse