How Berger, Felzenbaum and Fraenkel Revolutionized Covering - Systems the Same Way that George Boole Revolutionized Logic
نویسنده
چکیده
The Berger-Felzenbaum-Fraenkel approach to Covering Systems is exposited. In particular their gorgeous proof of the famous an = an−1 theorem for exact covering systems (found independently by Jamie Simpson), is reviewed, and the analogy of their approach to Boolean tautologies in Disjunctive Normal Form is pointed out.
منابع مشابه
Nearly Disjoint Covering Systems
We pose the problem of the existence of incongruent covering systems of residue sets, where two residue sets intersect if and only if their moduli are relatively prime . We show how such covering systems give rise to nearly disjoint cell covers of a lattice box, and thereby obtain a partial solution . In particular, we show that the number of primes dividing the 2 .c .m . of the moduli of the r...
متن کاملEigenlogic in the spirit of George Boole
This work presents an operational and geometric approach to logic. It starts from the multilinear elective decomposition of boolean functions in the original form introduced by George Boole. It is then shown that this algebraic polynomial formulation can be naturally extended to operators in finite vector spaces. Logical operators will appear as commuting projectors and the truth values, which ...
متن کاملHuman Virome
Viruses are dominant entities in the biosphere and parasitize all cellular life forms. The relative abundances of different classes of viruses are dramatically different between prokaryotes and eukaryotes. In marine, soil and animal-associated environments, virus particles consistently outnumber cells by one to two orders of magnitude. It is estimated that 10 quintillion (1030) viral particles ...
متن کاملThe fuzzy logic in air pollution forecasting model
In the paper a model to predict the concentrations of particulate matter PM10, PM2.5, SO2, NO, CO and O3 for a chosen number of hours forward is proposed. The method requires historical data for a large number of points in time, particularly weather forecast data, actual weather data and pollution data. The idea is that by matching forecast data with similar forecast data in the historical data...
متن کاملA Formalist Analysis of Mohtasham Kashani’s Tarkib-band Based on Form and Meaning Point of View
Mohtasham Kashani, the great elegist of Islamic World, revolutionized the form of elegies with his famous Tarkib-band, in a way that no other poet has ever done so before and after him. One of the main concerns of this study is analyzing the relation between the inner and outer form of his poems. After analyzing the contents of his Tarkib-band, we reach to this fact that, there is a strong conn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. J. Comb.
دوره 8 شماره
صفحات -
تاریخ انتشار 2001