Quantitative Formal Modeling and Worst-Case Performance Analysis

У курсі ви навчитеся моделювати та вирішувати проблеми продуктивності в стилі, популярному в теоретичній інформатиці, і загалом тренувати свої навички абстрактного мислення. Після закінчення курсу ви навчитеся думати про поведінку систем з точки зору виробництва та споживання токенів, і зможете формалізувати це мислення математично в термінах префіксних порядків та функцій підрахунку. Ви дізнаєтеся про Петрі-мережі, про часування та про планування систем споживання / виробництва токенів, і для спеціального класу Петрі-мереж, відомих як однорідні графи потоків даних, ви будете знати, як виконувати аналіз найгірших випадків базових показників продуктивності, таких як пропускна здатність, затримка та буферизація.

• Моделювання та розв'язання проблем продуктивності, формалізація мислення, робота з префіксними порядками та функціями підрахунку, робота з Петрі-мережами, часування та планування систем споживання / виробництва токенів, аналіз найгірших випадків базових показників продуктивності.

Курс призначений для студентів, які мають базові знання з теоретичної інформатики та математики.

Так. У деяких програмах навчання ви можете подати заявку на отримання фінансової допомоги або стипендії, якщо не можете оплатити реєстрацію. Якщо для обраної вами програми навчання пропонується фінансова допомога або стипендія, посилання для подання заявки міститься на сторінці опису.

Coursera співпрацює з більш ніж 275 провідними університетами та компаніями, щоб надавати гнучке, доступне та практичне онлайн-навчання для осіб та організацій по всьому світу. Ми пропонуємо широкий спектр можливостей для навчання — від практичних проектів та курсів до сертифікатів, які готують до роботи, а також до програм з отримання диплому.

Ми віримо, що навчання є джерелом людського прогресу. Воно має силу перетворити наш світ — від хвороби до здоров'я, від бідності до процвітання, від конфліктів до миру. Навчання має силу змінити наше життя — для нас самих, для наших родин, для наших спільнот.

Незалежно від того, хто ми є і де ми знаходимося, навчання дарує нам можливість змінитися і рости, переосмислюючи те, що можливо. Тому доступ до найкращого навчання є правом, а не привілеєм.

І саме для цього існує Coursera. Ми співпрацюємо з найкращими установами, щоб принести найкраще навчання в кожний куточок світу. Таким чином, кожна людина будь-де має можливість перетворити своє життя за допомогою навчання.