REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21070
Tytuł: Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences
Autorzy: Nakamura, Yatsuka
Ito, Hisashi
Data wydania: 2008
Data dodania: 18-wrz-2026
Wydawca: University of Białystok
Źródło: Formalized Mathematics, Volume 16, Issue 3, 2008, Pages 283-288
Abstrakt: Here, we develop the theory of zero based finite sequences, which are sometimes, more useful in applications than normal one based finite sequences. The fundamental function Sgm is introduced as well as in case of normal finite sequences and other notions are also introduced. However, many theorems are a modification of old theorems of normal finite sequences, they are basically important and are necessary for applications. A new concept of selected subsequence is introduced. This concept came from the individual Ergodictheorem (see [7]) and it is the preparation for its proof.
Afiliacja: Yatsuka Nakamura - Shinshu University Nagano, Japan
Hisashi Ito - Shinshu University Nagano, Japan
URI: http://hdl.handle.net/11320/21070
DOI: 10.2478/v10037-008-0034-y
ISSN: 1426-2630
e-ISSN: 1898-9934
Typ Dokumentu: Article
metadata.dc.rights.uri: https://creativecommons.org/licenses/by-sa/4.0/
Właściciel praw: © 2009 Yatsuka Nakamura, Hisashi Ito, published by University of Białystok
This work is licensed under the Creative Commons License.
Występuje w kolekcji(ach):Formalized Mathematics, 2008, Volume 16, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
Basic_Properties_and_Concept_of_Selected_Subsequence_of_Zero_Based_Finite_Sequences.pdf225,57 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons