<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<channel rdf:about="https://dspace.kpfu.ru/xmlui/handle/net/6050">
<title>Институт математики и механики им. Н.И. Лобачевского</title>
<link>https://dspace.kpfu.ru/xmlui/handle/net/6050</link>
<description/>
<items>
<rdf:Seq>
<rdf:li rdf:resource="https://dspace.kpfu.ru/xmlui/handle/net/185938"/>
<rdf:li rdf:resource="https://dspace.kpfu.ru/xmlui/handle/net/185937"/>
<rdf:li rdf:resource="https://dspace.kpfu.ru/xmlui/handle/net/185716"/>
<rdf:li rdf:resource="https://dspace.kpfu.ru/xmlui/handle/net/185669"/>
</rdf:Seq>
</items>
<dc:date>2026-06-02T10:51:38Z</dc:date>
</channel>
<item rdf:about="https://dspace.kpfu.ru/xmlui/handle/net/185938">
<title>Дискретная математика: ориентированные графы, конечные автоматы и машины Тьюринга</title>
<link>https://dspace.kpfu.ru/xmlui/handle/net/185938</link>
<description>Дискретная математика: ориентированные графы, конечные автоматы и машины Тьюринга
Зубков Максим Витальевич; Корнеева Наталья Николаевна
Данное учебно-методическое пособие предназначено для студентов первого курса Института информационных технологий и интеллектуальных систем КФУ. Оно содержит задачи и упражнения по теории ориентированных графов, теории автоматов, регулярным выражениям и машинам Тьюринга. Имеются задачи, предназначенные для первоначальной проработки и освоения методов дискретной математики, а также задачи для углубленного изучения предмета. Данное пособие может быть использовано при чтении курса дискретной математики во втором семестре.
</description>
<dc:date>2026-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="https://dspace.kpfu.ru/xmlui/handle/net/185937">
<title>Дискретная математика: булевы функции</title>
<link>https://dspace.kpfu.ru/xmlui/handle/net/185937</link>
<description>Дискретная математика: булевы функции
Зубков Максим Витальевич; Калимуллин Искандер Шагитович; Корнеева Наталья Николаевна
Данное учебно-методическое пособие предназначено для студентов первого курса Института информационных технологий и интеллектуальных систем Казанского (Приволжского) федерального университета. Оно полностью покрывает ту часть материала курса лекций первого семестра, которая относится к теории булевых функций.
</description>
<dc:date>2026-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="https://dspace.kpfu.ru/xmlui/handle/net/185716">
<title>Разработка и валидация программно-аппаратного комплекса для количественной оценки осанки с использованием цифровых видеоданных</title>
<link>https://dspace.kpfu.ru/xmlui/handle/net/185716</link>
<description>Разработка и валидация программно-аппаратного комплекса для количественной оценки осанки с использованием цифровых видеоданных
Смирнова Виктория Владимировна

</description>
<dc:date>2026-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="https://dspace.kpfu.ru/xmlui/handle/net/185669">
<title>Hyponormal measurable  operators affiliated
with a semifinite von Neumann algebra. IV</title>
<link>https://dspace.kpfu.ru/xmlui/handle/net/185669</link>
<description>Hyponormal measurable  operators affiliated
with a semifinite von Neumann algebra. IV
Bikchentaev Airat Midkhatovich
Let τ be a faithful normal semifinite trace on a von Neumann algebra M of operators. For a normal operator A in M, a condition on a τ-integrable operator B is found under which the
operator A + B is normal. For an operator whose square is τ -integrable, equivalent conditions for its normality are established in terms of trace inequalities. For an operator in M, a criterion for
hyponormality is found in terms of trace inequalities. It is shown that, given an arbitrary natural n, the power (PQ)n of the product of projections P and Q in M is hyponormal if and only if PQ = QP. Operator inequalities are obtained for powers of hyponormal contractions. It is shown that every natural power of a hyponormal partial isometry is a hyponormal partial isometry with the same initial space.
</description>
<dc:date>2026-01-01T00:00:00Z</dc:date>
</item>
</rdf:RDF>
