PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  logika formalna
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Application of deontic logic in role-based access control
100%
Kołaczek G.
International Journal of Applied Mathematics and Computer Science
|
2002
|
tom Vol. 12, no 2
269-275
EN
The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
2
Content available Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
100%
Pabian A.
Wiadomości Statystyczne. The Polish Statistician
|
2023
|
tom 68
|
nr 2
39-55
PL
Tematem artykułu jest formułowanie hipotez badawczych w naukach o zarządzaniu. Na podstawie wyników badania przeprowadzonego przez autora można stwierdzić, że choć w literaturze przedmiotu wskazywane są cechy prawidłowo sformułowanej hipotezy, to podczas tworzenia hipotez badawczych często dochodzi do błędów, a w konsekwencji odpowiedzi na pytanie (pytania) wyrażające problem badawczy są skonstruowane niepoprawnie. Przykłady takich błędów, m.in. próby sprawdzenia w praktyce stwierdzeń nieweryfikowalnych, można znaleźć nawet w pracach magisterskich. W tworzeniu poprawnych hipotez pomocny może być rachunek zdań mający źródło w logice formalnej. Celem artykułu jest udowodnienie przydatności rachunku zdań logiki formalnej w formułowaniu hipotezy głównej i hipotez cząstkowych w pracach badawczych z zakresu nauk o zarządzaniu. Przed przyjęciem hipotezy należy rozłożyć ją na czynniki pierwsze i przeprowadzić analizę zdań. Zastosowanie takiej procedury powinno doprowadzić do nadania każdej z hipotez zrozumiałej i logicznej postaci oraz zapewnić ich zgodność z regułami językowymi.
EN
The article is devoted to the topic of formulating research hypotheses in management sciences. On the basis of the author’s research results, it may be concluded that although the related literature indicates the features of a properly formulated hypothesis, errors still tend to occur in the process of its construction and as a consequence, the answers to the question or questions determining the research problem are not correctly formulated. Examples of such errors include attempts to check statements which are unverifiable in practice, which could be observed even in Master’s theses. The propositional calculus, whose source is in formal logic, may prove a useful tool in creating proper hypotheses. The primary aim of the article is to prove the usefulness of the propositional calculus of formal logic in formulating the main hypothesis and partial hypotheses in research work relating to management sciences. Prior to adopting a hypothesis for further proceedings, it should be decomposed into prime factors, followed by an analysis of the propositions. Adopting such a calculus when formulating each hypothesis should result in their comprehensible and logical form, compliant with linguistic rules.
3
Content available remote Nowy idealizm? : Le Corbusier, Alexander i architektura generatywna
100%
Słyk J.
Czasopismo Techniczne. Architektura
|
2010
|
tom R. 107, z. 7-A/2
337-341
PL
Artykuł porusza problem udziału metod matematycznych w kreacji i interpretacji twórczości architektonicznej. Poprzez analogię do teorii muzyki wskazuje możliwości ścisłego formalizowania zasad kształtujących styl wypowiedzi. Wskazuje odmienność problematyki zadań przestrzennych wynikającą z komplikacji i wielości uwarunkowań. Bazując na wypowiedzi Christophera Alexandra - przedstawia szanse, jakie przynosi architekturze wykorzystanie zaawansowanych technik informatycznych. Dotyczą one zarówno praktyki projektowania, jak i teoretycznych podstaw twórczości.
EN
The paper reflects on mathematical grounds for architectural creation and understanding. Theory of music contributes analogy that enlightens how to develop style based on formal rules. However - complexity of spatial problems is described as limitation for strict reasoning. Following Christopher Alexander's view - it shows new perspective that computation brings to architecture. The perspective for design practice as well as theory.
4
Content available Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
100%
Kozanecka-Dymek A. M.
Studia Prawnicze KUL
|
2021
|
nr 2
121-132
EN
In the article, concrete examples acknowledge that formal logic can be useful in the work of a lawyer-canonist. Formal correctness is also analysed with several inferences conducted on a basis of canons, using an apparatus of classical propositional calculus and syllogistic, and also selected non-classical logics such as, for example, tense logic, chronological logic, and place logic  
PL
Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki formalnej może być przydatna w pracy myślowej prawnika kanonisty, zwłaszcza wtedy, gdy nie ma on pewności, czy wyprowadzony przez niego wniosek wynika logicznie z przesłanek. Przeanalizowano formalną poprawność kilku wnioskowań przeprowadzonych w oparciu o kanony, przy użyciu aparatury klasycznego rachunku zdań i sylogistyki, a także wybranych logik nieklasycznych, takich jak np. logika tensalna, logika chronologiczna i logika miejsca  
5
Content available remote Analiza dowodu pierwszej tezy Gorgiasza
100%
Nowakowski A.
Diametros
|
2016
|
nr 48
71-88
PL
Dowód pierwszej tezy Gorgiasza jest dedukcyjnym wnioskowaniem nie wprost, skonstruowanym przez wielokrotne użycie schematu modus tollens. Te z jego przesłanek, które przyjęte są bez dowodów, są łudząco podobne do niektórych prawd logicznych lub analitycznych. Gdyby rzeczywiście nimi były, w dowodzie musiałyby pojawić się sprzeczności. W czasach Gorgiasza dowód mógł uchodzić za poprawny; możliwość jasnego wskazania i opisania jego defektów pojawiła się dopiero z wynalezieniem logiki formalnej. Gorgiasz mógł ogłosić swą tezę serio – jako tezę skrajnego nihilizmu metafizycznego – nie obawiając się kompromitacji. Jeżeli dowód jest sofizmatem, to wśród sofizmatów jest arcydziełem, najwybitniejszym osiągnięciem sofistów w tej dziedzinie.
EN
The proof of first thesis of Gorgias is an indirect deductive argument constructed by the multiple use of the modus tollens pattern. Those of its premises which are assumed without proofs are misleadingly similar to some logical or analytical truths. If they actually were such truths, some contradictions would have to appear in the proof. In the times of Gorgias the proof could be regarded as correct; the possibility of showing and clearly describing its defects emerged only after formal logic had been invented. Gorgias could announce his thesis seriously – as a thesis of extreme metaphysical nihilism – without being embarrassed. If the proof is a sophistry, then it is a masterpiece among sophistries, the most outstanding achievement of the sophists in this domain.
6
Wartości i normy jako zdania w logice. Z historii logiki w Polsce
80%
Pacewicz G.
Humanistyka i Przyrodoznawstwo. Uniwersytet Warmińsko-Mazurski w Olsztynie
|
2016
|
tom 22
7
Content available Wartości i normy jako zdania w logice. Z historii logiki w Polsce
80%
Pacewicz G.
Humanistyka i Przyrodoznawstwo
|
2016
|
nr 22
291-305
PL
Przedmiotem artykułu jest analiza definicji „sądu” oraz „zdania”, jakie pojawiły się w podręcznikach do logiki w Polsce w pierwszej połowie XX wieku. W szczególności podjęto zagadnienie, na ile wyrażenia wartościujące i normatywne są prawdziwe lub fałszywe, a wobec tego są przedmiotem logiki formalnej. W zakończeniu przedstawiono wnioski z przeprowadzonej analizy. Wskazują one, że wyrażenia wartościujące i normatywne w ograniczonym stopniu mają wartość logiczną.
8
Content available remote The approach to applications integration for world data center interdisciplinary scientific investigations
70%
Nowakowski G. , Telenyk S. , Yefremov K. , Khmeliuk V.
Annals of Computer Science and Information Systems
|
2019
|
tom Vol. 18
539--545
EN
The approach to applications integration for World Data Center (WDC) interdisciplinary scientific investigations is developed in the article. The integration is based on mathematical logic and artificial intelligence. Key elements of the approach - a multilevel system architecture, formal logical system, implementation - are based on intelligent agents interaction. The formal logical system is proposed. The inference method and mechanism of solution tree recovery are elaborated. The implementation of application integration for interdisciplinary scientific research is based on a stack of modern protocols, enabling communication of business processes over the transport layer of the OSI model. Application integration is also based on coordinated models of business processes, for which an integrated set of business applications are designed and realized.
first rewind previous Strona / 1 next fast forward last
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ć.