<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel rdf:about="https://lib.sevsu.ru:443/xmlui/handle/123456789/7637">
<title>Теория алгоритмов и элементы математической логики</title>
<link>https://lib.sevsu.ru:443/xmlui/handle/123456789/7637</link>
<description/>
<items>
<rdf:Seq>
<rdf:li rdf:resource="https://lib.sevsu.ru:443/xmlui/handle/123456789/7654"/>
<rdf:li rdf:resource="https://lib.sevsu.ru:443/xmlui/handle/123456789/7653"/>
<rdf:li rdf:resource="https://lib.sevsu.ru:443/xmlui/handle/123456789/7652"/>
<rdf:li rdf:resource="https://lib.sevsu.ru:443/xmlui/handle/123456789/7651"/>
</rdf:Seq>
</items>
<dc:date>2026-07-24T20:45:00Z</dc:date>
</channel>
<item rdf:about="https://lib.sevsu.ru:443/xmlui/handle/123456789/7654">
<title>Фундаментальные алгоритмы. Поиск кратчайших путей на графах:  методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Информационные управляющие  системы и технологии” очной и заочной форм обучения</title>
<link>https://lib.sevsu.ru:443/xmlui/handle/123456789/7654</link>
<description>Фундаментальные алгоритмы. Поиск кратчайших путей на графах:  методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Информационные управляющие  системы и технологии” очной и заочной форм обучения
Заикина, Е. Н., Севастопольский национальный технический университет; Коваленко, Ю. В., Севастопольский национальный технический университет
Целью методических указаний является изучение алгоритмов поиска кратчайших путей на графах на примере метода динамического программирования
</description>
<dc:date>2014-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="https://lib.sevsu.ru:443/xmlui/handle/123456789/7653">
<title>Фундаментальные алгоритмы. Построение кратчайших остовых деревьев графа: методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Информационныеуправляющие системы и технологии” очной и заочной форм обучения</title>
<link>https://lib.sevsu.ru:443/xmlui/handle/123456789/7653</link>
<description>Фундаментальные алгоритмы. Построение кратчайших остовых деревьев графа: методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Информационныеуправляющие системы и технологии” очной и заочной форм обучения
Заикина, Е. Н., Севастопольский национальный технический университет; Коваленко, Ю. В., Севастопольский национальный технический университет
Целью методических указаний является изучение метода построения кратчайших остовых деревьев графа на примере алгоритма Прима-Краскала.
</description>
<dc:date>2014-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="https://lib.sevsu.ru:443/xmlui/handle/123456789/7652">
<title>Регулярные граматики и конечные автоматы: методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Компьютерные науки” очной и заочной форм обучения</title>
<link>https://lib.sevsu.ru:443/xmlui/handle/123456789/7652</link>
<description>Регулярные граматики и конечные автоматы: методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Компьютерные науки” очной и заочной форм обучения
Заикина, Е. Н., Севастопольский национальный технический университет; Коваленко, Ю. В., Севастопольский национальный технический университет
Целью методических указаний является:&#13;
1) научиться производить построение детерминированных конечных автоматов (ДКА), допускающих определённые цепочки символов языка;&#13;
2) освоить приёмы описания конечных автоматов (КА) в виде графов, таблиц переходов и регулярных выражений;&#13;
3) научиться производить построение формальной автоматной грамматики, соответствующей конечному автомату и наоборот;&#13;
4) выполнять построения ДКА по недетерминированным конечным автоматам (НКА);
</description>
<dc:date>2014-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="https://lib.sevsu.ru:443/xmlui/handle/123456789/7651">
<title>Математический анализ алгоритмов: методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Компьютерные науки” очной и заочной форм обучения</title>
<link>https://lib.sevsu.ru:443/xmlui/handle/123456789/7651</link>
<description>Математический анализ алгоритмов: методические указания к выполнению лабораторной работы для студентов, обучающихся по направлению 6.050101 “Компьютерные науки” очной и заочной форм обучения
Коваленко, Ю. В., Севастопольский национальный технический университет; Заикина, Е. Н., Севастопольский национальный технический университет
Целью методических указаний является изучение поведения функций трудоемкости количественно-зависимых алгоритмов в реальных интервалах значений мощности множества исходных данных.
</description>
<dc:date>2014-01-01T00:00:00Z</dc:date>
</item>
</rdf:RDF>
