Temat: arithmetic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Completness of Presburgers arithmetic
Zupełność arytmetyki Presburgera
Autorzy:: Ludwikowski, Leszek
Słowa kluczowe:: Arytmetyka, Presburger, Rozstrzygalność, Zupełność, Eliminacja kwantyfikatorów, Logika
Arithmetic, Presburger, Decidability, Completnees, Quantifier elimination, Logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Próba rozwiązania problemu niezdeterminowania wyboru ontologii w filozofii Quinea
An attempt at a solution of the problem of indeterminancy of ontology in Quines philosophy
Autorzy:: Domarecki, Czesław
Słowa kluczowe:: Willard Van Orman Quine, względność ontologiczna, zobowiązanie ontologiczne, teoria modeli, arytmetyka Peano, niestandardowy model arytmetyki, logika nieklasyczna
Willard Van Orman Quine, ontological relativity, ontological commitment, model theory, Peano arithmetic, non-standard model of arithmetic, non-classical logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Rozwój systemu liczbowego na przestrzeni wieków
The Development of the Numeral System over the Centuries
Autorzy:: Kurek, Adam
Słowa kluczowe:: numbers, numeral base, positional system, arithmetic, counting, digits
liczby, baza liczbowa, system pozycyjny, arytmetyka, liczenie, cyfry; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Symplectic algorithm for rigorous integration of variational equations
Symplektyczny algorytm ścisłego całkowania równań wariacyjnych
Autorzy:: Nowak, Dorota
Słowa kluczowe:: Hamiltonian systems, symplectic algorithms, interval arithmetic, rigorous numerical methods
układy hamiltonowskie, algorytmy symplektyczne, arytmetyka przedziałowa, ścisłe obliczenia numeryczne; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Interval arithmetic
Arytmetyka przedziałowa
Autorzy:: Ściborowska, Barbara
Słowa kluczowe:: Interval arithmetic, dependency problem, wrapping problem, numerical analysis, numerical methods
Arytmetyka przedziałowa, problem zależności, problem pakowania, analiza numeryczna, metody numeryczne; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Nierówności między średnimi w zadaniach
Inequalities between means in the tasks
Autorzy:: Ryś, Kamila
Słowa kluczowe:: średnia arytmetyczna, średnia geometryczna, średnia kwadratowa, średniaharmoniczna, nierówności między średnimi, nierówność Cauchy’ego, nierówność Jensena
arithmetic mean, geometric mean, root mean square, harmonic mean, inequalities between means, Cauchy’s inequality, Jensen’s inequality; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Informacja