Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Pedagogiczna Biblioteka Wojewódzka im. Komisji Edukacji Narodowej w Lublinie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaPedagogiczna Biblioteka Wojewódzka im. Komisji Edukacji Narodowej w Lublinie
Zmień bibliotekę

Wyszukujesz frazę "Malinowski, Tomasz" wg kryterium: Autor

  Lista filtrów
Dostawca treści
Wyrównaj
Wyświetlanie 1-10 z 91
Tytuł:
Wpływ zastosowania metali lekkich na rozwój polskiego lotnictwa wojskowego
Role of light metals application, to the direction on polish aircraft progress
Autorzy:
Malinowski, Tomasz
Opis:
Praca magisterska dotyczy wpływu zastosowania metali lekkich na rozwój lotnictwa wojskowego w Polsce. Poprzez scharakteryzowanie właściwości metali lekkich w kontekście budowy maszyn lotniczych oraz opisanie działalności polskiego lotnictwa wojskowego, autor przechodzi do analizy wpływu zastosowania tego typu materiału konstrukcyjnego na kierunek rozwoju wojska powietrznego.
Light metals application change the way of polish aircraft progress. Unique attribute of this material change the using direction of polish fighters.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Tytuł:
Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:
Jarmużek, Tomasz
Malinowski, Jacek
Tematy:
Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/749968.pdf  Link otwiera się w nowym oknie
Opis:
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bayesian Propositional Logic
Autorzy:
Jarmużek, Tomasz
Klonowski, Mateusz
Malinowski, Jacek
Tematy:
logical entailment
statistical inference
Bayesian inference
corroboration
confirmation
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/750026.pdf  Link otwiera się w nowym oknie
Opis:
We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 91

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies