2011 02 044159

1.    czy:

-    3x e X : x² = 1 J^est tautologią

-    jakieś z p i q jest tautologią

3, a -> 0

P

jest regułą wnioskowania

2.    indukcja

-    takie jak w testach z zeszłych lat, tylko bardziej porąbane

3.    dla każdego zbioru? zachodzi:

-    wypisane elementy jakiegoś zbioru w stylu {$. 1. 2. {1, 2}}

-    A- B = A- A(~)B

(J{a4 = UPM

-    A ~ B A B ~ C* —> .4 ~ C'

4.    injekcja

-    jest na

-    jest bijekcją

+ coś tam z licznością w dwóch podpunktach

5.    Relacje

-    taka jak tu wrzucona, zbadać liniowość, antysymetryczność, najmniejszy, maksymalny

6.    Rekurencja

-    takie jak w testach z zeszłych lat, tylko bardziej porąbane

7.    Asymptotyka i

8.    Permutacje - analogicznie do forum