Reproduction Number
The basic reproduction number R0 is the expected number of secondary infections produced by a single infectious individual introduced into a fully susceptible population. Formally defined and computationally grounded by Diekmann, Heesterbeek, and Metz in 1990 using the next-generation matrix approach, R0 serves as the central threshold parameter in mathematical epidemiology: if R0 > 1, an epidemic can establish itself; if R0 < 1, the outbreak dies out. The effective reproduction number Rt extends this to partially immune or partially susceptible populations over time.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.