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 Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "dowód" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Wartość dowodowa confessio iudicialis w świetle Mitis Iudex Dominus Iesus papieża Franciszka
    The value of confessio iudicilias in Mitis Iudex Dominus Iesus
    Autorzy:
    LESZCZYŃSKI, GRZEGORZ
    Powiązania:
    https://bibliotekanauki.pl/articles/661190.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    dowód
    przyznanie
    proces
    proof
    confession
    process
    Opis:
    Taking up the value of confessio iudicialis for declaring a marriage null and voit, the author begins his reflections with a look at different forms of declarations of the parties. From the point of view of marriage validity, of special significance is also the analysis of confessio iudicialis in the Code of Canon Law from 1917 and 1983. The last part of the author’s reflections is devoted to the analysis of new canon 1678 of the Code of Canon Law, declaring in Pope’s Francis Mitis Iudex Dominus Iesus.
    Prawodawca w Kodeksie Prawa Kanonicznego z roku 1983, w sprawach o stwierdzenie nieważności małżeństwa, oddaje do dyspozycji sądów kościelnych cztery podstawowe środki dowodowe. Jednym z nich są oświadczenia stron. Przyznanie się sądowe, będące jednym z oświadczeń stron, nabiera nowego wymiaru w świetle przepisów zawartych w Liście Apostolskim Ojca Świętego Franciszka Mitis Iudex Dominus Iesus, obowiązujących od 8 grudnia 2015 r. Przepisy zawarte w Mitis Iudex Dominus Iesus Ojca Świętego Franciszka nie zmieniają rozumienia środka dowodowego, jakim jest confessio iudicialis, ani też nie dokonują zmian co do jej stosowania w aspekcie proceduralnym. Wprowadzają natomiast istotną zmianę co jej wartości dowodowej w procesie o stwierdzenie nieważności małżeństwa czyli uściślają walor dowodowy sądowego przyznania się i oświadczeń stron procesowych. Zgodnie, bowiem, z kan. 1678 § 1 Mitis Iudex Dominus Iesus w sprawach o nieważność małżeństwa przyznanie się sądowe oraz oświadczenia stron, poparte ewentualnymi zeznaniami świadków potwierdzającymi ich wiarygodność, mogą mieć pełną wartość dowodową, którą winien ocenić sędzia, po dokładnym rozważeniu wszystkich wskazówek i poszlak, chyba że pojawiają się inne elementy, które je obalają. W świetle Mitis Iudex Dominus Iesus zeznania świadków potwierdzających wiarygodność strony powodowej lub pozwanej nabiera zupełnie nowego wymiaru. Potwierdzenie, bowiem, wiarygodności strony przez zeznających w procesie świadków jest elementem wystarczającym do nadania przyznaniu się sądowemu lub innemu oświadczeniu strony mocy dowodu pełnego.
    Źródło:
    Prawo Kanoniczne; 2015, 58, 4; 121-137
    2353-8104
    Pojawia się w:
    Prawo Kanoniczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Systemy sylogistyki dowodowej
    Systems of Demonstrative Syllogistic
    Autorzy:
    Kulicki, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/2012933.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    sylogistyka
    dowód
    aksjomatyczne odrzucanie
    syllogistic
    proof
    rejected axiomatization
    Opis:
    Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation of general positive sentences in which the same name occurs twice (of the form SaS). As a basic assumption of demonstrative syllogistic we accept a negation of such a sentence. We present three systems which differ in the interpretation of specific positive sentences in which the same name occurs twice (of the form SiS). The theories are defined as axiomatic systems. For all of them rejected axiomatizations are also supplied. For two of them a set theoretical  model is also defined. 
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 1; 139-154
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mały błąd na początku wielkim jest na końcu. Tomaszowa reinterpretacja rozumienia bytu i istoty podstawą odkrycia Pierwszej Przyczyny jako Ipsum Esse
    A little error at the beginning is great at the end. Thomas Aquinas’s reinterpretation of the understanding of being and essence as the basis for the discovery of the First Cause as Ipsum Esse
    Autorzy:
    Maryniarczyk, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/2057889.pdf
    Data publikacji:
    2021-12-30
    Wydawca:
    Naukowe Towarzystwo Tomistyczne
    Tematy:
    byt
    istota
    Bóg
    Ipsum Esse
    dowód
    metafizyka
    being
    essence
    God
    proof
    metaphysics
    Opis:
    In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning (parvus error in principio) in our understanding of being and its essence, it will turn to be a big one in the end (magnus in fine). And what is “at the end” of our knowledge is the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one (i.e., ontological). Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia”.
    Źródło:
    Rocznik Tomistyczny; 2021, 10; 57-77
    2300-1976
    Pojawia się w:
    Rocznik Tomistyczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    “Parvus Error In Principio Magnus Est In Fine”: Thomas Aquinas’s Reinterpretation Of The Understanding Of Being And Essence As The Basis For The Discovery Of The First Cause As Ipsum Esse
    „Mały błąd na początku wielkim jest na końcu”: Tomaszowa reinterpretacja rozumienia bytu i istoty podstawą odkrycia pierwszej przyczyny jako Ipsum Esse
    Autorzy:
    Maryniarczyk, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/488793.pdf
    Data publikacji:
    2019
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    being
    essence
    God
    Ipsum Esse
    proof
    metaphysics
    byt
    istota
    Bóg
    dowód
    metafizyka
    Opis:
    In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning (parvus error in principio) in our understanding of being and its essence, it will turn to be a big one in the end (magnus in fine). And what is “at the end” of our knowledge is the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one (i.e., ontological). Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia.”
    W niniejszym artykule autor zwraca uwagę, że Tomasz z Akwinu w swoim dziełku, noszącym tytuł De ente et essentia, udowodnił, że u podstaw rozumienia świata, człowieka, a w sposób szczególny Boga stoi rozumienie bytu i jego istoty. Gdy popełnimy mały błąd na początku (parvus error in principio) w rozumieniu bytu i jego istoty, to okaże się on wielkim na końcu (magnus in fine). A tym, co jest „na końcu” naszego poznania, jest właśnie odkrycie Pierwszej i Ostatecznej Przyczyny wszechrzeczy, określanej jako Ipsum Esse, Bóg, Absolut, Substancja Najdoskonalsza, od której wszystko zależy, a Ona od nikogo innego. Zapowiedziane dociekania nad właściwym rozumieniem bytu i jego istoty mają na celu doprowadzić do sformułowania dowodu o konieczności istnienia Bytu jako Pierwszej Przyczyny, która będąc Ipsum Esse, jest źródłem i racją istnienia wszystkich bytów. Bez tych dociekań sam dowód byłby niezrozumiały, a co ważniejsze — byłby czysto aprioryczny (w sensie ontologiczny). Ponadto bez egzystencjalnej koncepcji bytu, którą po raz pierwszy sformułował Tomasz, nie można by dojść do odkrycia Pierwszej Przyczyny, która jako Ipsum Esse jest źródłem istnienia każdego bytu. Ten też problem zdaje się umknął uwadze autora książki Aquinas’s Way to God. The Proof in „De Ente et Essentia”.
    Źródło:
    Roczniki Filozoficzne; 2019, 67, 4; 27-51
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mathematical induction in proving of theorems about natural numbers divisibility
    Indukcja matematyczna w dowodzeniu twierdzeń o podzielności liczb naturalnych
    Autorzy:
    Żywuszko, K.
    Czajkowski, A. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/135988.pdf
    Data publikacji:
    2013
    Wydawca:
    Wyższa Szkoła Techniczno-Ekonomiczna w Szczecinie
    Tematy:
    natural numbers
    divisibility
    proof
    mathematical induction
    liczby naturalne
    podzielność
    dowód
    indukcja matematyczna
    Opis:
    Introduction and aims: This paper presents the concept of the division of mathematical expressions with natural variable related to the problem of divisibility. The paper shows some proofs of selected problem. The main aim of this paper is to show a few proofs of theorems about divisibility of expressions by using the method of mathematical induction. Material and methods: In this paper have been solved examples from different sources. Considered problems contain: only polynomials, the sum of powers of different bases (and constant as a component), the sum of the products of powers with different bases (and constant as a component), the sum of the powers and polynomials, the sum of the products of powers and polynomials, the sum containing the power of (-1), Fibonacci sequence, the expression containing a power of the power and problems containing power in divider. In the paper has been used the method of mathematical induction. Results: It has been shown 16 proofs of problems by using mathematical induction. In some examples have been used the additional lemmas which complete the main proof. Conclusion: Using some properties of divisibility theorems and the theorem about mathematical induction allow to show proofs which refer to the divisibility by natural number of various mathematical expressions with natural variable n.
    Wstęp i cele: W pracy przedstawiono koncepcję podziału wyrażeń matematycznych ze zmienną naturalną odnoszących się do problemu podzielności a także przedstawiono dowody wybranych zadań. Głównym celem pracy jest pokazanie sposobu dowodzenia twierdzeń o podzielności wyrażeń przy zastosowaniu metody indukcji matematycznej. Materiał i metody: W pracy rozwiązano przykłady z różnych źródeł. Rozważono zadania zawierające: tylko wielomiany, sumy potęg o różnych podstawach (i stałą w roli składnika), sumy iloczynów potęg o różnych podstawach (i stałą w roli składnika), sumy potęg i wielomianów, sumy iloczynów potęg i wielomianów, sumy zawierające potęgę (-1), ciąg Fibonacciego, wyrażenia zawierające potęgę potęgi oraz zadania zawierające potęgę w dzielniku. Zastosowano metodę indukcji matematycznej. Wyniki: Przeprowadzono dowody 16 przykładów przy użyciu indukcji matematycznej. W niektórych przykładach zastosowano dodatkowo dowody lematów, które uzupełniają całość dowodu głównego. Wniosek: Korzystanie z pewnych właściwości twierdzeń o podzielności i twierdzenia o indukcji matematycznej pozwala pokazać dowody, które odnoszą się do podzielności przez liczby naturalne różnych wyrażeń matematycznych ze zmienną naturalną.
    Źródło:
    Problemy Nauk Stosowanych; 2013, 1; 101-116
    2300-6110
    Pojawia się w:
    Problemy Nauk Stosowanych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Causation and Intensionality in Aristotelian Logic
    Autorzy:
    Kovač, Srećko
    Powiązania:
    https://bibliotekanauki.pl/articles/431026.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    Aristotle
    syllogism
    proof
    necessity
    cause
    intension
    Arystoteles
    syllogizm
    dowód
    konieczność
    przyczyna
    intensja
    Opis:
    We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”.
    Źródło:
    Studia Philosophiae Christianae; 2013, 49, 2; 117-136
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    W sprawie pojęcia logiki klasycznej
    On the Concept of Classical Logic
    Autorzy:
    Kwiatkowski, Tadeusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2013423.pdf
    Data publikacji:
    2006
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    sylogistyka
    semiotyka
    dowód
    stoicy
    Arystoteles
    logic
    syllogistic logic
    semiotics
    proof
    stoics
    Aristotle
    Opis:
    The subject matter of our considerations here is the concept of classical logic. The author begins with a brief etymological reflection and a presentation of some views ancient philosophers had (from Heraclitus to Plato) and inspired Aristotle’s and stoic discussion of logic. They brought about the first systems of formal logic and rich outlines of other branches of logic in their broad understanding, such as the methodology of sciences and semiotics. Aristotle’s logical discoveries (mainly syllogistic logic of assertoric propositions, syllogistic logic of modal propositions, and theory of scientific proof), and stoics’ discoveries (logic of propositions and semiotics) are the first, highly advanced approaches to classical logic. The later history of logic consisted mainly in the reception of those ancient achievements, or in their semantic enrichment.
    Źródło:
    Roczniki Filozoficzne; 2006, 54, 2; 87-118
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Orthogonality of Hermite polynomials system
    Ortogonalność układu wielomianów Hermite’a
    Autorzy:
    Czajkowski, A. A.
    Ignaczak, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/135942.pdf
    Data publikacji:
    2016
    Wydawca:
    Wyższa Szkoła Techniczno-Ekonomiczna w Szczecinie
    Tematy:
    Hermite polynomials
    theorem of Hermite polynomials orthogonality
    proof
    wielomiany Hermite’a
    twierdzenie o ortogonalności
    dowód
    Opis:
    Introduction and aim: The paper presents some Hermite polynomials, orthogonality condition for Hermite polynomials, recurrence formula and differential equation for Hermite polynomials. The aim of the discussion was to give some proof of orthogonality of Hermite polynomial system. Material and methods: Selected material based on some knowledge about Hermite polynomials which has been obtained from the right literature. The proof of the theorem describing the orthogonality of Hermite polynomials has been elaborated using a deduction method. Results: Has been shown some proof of the theorem describing the orthogonality of Hermite polynomials. It has been shown an example of orthogonality testing a pair of two arbitrary Hermite polynomials. Conclusions: In the paper has been shown the proof for theorem: The system of Hermite polynomials is orthogonal in the interval (-∞,+∞) with the weighting function p(z) = exp(-z2).
    Wstęp i cel: W pracy przedstawiono wielomiany Hermite’a, warunek ortogonalności dla układu tych wielomianów, funkcję tworzącą oraz równanie różniczkowe dla wielomianów Hermite’a. Celem rozważań było przeprowadzenie dowodu twierdzenia o ortogonalności układów wielomianów Hermite’a. Materiał i metody: Materiał stanowiły wybrane wiadomości o wielomianach Hermite’a uzyskane z literatury przedmiotu. W przeprowadzonym dowodzie zastosowano metodę dedukcji. Wyniki: Pokazano dowód twierdzenia o ortogonalności układów wielomianów Hermite’a. Podano przykład badania ortogonalności pary dwóch dowolnych wielomianów Hermite’a. Wniosek: W pracy przeprowadzono dowód twierdzenia: Układ wielomianów Hermite’a jest ortogonalny w przedziale (-∞,+∞) z wagą p(z) = exp(-z2).
    Źródło:
    Problemy Nauk Stosowanych; 2016, 5; 51-56
    2300-6110
    Pojawia się w:
    Problemy Nauk Stosowanych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Opinia z zakresu badań poligraficznych w postępowaniu podatkowym
    Opinion on polygraph research in tax proceedings
    Autorzy:
    Charkiewicz, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/1787956.pdf
    Data publikacji:
    2021-04-28
    Wydawca:
    Instytut Studiów Podatkowych Modzelewski i wspólnicy
    Tematy:
    wariograf
    poligraf
    badania poligraficzne
    dowód
    opinia biegłego
    postępowanie podatkowe
    polygraph
    polygraph examination
    proof
    expert auditor’s opinion
    tax procedure
    Opis:
    Opracowanie dotyczy problematyki użyteczności badań poligraficznych i możliwości ich zastosowania w postępowaniach podatkowych. Profesjonalne badania poligraficzne mogą stanowić cenną pomoc w wyjaśnianiu stanu faktycznego sprawy podatkowej. Niepokojące jest jednak to, że w rzeczywistości niedoceniany przez organy podatkowe jest ich potencjał dowodowy. W artykule podjęto próbę ustalenia mocy dowodowej badań poligraficznych na gruncie postępowania podatkowego oraz ukazania przydatności przeprowadzenia tego rodzaju dowodu w celu prawidłowego ustalenia przez organ podatkowy stanu faktycznego konkretnej sprawy.
    The article describes the issues of usefulness of polygraph research and the possibility of their application in tax proceedings. Professional polygraph research can be a valuable help in clarifying the facts of a tax case. However, tax authorities often underestimate their potential as evidence. The article attempts to establish the probative value of polygraph research in tax proceedings and to show the usefulness of this type of evidence in order to properly clarify a specific case by the tax authorities.
    Źródło:
    Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych; 2021, 4(296); 41-45
    1427-2008
    2449-7584
    Pojawia się w:
    Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dowód z dokumentów prywatnych w procesie o stwierdzenie nieważności małżeństwa
    Proof from private documents in trial for marriage nullity
    Autorzy:
    Dappa, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/21150990.pdf
    Data publikacji:
    2021-11-22
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    środki komunikacji elektronicznej
    dokument prywatny
    dowód
    proces o stwierdzenie nieważności małżeństwa
    means of electronic communication
    private document
    proof
    trial for marriage nullity
    Opis:
    Wraz z rozwojem oraz powszechnością środków komunikacji elektronicznej, w praktyce sądowej zauważyć można wzmożoną aktywność stron polegającą na przedkładaniu różnego rodzaju dokumentów (np. skany SMS-ów, wydruki poczty elektronicznej) jako materiał dowodowy. Wartość dowodowa takich materiałów często bywa wątpliwa lub wręcz znikoma, przede wszystkim ze względu na trudności z weryfikacją ich autentyczności. Bywa jednak, że tego typu dowód okazuje się przydatny dla sprawy. Celem niniejszego przedłożenia jest próba krytycznej oceny przydatności dokumentów prywatnych jako dowodu w kanonicznym procesie o stwierdzenie nieważności małżeństwa.
    Together with an improvement and universality of means of electronic communication, there is noticeable growth of parties’ activity consisting of submitting different kinds of documents (e.g. text messages’ scans or electronic mail’s prints) as evidence in jurisprudence. Evidential value of such materials is often doubtful or even insignificant, first of all, because of difficulties with verification of their authenticity. It happens, however, that this type of evidence proves useful for the case. The aim of present submission is a try of critical assessment of private documents’ suitability as proof in canonical trial for marriage nullity.
    Źródło:
    Ius Matrimoniale; 2021, 32, 2; 131-143
    1429-3803
    2353-8120
    Pojawia się w:
    Ius Matrimoniale
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Orthgonality of Laguerre polynomial system
    Ortogonalność układu wielomianów Laguerre’a
    Autorzy:
    Czajkowski, Andrzej Antoni
    Powiązania:
    https://bibliotekanauki.pl/articles/136082.pdf
    Data publikacji:
    2019
    Wydawca:
    Wyższa Szkoła Techniczno-Ekonomiczna w Szczecinie
    Tematy:
    system of Laguerre polynomials
    theorem of Laguerre polynomials orthogonality
    proof
    układ wielomianów Laguerre’a
    twierdzenie o ortogonalności układu wielomianów Laguerre’a
    dowód
    Opis:
    Introduction and aim: The paper presents some Laguerre polynomials, orthogonality condition for Laguerre polynomials, recurrence formula and differential equation for Laguerre polynomials. The aim of the discussion was to give some proof of orthogonality of Laguerre polynomial system. Material and methods: Selected material based on some knowledge about Laguerre polynomials which has been obtained from the right literature. The proof of the theorem describing the orthogonality of Laguerre polynomials has been elaborated using a deduction method. Results: Has been shown some proof of the theorem describing the orthogonality of Laguerre polynomials. It has been shown an example of orthogonality testing a pair of two arbitrary Laguerre polynomials. Conclusions: In the paper has been shown the proof of theorem: The system of Laguerre polynomials is orthogonal in the interval 〈0,+∞) with weight function p(z) = zaexp(-z) for a>-1.
    Wstęp i cel: W pracy przedstawiono wielomiany Laguerre’a, warunek ortogonalności dla układu tych wielomianów, funkcję tworzącą oraz równanie różniczkowe dla wielomianów Laguerre’a. Celem rozważań było przeprowadzenie dowodu twierdzenia o ortogonalności układów wielomianów Laguerre’a. Materiał i metody: Materiał stanowiły wybrane wiadomości o wielomianach Laguerre’a uzyskane z literatury przedmiotu. W przeprowadzonym dowodzie zastosowano metodę dedukcji. Wyniki: Pokazano dowód twierdzenia o ortogonalności układów wielomianów Laguerre’a. Podano przykład badania ortogonalności pary dwóch dowolnych wielomianów Laguerre’a. Wniosek: W pracy przeprowadzono dowód twierdzenia: Układ wielomianów Laguerre’a jest ortogonalny w przedziale 〈0,+∞) z wagą p(z) = zaexp(-z) dla a>-1.
    Źródło:
    Problemy Nauk Stosowanych; 2019, 10; 37-44
    2300-6110
    Pojawia się w:
    Problemy Nauk Stosowanych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Orthogonality of Legendre polynomials
    Ortogonalność wielomianów Legendre’a
    Autorzy:
    Czajkowski, A. A.
    Ignaczak, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/135970.pdf
    Data publikacji:
    2015
    Wydawca:
    Wyższa Szkoła Techniczno-Ekonomiczna w Szczecinie
    Tematy:
    wielomiany Legendre'a
    układ wielomianów Legendre’a
    twierdzenie o ortogonalności
    dowód
    system of Legendre polynomials
    orthogonality theorem
    theorem of Legendre polynomials orthogonality
    proof
    Opis:
    Introduction and aim: The paper presents some Legendre polynomials, orthogonality condition for Legendre polynomials, recurrence formula and differential equation for Legendre polynomials. The aim of the discussion was to give some proof of orthogonality of Legendre polynomial system. Material and methods: Selected material based on some knowledge about Legendre polynomials which has been obtained from the right literature. The proof of the theorem describing the orthogonality of Legendre polynomials has been elaborated using a deduction method. Results: Has been shown some proof of the theorem describing the orthogonality of Legendre polynomials. It has been shown an example of orthogonality testing a pair of two arbitrary Legendre polynomials. Conclusions: In the paper has been shown the proof for theorem: The system of Legendre polynomials is orthogonal in the interval <-1,1> with the weighting function p(z)=1 .
    Wstęp i cel: W pracy przedstawiono wielomiany Legendre’a, warunek ortogonalności dla układu tych wielomianów, funkcję tworzącą oraz równanie różniczkowe dla wielomianów Legendre’a. Celem rozważań było przeprowadzenie dowodu twierdzenia o ortogonalności układów wielomianów Legenre’a. Materiał i metody: Materiał stanowiły wybrane wiadomości o wielomianach Legendre’a uzyskane z literatury przedmiotu. W przeprowadzonym dowodzie zastosowano metodę dedukcji. Wyniki: Pokazano dowód twierdzenia o ortogonalności układów wielomianów Legenre’a. Podano przykład badania ortogonalności pary dwóch dowolnych wielomianów Legendre’a. Wniosek: W pracy przeprowadzono dowód twierdzenia: Układ wielomianów Legendre’a jest ortogonalny w przedziale ,<-1,1> z wagą p(z)=1.
    Źródło:
    Problemy Nauk Stosowanych; 2015, 3; 85-90
    2300-6110
    Pojawia się w:
    Problemy Nauk Stosowanych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Walor dowodowy confessio simulantis w orzecznictwie Trybunału Roty Rzymskiej
    A proof value of confessio simulantis in the Roman Rota Judicature
    Autorzy:
    Góralski, Wojciech
    Powiązania:
    https://bibliotekanauki.pl/articles/1804878.pdf
    Data publikacji:
    2019-11-16
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    małżeństwo
    nieważność małżeństwa
    dowód
    symulacja zgody małżeńskiej
    wyznanie symulanta
    marriage
    invalidity of marriage
    proof
    simulation of marriage consent
    a confession of a person simulating marriage
    Opis:
    Znaczącym novum KPK z 1983 r. jest nadanie waloru dowodowego oświadczeniom stron w sprawach nullitatis matrimonii (can. 1536 § 2), co powtarza instrukcja Dignitas connubii (art. 180 § 1). Ponadto w art. 181 tejże instrukcji stwierdza się, iż gdy chodzi o zeznania stron pozasądowe przeciwko ważności małżeństwa oraz inne ich oświadczenia pozasądowe przedstawione w sądzie, to do sędziego należy ocena ich znaczenia, po wzięciu pod uwagę wszystkich okoliczności. Z kolei motu proprio Franciszka Mitis Iudex stanowi, iż w sprawach o nieważność małżeństwa zeznanie sądowe i oświadczenia stron, wsparte znacząco przez świadków co do ich wiarygodności, mogą mieć moc pełnego dowodu, którą winien ocenić sędzia, uwzględniając wszystkie wskazówki i poszlaki. Analiza orzecznictwa Roty Rzymskiej w sprawach z symulacji pozwala poznać szereg wypracowanych przez ten trybunał zasad interpretacyjnych w odniesieniu zarówno do confessio iudicialis, jak i extraiudicialis. Jednocześnie potwierdza, że walor dowodowy w postaci confessio simulantis w obszarze wymienionej kategorii spraw jest znaczący.
    An important novum in the Code of Canon Law dated 1983 is placing a proof value on statements of parties in nulliatits matrimonii cases (can. 1536 § 2), which is repeated in Dignitas connubii Instruction (art. 180 § 1). What is more, it is stated in art. 181 of this Instruction that when it comes to extrajudicial statements of parties concerning the validity of marriage as well as other their extrajudicial statements presented in court, it is a judge whose role is to evaluate their importance, after considering all circumstances. Francis’ Mitis Iudex motu proprio on the other hand states that in cases on the validity of marriage court testimonies and statements of parties, the credibility of which is importantly supported by witnesses, can serve as full evidence, which should be evaluated by a judge who takes all hints and circumstantial evidence into account. The analysis of the Roman Rota judicature in cases on simulation enables to learn about a number of interpretational rules developed by this tribunal both in relation to confession iudicialis and extraiudicalis. At the same time it confirms that the proof value in the form of confession simulantis in the area of the abovementioned category of matter is of importance.
    Źródło:
    Roczniki Nauk Prawnych; 2016, 26, 1; 91-124
    1507-7896
    2544-5227
    Pojawia się w:
    Roczniki Nauk Prawnych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Propozycja wykładni zasady zakazu spożywania owoców z zatrutego drzewa – przyczynek do dyskusji
    Autorzy:
    Kotowski, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/1788191.pdf
    Data publikacji:
    2015-09-01
    Wydawca:
    Polska Akademia Nauk. Instytut Nauk Prawnych PAN
    Tematy:
    teoria prawa
    owoc z zatrutego drzewa
    postępowanie karne
    dowód
    zakaz
    zasady procesowe
    theory of law
    the fruit of the poisonous tree
    criminal proceedings
    proof
    prohibition
    principles of court proceedings
    Opis:
    The article presents theoretical issues related to the interposition to Polish criminal procedure rules known as „prohibition of eating the fruit of the poisonous tree”. The study addressed the following issues: 1) the interpretation of the article 168a of the Code of Criminal Procedure in the version after 1 July 2015; 2) some of the issues related to the possible problems with applicaton of this rule, and 3) axiology and theoretical legitimacy of this regulation.
    Źródło:
    Studia Prawnicze; 2015, 2 (202); 5-36
    0039-3312
    2719-4302
    Pojawia się w:
    Studia Prawnicze
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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