Determinants have been present since the very beginning of functional analysis. The determinants of in nite matrices were investigated for the rst time by the astronomer G. W. Hill in his studies on lunar theory. These ...

This dissertation describes the solution toa specific logical problem, the satisfiability
problem, in a logic of games called Alternating-time Temporal Logic (ATL).
Computation Tree Logic (CTL) is a discrete branching-time ...

An overview of the process of mathematical logic's growth is depicted in this dissertation. Man began at the very beginning, distinguishing only between truth and falsity (a huge leap in those days, and definitely one in ...

The innovative work of Black and Scholes [1, 2] extended the mathematical
understanding of the options pricing model, beginning the deliberate study of
the theory of option pricing. Its impact on the nancial markets was ...

In this thesis, our primary objective is to investigate the effects that various graph
modifications have on the total domination number of a graph. In Chapter 1, we
introduce basic graph theory concepts and preliminary ...