Протокол выбора лидера
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика"
http://dcn.icc.spbstu.ru/
Конечные автоматы и их применение
Применение конечных автоматов
Видео Протокол выбора лидера канала Irina Shoshmina
http://dcn.icc.spbstu.ru/
Конечные автоматы и их применение
Применение конечных автоматов
Видео Протокол выбора лидера канала Irina Shoshmina
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Мир вампуса и ограниченные кванторы
Разница между тестированием и верификацией
Конъюнкция утверждений как способ упростить структуру доказательства
Доказательство корректности ациклических программ
Примеры аксиоматических теорий
Формулировка основной теоремы теории двоичных функций
Двоичные функции как конечные функциональные преобразователи
Требования, зависящие от времени
Построение схемы отображения электронных часов
О проблеме корректности программных систем управления
Проверка корректности системы управления микроволновой печью
Унификация атомарных предикатов
Алгоритм DPLL
Свойства аксиоматических теорий
Примеры известных равносильных и неравносильных формул логики предикатов
Интерливинг в параллельных программах
Практические задачи как задачи SAT
Представление структуры Крипке с помощью BDD
Силлогизмы и метод резолюций в логике высказываний
Замечание о программировании по контракту