Bulova algebra
Teorema 0.4 a + a = a ; aa = a idempotentnost Teorema 0.5 a + 1 = 1 ; a · 0 = 0 ograniˇcenost Teorema 0.6 a +...
Teorema 0.4 a + a = a ; aa = a idempotentnost Teorema 0.5 a + 1 = 1 ; a · 0 = 0 ograniˇcenost Teorema 0.6 a +...
dx = x + c 2. x [n] dx = [x] [n][+][1] n + 1 [+][ c][ (][n] `[ ]` [−][1)] dx 3. x [=][ ln][ |][x][|] 4. e [x]...
Aritmetiµcka progresija je niz brojeva a 1 ; a 2 ; a 3 ; a 4 ; : : : ; a n : : : gde je razlika izme†u...
1 Osnove matematiˇcke logike . . . . . . . . . . . . . . . 2 1.2 Binarne relacije . . . . . . ....
Peanova aritmetika je teorija prvog reda, pa za nju vrijedi G¨odelov teorem potpunosti, tj. teorem 2.80. To znaˇci da je teorija PA potpuna u odnosu na klasu svih svojih modela,...
Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
Prikazani su svi rezultati za ovaj upit.