Wojciech Karpiel ab3c502036 poprawki | 2 yıl önce | |
---|---|---|
README.md | 2 yıl önce | |
elf13.v | 2 yıl önce |
Znasz to uczucie, gdy siedzisz w karczmie i popijasz sobie korzenne piwo po całym dniu polowania na smoki, a tu nagle jakiś pajac stolik obok zaczyna się głośno przechwalać, że jest elfem w 1/16? Zaraz dołączy jakiś drugi cymbał, który będzie twierdził, że jest elfem w 1/8; i jakiś trzeci, że w 3/16. Kolejny dureń przebije wszystkich wykrzykując, że jest elfem w 1/13.
CO BULWA? Pomijając z kim sie puszczała jego matka, to nie jest możliwe. Czas odłożyć miecz i odwołać się do mądrości starożytnych magów. Do naszych czasów zachowały się nieliczne, podniszczone zwoje opisujące zapomnianą sztukę logiki.
Istnieją:
Stopień pochodzenia jest w postaci a/2^b, gdzie a,b ∈ ℕ.
Dowód: przez indukcję na strukturze modelu.
DOZRO: do spisania po sprzątaniu