Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: matryca logiczna

Sortuj według:

Ogranicz wyniki do:

Wykorzystanie matrycy logicznej w zarządzaniu projektem na przykładzie budowy linii kolejowej Ahlbeck Granica Państwa – Świnoujście Centrum

Niedzielski P., Downar W.

Transport, Logistyka, Porty

2016

nr 1

4--10

Matryca logiczna (LFM) jest zintegrowanym narzędziem wspomagającym planowanie, realizację i monitorowanie projektów. W projekcie, który jest przedmiotem analizy w niniejszym artykule, do określenia hierarchii celów projektu, ale również do zdefiniowania podstawowych założeń i ryzyk związanych z projektem, zostało wykorzystane podejście oparte na matrycy logicznej (LFA). Realizacja projektu pokazała, że wszystkie istotne cele określone na etapie planowania projektu zostały osiągnięte, w szczególności połączono centrum Świnoujścia z systemem transportowym wyspy Uznam, a tym samym z siecią kolei niemieckich i europejskich.

Expansion by a new constant may change the finite axiomatization property of a matrix

Pałasińska K.

Czasopismo Techniczne. Nauki Podstawowe

2016

Y. 113, iss. 1-NP

131--136

We give an example of a finite matrix with the property that expanding its language with a constant changes its finite axiomatization property: in the language with one binary operation the tautologies of the matrix are finitely axiomatizable while in the expanded language they are not. The constant we add is not definable in the original language. The deductive system generated by this matrix is not algebraizable.

Podajemy przykład skończonej matrycy logicznej, która jest skończenie aksjomatyzowalna, ale po dodaniu stałej do sygnatury tej matrycy, własność ta się psuje. Dodawana stała nie jest definiowalna w języku matrycy, a operator konsekwencji wyznaczony przez tę matrycę nie jest algebraizowalny.

The logic dual to Sobociński's n-valued logic

Górnicka A.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2010

Vol. 15

35--42

In this paper, we describe the logic dual to n-valued Sobociński logic. According to the idea presented by Malinowski and Spasowski [1], we introduce the consequence dual to the consequence of n-valued Sobociński logic in two ways: by a logical matrix and by a set of rules of inference. Then we prove that both approaches are equivalent and the consequence is dual in Wójcicki sense (see [3]).