Кафедра систем информатики ФИТ

Контактное лицо

Кафедра дискретной математики и информатики ММФ

Контактное лицо

Лаборатория аналитики потоковых данных и машинного обучения

Контактное лицо

Международный научно-образовательный математический центр НГУ (ММЦ)

Контактное лицо

Результаты исследований

  1. On the Group of Computable Automorphisms of the Linear Order of the Reals

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  2. Computable metrics above the standard real metric

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Reducibility of Computable Metrics on the Real Line

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Просмотреть все (3) »

ID: 3505495