Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: pary punktów

Sortuj według:

Ogranicz wyniki do:

Intervals in non-linear point time : the longer paper

Hajnicz E.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1998

nr 868

3-144

This report contains a characterization of time intervals defined in point time framework. We start from presenting brief description of non-linear point time structures. Next basic properties of sets of points and pairs of points are suggested, and their comparison is conducted. Complete axiomatizations are presented for all the theories depending on definition of intervals and relations ordering them.

Niniejsza praca zawiera charakterystykę reprezentacji przedziałów czasu jako zbiorów i jako par punktów czasu. Na początku przedstawiony został zwięzły opis nieliniowych struktur czasu. Następnie opisane zostały podstawowe własności zbiorów punktów i par punktów wraz z ich porównaniem. Dla wszystkich teorii przedstawione są pełne aksjomatyzacje, uzależnione od definicji przedziałów i porządkujących je relacji.