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ę "axiomatization" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Najkrótsze aksjomaty modalnej logiki Łukasiewicza
    The Shortest Axioms of Łukasiewicz’s Modal Logic
    Autorzy:
    Dywan, Zdzisław
    Powiązania:
    https://bibliotekanauki.pl/articles/488405.pdf
    Data publikacji:
    2016
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    aksjomatyzacja
    logika modalna
    axiomatization
    modal logic
    Opis:
    Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.
    We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
    Źródło:
    Roczniki Filozoficzne; 2016, 64, 2; 5-9
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rola aksjomatu w matematyce współczesnej oraz w perspektywie dociekań nad aksjomatem wyboru
    The role of axioms in contemporary mathematics in the view of investigations on axiom of choice
    Autorzy:
    Lewandowska, Katarzyna
    Powiązania:
    https://bibliotekanauki.pl/articles/691223.pdf
    Data publikacji:
    2011
    Wydawca:
    Copernicus Center Press
    Tematy:
    axiomatization
    axioms
    axiom of choice
    continuum hypothesis
    Opis:
    We show how philosophy effected the shape of mathematics when the proof of Well-Ordering Principle was formulated by Ernst Zermelo. We also consider the significance of philosophy of mathematics today. We concentrate on Solomon Feferman and Penelope Maddy attitude in the recent debate on the need of new axioms in mathematics.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2011, 48; 148-165
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    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ł:
    Axiomatization of divisor methods and weakly degressive proportionality
    Autorzy:
    Dniestrzański, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/421295.pdf
    Data publikacji:
    2017
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    degressive proportionality
    fair division
    axiomatization of divisor methods
    Opis:
    The paper analyzes the differences between weakly degressive proportionality and proportional allocations represented by divisor methods. The analysis is accomplished by the axiomatization of divisor methods in line with Balinski and Young.
    Źródło:
    Didactics of Mathematics; 2017, 14(18); 19-26
    1733-7941
    Pojawia się w:
    Didactics of Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The benefit of the metaphor “contract” for understanding of concept formation in mathematics
    Autorzy:
    Nowińska, Edyta
    Powiązania:
    https://bibliotekanauki.pl/articles/749150.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    metaphor
    negative numbers
    systemic thinking, axiomatization, local and global organization
    Opis:
    The paper reports on a design and research project conducted in a secondary school on the Indonesian island Sumba. The aim of this project is to foster students’ understanding in learning mathematics and, consequently, to educate them better for their career opportunities. The essential idea is thereby to use the introduction of negative numbers and arithmetic operations on integers as a backgroundmotivating the learners to a new cognitive behavior, especially to critical thinking, monitoring and reflection. The new approach to teaching and learning uses the metaphor contract as a representation of a specific way of thinking when dealing with systems of concepts. Thereby, the systemic thinking in the sense of Sierpinska (Sierpinska et al., 2002; Sierpinska, 2005) and axiomatic thinking in the sense of Freudenthal (1963; 1968, p. 7) are meant. To establish this metaphor in students’ minds, a learning environment (LE) for the introduction of negative numbers was designed. Since the context used in this learning environment relates to banking operations with assets and debts in a fictitious bank, the learners conceive this context as a kind of game and not as a part of their everyday experience. Their activities are performed in a thought experiment and not as hands-on activities with concrete objects. The problem in designing the LE was how to find access to students’ intuitive knowledge related to integers and to reconstruct the intuitively understood way of dealing with these numbers and not how to find a simple way to make arithmetic calculations quickly. The emphasis is placed thereby on the process of reconstruction and precise representation of the intuitive knowledge up to a contractual (axiomatic) definition of addition, subtraction and the inverse of a number in the realm of integers. The access is created through the use of the metaphor “contract”. In the LE, the learners have to conclude a contract with the bank in order to achieve that the bank performs banking operations in a way which can be accepted by the students, based on their intuitive knowledge on debts and assets.Based on students’ written works, the paper presents some effects and explains the benefits of using the metaphor “contract”. The aim of this qualitative analysis of students’ solutions is not to provide the reader with a quantitative explanation of the teaching success, but to document and explain the intended understanding, in particular, the axiomatic view and some aspects of the systemic thinking as they are indicated in the effects of the teaching and learning process documented in this paper. It can be stated that the metaphor “contract” enables the learners to experience mathematics as human activity (Freudenthal, 1991, p. 14) – in particular as an “activity of discovering and organizing in an interplay of content and form” (ibid., p. 15) – and to use this experience in order to establish new cognitive habitus in learning mathematics.
    Źródło:
    Didactica Mathematicae; 2014, 36
    2353-0960
    Pojawia się w:
    Didactica Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problem aksjomatyzacji teorii socjologicznych
    THE PROBLEM OF SOCIOLOGICAL THEORIES AXIOMATIZATION
    Autorzy:
    Szmatka, Jacek
    Powiązania:
    https://bibliotekanauki.pl/articles/427041.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    PHILOSOPHY OF SCIENCE
    SOCIOLOGICAL THEORIES
    THEORETICAL STATEMENTS
    THEORY AXIOMATIZATION
    VALUE OF INFORMATION
    Opis:
    The author presents the features of axiomatized theories, and - as a keen supporter of a view that sociological theories can be axiomatized - suggests that informal axiomatization is most suitable for sociological theories. Departing from the rules for statement proving presented by Karl Popper the author analyses three interrelated values describing a theoretical statement: universality, precision and value of information. In this perspective theoretical statement is a statement which possesses high value of information, which has not been falsified. In the last part of the article the author undertakes a set of deductive procedures in order to axiomatize the conflict within a role and conflict of roles theory. He concludes that axiomatization leads to higher accuracy of theoretical apparatus, makes theories more valuable in explanatory and heuristic terms and allows undertaking methodological operations new to sociological theories such as theoretical reduction.
    Źródło:
    Studia Socjologiczne; 2011, 1(200); 157-182
    0039-3371
    Pojawia się w:
    Studia Socjologiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Axiomatization of utility, outranking and decision rule preference models for multiple-criteria classification problems under partial inconsistency with the dominance principle
    Aksjomatyka modeli użyteczności, przewyższania i reguł decyzyjnych w zadaniach wielokryterialnej optymalizacji w warunkach częściowej niespójności z zasadą dominacji
    Autorzy:
    Słowiński, R.
    Greco, S.
    Matarazzo, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/205853.pdf
    Data publikacji:
    2002
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    aksjomatyka
    klasyfikacja wielokryterialna
    kryteria porządkowe
    modelowanie preferencji
    pomiary jednoczesne
    reguły decyzyjne
    zbiory przybliżone
    axiomatization
    conjoint measurement
    decision rules
    multiple criteria classification
    ordinal criteria
    preference modeling
    rough sets
    Opis:
    Multiple-criteria classification (sorting) problem concerns assignment of actions (objects) to some pre-defined and preference-ordered decision classes. The actions are described by a finite set of criteria, i.e. attributes, with preference-ordered scales. To perform the classification, criteria have to be aggregated into a preference model which can be: utility (discriminant) function, or outranking relation, or "if..., then..." decision rules. Decision rules involve partial profiles on subsets of criteria and dominance relation on these profiles. A challenging problem in multiple-criteria decision making is the aggregation of criteria with ordinal scales. We show that the decision rule model we propose has advantages over a general utility function, over the integral of Sugeno, conceived for ordinal criteria, and over an outranking relation. This is shown by basic axioms characterizing these models. Moreover, we consider a more general decision rule model based on the rough set theory. The advantage of the rough set approach compared to competitive methodologies is the possibility of handling partially inconsistent data that are often encountered in preferential information, due to hesitation of decision makers, unstable character of their preferences, imprecise or incomplete knowledge and the like. We show that these inconsistencies can be represented in a meaningful way by "if..., then..." decision rules induced from rough approximations. The theoretical results reported in this paper show that the decision rule model is the most general aggregation model among all the considered models.
    Wielokryterialne zadania klasyfikacji (sortowania) dotyczą przypisania działan (obiektów) pewnym z góry określonym i uporządkowanym wzgl(c)dem preferencji klasom. Działania są opisane przez skończony zbiór kryteriów, tj. atrybutów o skalach uporządkowanych według preferencji. Aby dokonać klasyfikacji, kryteria muszą zostać zagregowane do modelu preferencji, którym może być: funkcja użyteczności (dyskryminująca), bąd" relacja przewyższania, bąd" reguła decyzyjna typu "jeśli..., to...". Reguły decyzyjne oparte są na cz(c)ściowych profilach na podzbiorach kryteriów i relacji dominacji na tych profilach. Wyzwaniem w wielokryterialnym podejmowaniu decyzji jest agregacja kryteriów o skalach porządkowych. Pokazujemy w artykule, że model reguł decyzyjnych, zaproponowany przez nas, jest korzystniejszy niż ogólna postać funkcji użyteczności, niż całka Sugeno zaproponowana dla kryteriów porządkowych, i niż relacja przewyższania. Pokazano to przy pomocy podstawowych aksjomatów charakteryzujących rozważane modele. Ponadto, rozważamy ogólniejszy model reguł decyzyjnych, oparty na teorii zbiorów przybliżonych. Korzyścią z zastosowania zbiorów przybliżonych w porównaniu do innych podejść jest możliwość uwzgl(c)dniania cz(c)ściowo niespójnych danych, jakie cz(c)sto spotyka si(c) informacji o preferencjach, w związku z wahaniami decydentów, niestabilnością ich preferencji, niedokładną wiedzą, itp. Pokazujemy, że takie niespójności mogą być reprezentowane w sposób sensowny poprzez reguły decyzyjne typu "jeśli..., to...", wyprowadzone z ocen dokonanych przy pomocy zbiorów przybliżonych. Wyniki teoretyczne przedstawione w pracy pokazują, że model reguł decyzyjnych jest najogólniejszym modelem agregacji spośrod wszystkich rozważanych modeli.
    Źródło:
    Control and Cybernetics; 2002, 31, 4; 1005-1035
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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