Tento kurs je dvouoborovou variantou kursu Vyčíslitelnost A, kterým je zajišťován. Zajištování znamená, že dvouoborový student si může zapsat variantu A, a v tom případě se mu kredity za rozdíl (A - B) započtou jako povinně výběrové přednášky.
V případě zápisu varianty B lze individuálně domluvit modifikaci požadavků ke zkoušce.