INFORMATION TECHNOLOGY UNIT 1 ENGINEERING MATHEMATICS Mathematical Logic Propositional Logic First Order Logic. Probability Conditional Probability, Mean, Median. Contents. All algorithms numbered 493 and above, as well as a few earlier ones, may be downloaded from this server. Many of these files are quite large. Centos 6 2 Yum Install Git Rhel6. Software on BioLinux 8. The bioinfomatics software on BioLinux consists of the packages below, which includes our own packages as well as bioinformatics packages. The BlackScholes model and the Cox, Ross and Rubinstein binomial model are the primary pricing models used by the software available from this site. This benchmark application prices a portfolio of American call options using a Binomial lattice Cox, Ross and Rubenstein method. For a given size N of the binomial. Binomial Lattice Model Tree Software' title='Binomial Lattice Model Tree Software' />SASSTATR 9.