#
CS191 20 04 15
Mon, Apr 15, 2019

# Brooks 1986

Software construction contains representations of complex conceptual structures for software engineering.

Exploiting the classical literature for a particular notation in Titchmarsh’s zeta function, which is defined as $\Omega(f(n))$

These are $\Omega$ theorems.

Cajori has a two-volume work on the history of mathematical notations. Individuals like Landau first discused the question with Polya.

Big O refers to a neighborhood of zero while $\Omega$ refers to a neighborhood of inifnity.

The above notations deal with a function like $(log log n) ^{cos n}$

Hardy has an interesting tract on “Orders of Infinity” where we have a set of inequalities

$f(n) << g(n)$ and we have a proper inequality established with $200^2 << \binom{n}{2}$

# Leveson, Turner 1993

This paper discusses Therac-25, an apparatus that seeks to detect cancer.

Software has medical issues, like the equipment sometimes is not particularly robust enough for software functionality. Medical linear accelerators accelerate electrons to create high-energy beam that can destroy tumors with minimal impact on healthy tissue.

This is really the instance where the computer senses and controls turnable positions. The operations cause a suspension of treatment, and the machine could possibly malfunction. The operator and fixes will stop the machine in a proper manner with the right energy densities.