loader image
Перейти к основному содержанию
  • Распределенные алгоритмы Шошмина Ирина Владимировна
    0%
  • Пред.
  • Данные курса
    Общая информация
    Форум
    Вебинар в системе Webinar.ru
    Ссылка на вебинарную комнату курса
    Ссылка на ресурсный курс (РАЗМЕЩАЕТ ПРЕПОДАВАТЕЛЬ)
    Учебник Бен-Ари
    Связаться с преподавателем
    Правила промежуточной аттестации
    Правила аттестации по дисциплине
    Оценочные средства (примеры оценочных средств)
    Тема 1. Формальные модели распределенных алгоритмов
    Остаток занятия
    ДЗ1
    05.02.24
    Тема 2. Формальное задание свойств поведения распределенных алгоритмов
    Задачи по составлению свойств в LTL
    ДЗ
    Присутствие 12.02.24
    Тема 3. Моделирование и верификация распределенных алгоритмов с помощью SPIN
    Презентация по SPIN
    SPIN
    Старая сборка SPIN
    Методичка по SPIN
    Задание по SPIN
    Тема 4. Типы свойств распределенных алгоритмов
    ДЗ к теме 4
    ДЗ к теме 4
    Проверка SPIN
    Тема 5. Условия справедливости
    ДЗ к теме 5
    Тема 6. Атомарные регистры чтения-записи
    Материалы к завершению лекции
    ДЗ
    Тема 7. Объекты замкового типа, реализованные с помощью атомарных регистров
    ДЗ
    Тема 8. Объекты замкового типа - семафоры
    ДЗ
    Тема 9. Разбор задач контрольной работы
    ДЗ
    Тема 10. Сплиттеры
    ДЗ. Барьеры (запись)
    ДЗ
    Тема 11. Беззамковые конкурирующие объекты. Линеаризуемость
    Доказательство алгоритма булочной для безопасных регистров
    ДЗ
    Тема 12. Мониторы
    Занятия пройдет дистанционно
    Лекция
    ДЗ
    Тема 13. Беззамковые конкурирующие объекты. Стеки и очереди
    ДЗ
    Тема 14. Задача консенсуса
    Лекция
    ДЗ
    Курсовые
    Название курсовой работы "Моделирование и верификация распределенных алгоритмов"
    Запись на сдачу курсовой
    Сборщик курсовых работ
    Промежуточная аттестация
    КР1
    Консультация 03.06.24
    Консультация
    Экзамен
    04.06.24
    Экзамен 23.09.24
    Topic 20
  • След.
  • Categories
    • All categories
    • Учебный год 2025/26, осенний семестр
    Учебный год 2024/25, весенний семестр
    Бакалавриат
    • 09.03.04 Программная инженерия
    • 10.04.01 Информационная безопасность
    • 09.03.01 Информатика и вычислительная техника
    • 09.03.01 Информатика и вычислительная техника
    • 27.03.04 Управление в технических системах
    • 10.03.01 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
    • 02.03.03 Математическое обеспечение и администрирование информационных систем
    • 02.03.01 Математика и компьютерные науки
    • 09.03.03 Прикладная информатика
    • 27.03.01 Стандартизация и метрология
    • 09.03.02 Информационные системы и технологии
    • 02.03.02 Фундаментальная информатика и информационные технологии
    • 02.04.03 Математическое обеспечение и администрирование информационных систем
    • 09.04.03 Прикладная информатика
    • 27.03.03 Системный анализ и управление
    Специалитет
    • 10.05.01 КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ
    • 10.05.03 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
    • 10.05.04 Информационно-аналитические системы безопасности
    Магистратура
    • 02.04.01 Математика и компьютерные науки
    • 09.04.04 Программная инженерия
    • 09.04.01 Информатика и вычислительная техника
    • 27.04.04 Управление в технических системах
    • 09.04.02 Информационные системы и технологии
    • 09.04.03 Прикладная информатика
    • 02.04.03 Математическое обеспечение и администрирование инф
    Учебный год 2024/25, осенний семестр
    Магистратура
    • 09.04.01 Информатика и вычислительная техника
    • 09.04.02 Информационные системы и технологии
    • 09.04.04 Программная инженерия
    • 09.04.04 Программная инженерия
    • 27.04.04 Управление в технических системах
    • 02.04.01 Математика и компьютерные науки
    • 09.04.03 Прикладная информатика
    • 02.04.03 Математическое обеспечение и администрирование инф
    Бакалавриат
    • 27.03.04 Управление в технических системах
    • 09.03.03 Прикладная информатика
    • 09.03.04 Программная инженерия
    • 10.04.01 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
    • 27.03.03 Системный анализ и управление
    • 02.03.01 Математика и компьютерные науки
    • 09.03.01 Информатика и вычислительная техника
    • 02.03.03 Математическое обеспечение и администрирование информационных систем
    • 09.03.02 Информационные системы и технологии
    • 10.03.01 Информационная безопасность
    • 27.03.01 Стандартизация и метрология
    • 02.03.02 Фундаментальная информатика и информационные технологии
    • 02.04.03 Математическое обеспечение и администрирование информационных систем
    • 09.04.03 Прикладная информатика
    • 02.03.02 Фундаментальная информатика и информационные техно
    • 09.04.01 Информатика и вычислительная техника
    • 00.00.00 Пусто
    • 09.04.04 Программная инженерия
    • 09.04.02 Информационные системы и технологии
    Специалитет
    • 10.05.03 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
    • 10.05.01 КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ
    • 10.05.04 Информационно-аналитические системы безопасности
    Учебный год 2023/24, весенний семестр
    Бакалавриат
    • 09.03.03 Прикладная информатика
    • 09.03.01 Информатика и вычислительная техника
    • 27.03.01 Стандартизация и метрология
    • 02.03.03 Математическое обеспечение и администрирование информационных систем
    • 09.03.04 Программная инженерия
    • 02.03.01 Математика и компьютерные науки
    • 02.03.03 Математическое обеспечение и администрирование инф
    • 27.03.03 Системный анализ и управление
    • 02.03.02 Фундаментальная информатика и информационные техно
    • 09.03.02 Информационные системы и технологии
    • 27.03.04 Управление в технических системах
    • 10.03.01 Информационная безопасность
    Магистратура
    • 27.04.04 Управление в технических системах
    • 09.04.02 Информационные системы и технологии
    • 09.04.01 Информатика и вычислительная техника
    • 09.04.04 Программная инженерия
    • 09.04.03 Прикладная информатика
    • 02.04.03 Математическое обеспечение и администрирование инф
    • 02.04.03 Математическое обеспечение и администрирование информационных систем
    • 02.04.01 Математика и компьютерные науки
    • 10.04.01 Информационная безопасность
    Специалитет
    • 10.05.03 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
    • 10.05.01 Компьютерная безопасность
    • 10.05.04 Информационно-аналитические системы безопасности
    • system
    • MOOK курсы
    • Курсы категории 1
    • Курсы категории 2
    Проектная деятельность
    • Проекты студентов
    Курсы структурных подразделений института
    Высшая школа управления кибер-физическими системами
    • "Системный анализ и управление" и "Информационные системы и технологии"
    • "Инноватика" и "Управление качеством"
    • 27.03.04 Управление в технических системах
    • 27.04.04_07 Распределенные интеллектуальные системы управления
    • 27.04.04_02 Автоматизация технологических процессов и производств
    • 09.04.01_17 Intelligent Systems (International educational program)
    • Вступительные испытания в магистратуру
    • 2701 Стандартизация и метрология
    Высшая школа программной инженерии
    • Архив
    • Высшая школа искусственного интеллекта
    Направление Информатика и вычислительная техника
    • Направление "Информатика и вычислительная техника"
    • Архив КСПТ
    • Кафедра «Измерительные информационные технологии»
    • Высшая школа кибербезопасности
    Направление Прикладная информатика
    • 1 курс
    • 2 курс
    • 3 курс
    • 4 курс
    5 курс
    • Курсы студентов 2022
    • Сезон 2023
    • Сезон 2024
    • Сезон 2025
    • 6 курс
    • Очно-заочная форма
    • Дополнительный раздел
    • Анкетирование
    • Кафедра «Компьютерные системы и программные технологии»
    • Направление Информационные системы и технологии
    • Разное
    Подготовка к защите ВКР (Июнь 2021)
    • Бакалавриат
    • Магистратура
    • Заочная форма обучения
  • В начало
Русский ‎(ru)‎
Русский ‎(ru)‎ English ‎(en)‎
Вход
Categories Свернуть Развернуть
  • All categories
  • Учебный год 2025/26, осенний семестр
Учебный год 2024/25, весенний семестр
Бакалавриат
  • 09.03.04 Программная инженерия
  • 10.04.01 Информационная безопасность
  • 09.03.01 Информатика и вычислительная техника
  • 09.03.01 Информатика и вычислительная техника
  • 27.03.04 Управление в технических системах
  • 10.03.01 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
  • 02.03.03 Математическое обеспечение и администрирование информационных систем
  • 02.03.01 Математика и компьютерные науки
  • 09.03.03 Прикладная информатика
  • 27.03.01 Стандартизация и метрология
  • 09.03.02 Информационные системы и технологии
  • 02.03.02 Фундаментальная информатика и информационные технологии
  • 02.04.03 Математическое обеспечение и администрирование информационных систем
  • 09.04.03 Прикладная информатика
  • 27.03.03 Системный анализ и управление
Специалитет
  • 10.05.01 КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ
  • 10.05.03 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
  • 10.05.04 Информационно-аналитические системы безопасности
Магистратура
  • 02.04.01 Математика и компьютерные науки
  • 09.04.04 Программная инженерия
  • 09.04.01 Информатика и вычислительная техника
  • 27.04.04 Управление в технических системах
  • 09.04.02 Информационные системы и технологии
  • 09.04.03 Прикладная информатика
  • 02.04.03 Математическое обеспечение и администрирование инф
Учебный год 2024/25, осенний семестр
Магистратура
  • 09.04.01 Информатика и вычислительная техника
  • 09.04.02 Информационные системы и технологии
  • 09.04.04 Программная инженерия
  • 09.04.04 Программная инженерия
  • 27.04.04 Управление в технических системах
  • 02.04.01 Математика и компьютерные науки
  • 09.04.03 Прикладная информатика
  • 02.04.03 Математическое обеспечение и администрирование инф
Бакалавриат
  • 27.03.04 Управление в технических системах
  • 09.03.03 Прикладная информатика
  • 09.03.04 Программная инженерия
  • 10.04.01 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
  • 27.03.03 Системный анализ и управление
  • 02.03.01 Математика и компьютерные науки
  • 09.03.01 Информатика и вычислительная техника
  • 02.03.03 Математическое обеспечение и администрирование информационных систем
  • 09.03.02 Информационные системы и технологии
  • 10.03.01 Информационная безопасность
  • 27.03.01 Стандартизация и метрология
  • 02.03.02 Фундаментальная информатика и информационные технологии
  • 02.04.03 Математическое обеспечение и администрирование информационных систем
  • 09.04.03 Прикладная информатика
  • 02.03.02 Фундаментальная информатика и информационные техно
  • 09.04.01 Информатика и вычислительная техника
  • 00.00.00 Пусто
  • 09.04.04 Программная инженерия
  • 09.04.02 Информационные системы и технологии
Специалитет
  • 10.05.03 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
  • 10.05.01 КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ
  • 10.05.04 Информационно-аналитические системы безопасности
Учебный год 2023/24, весенний семестр
Бакалавриат
  • 09.03.03 Прикладная информатика
  • 09.03.01 Информатика и вычислительная техника
  • 27.03.01 Стандартизация и метрология
  • 02.03.03 Математическое обеспечение и администрирование информационных систем
  • 09.03.04 Программная инженерия
  • 02.03.01 Математика и компьютерные науки
  • 02.03.03 Математическое обеспечение и администрирование инф
  • 27.03.03 Системный анализ и управление
  • 02.03.02 Фундаментальная информатика и информационные техно
  • 09.03.02 Информационные системы и технологии
  • 27.03.04 Управление в технических системах
  • 10.03.01 Информационная безопасность
Магистратура
  • 27.04.04 Управление в технических системах
  • 09.04.02 Информационные системы и технологии
  • 09.04.01 Информатика и вычислительная техника
  • 09.04.04 Программная инженерия
  • 09.04.03 Прикладная информатика
  • 02.04.03 Математическое обеспечение и администрирование инф
  • 02.04.03 Математическое обеспечение и администрирование информационных систем
  • 02.04.01 Математика и компьютерные науки
  • 10.04.01 Информационная безопасность
Специалитет
  • 10.05.03 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
  • 10.05.01 Компьютерная безопасность
  • 10.05.04 Информационно-аналитические системы безопасности
  • system
  • MOOK курсы
  • Курсы категории 1
  • Курсы категории 2
Проектная деятельность
  • Проекты студентов
Курсы структурных подразделений института
Высшая школа управления кибер-физическими системами
  • "Системный анализ и управление" и "Информационные системы и технологии"
  • "Инноватика" и "Управление качеством"
  • 27.03.04 Управление в технических системах
  • 27.04.04_07 Распределенные интеллектуальные системы управления
  • 27.04.04_02 Автоматизация технологических процессов и производств
  • 09.04.01_17 Intelligent Systems (International educational program)
  • Вступительные испытания в магистратуру
  • 2701 Стандартизация и метрология
Высшая школа программной инженерии
  • Архив
  • Высшая школа искусственного интеллекта
Направление Информатика и вычислительная техника
  • Направление "Информатика и вычислительная техника"
  • Архив КСПТ
  • Кафедра «Измерительные информационные технологии»
  • Высшая школа кибербезопасности
Направление Прикладная информатика
  • 1 курс
  • 2 курс
  • 3 курс
  • 4 курс
5 курс
  • Курсы студентов 2022
  • Сезон 2023
  • Сезон 2024
  • Сезон 2025
  • 6 курс
  • Очно-заочная форма
  • Дополнительный раздел
  • Анкетирование
  • Кафедра «Компьютерные системы и программные технологии»
  • Направление Информационные системы и технологии
  • Разное
Подготовка к защите ВКР (Июнь 2021)
  • Бакалавриат
  • Магистратура
  • Заочная форма обучения
В начало

    Информация о курсе

    Распределенные алгоритмы Шошмина Ирина Владимировна

    • Преподаватель: Шошмина Ирина Владимировна
    Skill Level: Beginner
    Skill Level: Beginner

    Портал дистанционных образовательных технологий СПБПУ Петра Великого
    Политика конфиденциальности
    Политика обработки cookie
    При использовании материалов портала активная ссылка на источник обязательна

    Санкт-Петербургский политехнический университет

    Контакты:

    195251, Санкт-Петербург, ул. Политехническая, дом 29, Научно-исследовательский корпус

    +7 (812) 906-15-19

    support@spbstu.ru

    sdo@spbstu.ru (проблемы с порталом)

    Мы в социальных ресурсах

    Мы используем cookies и рекомендательные технологии для улучшения работы сайта. Продолжая использовать этот сайт, Вы соглашаетесь на использование файлов cookie.