Formalized Mathematics - Tom 17, Numer 2 (2009) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2009

Tom

17

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Some Operations on Quaternion Numbers (Li B., Liang X., Wang P., Zhuang Y.), s. 61-65
- artykuł: Complex Function Differentiability (Pacharapokin C., Yamazaki H., Shidama Y., Nakamura Y.), s. 67-72
- artykuł: Kolmogorov's Zero-One Law (Doll A.), s. 73-77
- artykuł: Second-Order Partial Differentiation of Real Binary Functions (Xie B., Liang X., Shen X.), s. 79-87
- artykuł: The Measurability of Complex-Valued Functional Sequences (Narita K., Endou N., Shidama Y.), s. 89-97
- artykuł: Collective Operations on Number-Membered Sets (Korniłowicz A.), s. 99-115
- artykuł: Solution of Cubic and Quartic Equations (Riccardi M.), s. 117-122
- artykuł: The Perfect Number Theorem and Wilson's Theorem (Riccardi M.), s. 123-128
- artykuł: Probability on Finite Set and Real-Valued Random Variables (Okazaki H., Shidama Y.), s. 129-136
- artykuł: Lebesgue's Convergence Theorem of Complex-Valued Function (Narita K., Endou N., Shidama Y.), s. 137-145
- artykuł: The Cauchy-Riemann Differential Equations of Complex Functions (Yamazaki H., Shidama Y., Nakamura Y., Pacharapokin C.), s. 147-149
- artykuł: Properties of Primes and Multiplicative Group of a Field (Arai K., Okazaki H.), s. 151-155
- artykuł: Hopf Extension Theorem of Measure (Endou N., Okazaki H., Shidama Y.), s. 157-162
- artykuł: Labelled State Transition Systems (Trybulec M.), s. 163-171
- artykuł: Probability on Finite and Discrete Set and Uniform Distribution (Okazaki H.), s. 173-178
- artykuł: Riemann Integral of Functions from R into R n (Miyajima K., Shidama Y.), s. 179-185
- artykuł: Basic Properties of Even and Odd Functions (Li B., Men Y.), s. 187-192
- artykuł: Equivalence of Deterministic and Nondeterministic Epsilon Automata (Trybulec M.), s. 193-199

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.