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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 56
Tytuł:
Polyadic algebras over nonclassical logics
Autorzy:
Pigozzi, Don
Salibra, Antonino
Powiązania:
https://bibliotekanauki.pl/articles/1361079.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic
Opis:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Źródło:
Banach Center Publications; 1993, 28, 1; 51-66
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ray class fields of global function fields with many rational places
Autorzy:
Auer, Roland
Powiązania:
https://bibliotekanauki.pl/articles/1206772.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
ray class fields
global function fields
characteristic p
curves with many rational points
S-class numbers
Źródło:
Acta Arithmetica; 2000, 95, 2; 97-122
0065-1036
Pojawia się w:
Acta Arithmetica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Opis szeregujący a logiki wielowartościowe. J. N. Martina próba interpretacji systemu Łukasiewicza
Ordering description and many-valued logics. J. N. Martin’s attempt at interpretation of Lukasiewicz’s system
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016146.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika nieklasyczna. logika wielowartościowa
negacje
historia filozofii
neoplatonizm
podział logiczny
klasyfikacja
szeregowanie
non-classical logic
many-valued logic
negation(s)
history of philosophy
neoplatonism
logical division
classification
ordering
Opis:
The article presents two attempts at applying J. Lukas iewicz's three-valued logic to analysis of the so-called gradable properties: T. Czeżowski's so-called ordering logics and J. Martin's attempt to connect Lukas iewicz's logic and the neo-Platonian hierarchy of entities. Unfortunately, those attempts were not successful. It can be noticed that in his approach Czeżowski mixed up gradability of truth with gradability of other properties. Martin found that Lukasiewicz's enriching of the division between truth and falsity with a third value suggests some neo-Platonian ontology in which truth - interchangeable with entity - is subject to gradation. However, he does not give an intuitively convincing way of reducing Lukas iewicz's threevalued logic to the corresponding Boole's algebra of compound properties (hence, to a structure belonging to the classical logic).
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 167-183
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logicy i logika a poznanie przyrody
Logicians and Logic on Study of Nature
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013931.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
funktor nieprawdziwościowy
dwuwartościowy rachunek zdań
wielowartościowy rachunek zdań
logic
truth-functional operator
not truth-functional operator
two valued propositional calculus
many-valued propositional calculus
Opis:
Starting from the 1930s logicians tackled problems connected with applicability of logic in natural sciences and in many cases they tried to practically apply logic in these sciences. In the article entitled ‘Logicians and logic on study of nature’ it is stressed that the broadly understood formal logic supplies natural sciences, and especially physics, with a paradigm for a method of ordering theses. It is also shown what application of logic laws to natural sciences consists in, and theses are formulated concerning what the laws of classical propositional calculus state. A lot of attention is devoted to the language of modern and contemporary physics. Modern and contemporary physics uses two languages, i.e. the mathematical language and the so-called notional language. The logic of the former language is classical logical calculus. In connection with the notional language logicians construed a lot of systems of non-classical logics in which laws are given that govern the correct use of non-extensional operators connected with such terms occurring in natural sciences as “time”, “cause”, “change” etc. The language of well construed systems of non-classical logics may serve saving, storing and precise communicating the results obtained on the ground of natural sciences.
Źródło:
Roczniki Filozoficzne; 2005, 53, 1; 129-142
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The lattice of varieties of fibered automata
Autorzy:
Mućka, Anna
Powiązania:
https://bibliotekanauki.pl/articles/728906.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
fibered automata
many-sorted algebras
varieties of many-sorted algebras
lattice of varieties
Opis:
The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 87-107
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013395.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief
Opis:
The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013349.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic
Opis:
Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 129-157
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Many-Valued Gates for Reducing the Chip-Area of Integrated Circuits
Autorzy:
Novikov, S.
Powiązania:
https://bibliotekanauki.pl/articles/92803.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
programmable logic array
logical synthesis
semi-custom integrated circuit
many valued gate
reducing of chip-area
Opis:
In this paper are proposed new many-valued gates K-PLA, T(2/K) and T(K/2) for a logical synthesis of digital integrated circuits. The semi-custom integrated circuit K-PLA has the architecture of a Programmable Logic Array of a type AND-OR and includes new K-valued valves MAX, MIN and GATE(A,j). A gate T(2/K) ( T(K/2)) is intended for transformation binary (K-valued ) entrance words into K-valued (binary) output words. The method of the logical synthesis with the use K-PLA, T(2/K) and T(K/2) allows to reduce nearly three times the chip-area, which is essential for placing of the circuit’s realization of the system of partial Boolean functions .
Źródło:
Studia Informatica : systems and information technology; 2007, 1(8); 7-17
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effect of electronelectron correlations on positron-electron momentum density distributions
Autorzy:
Boroński, E.
Powiązania:
https://bibliotekanauki.pl/articles/146328.pdf
Data publikacji:
2010
Wydawca:
Instytut Chemii i Techniki Jądrowej
Tematy:
positron annihilation
electronic structure
many-body physics
Opis:
The calculations of the influence of the self-energy effects on the electron-positron (e-p) enhancement factors and the e-p momentum distributions are presented. The approach bases on the novel formulation of the Bethe- -Goldstone (B-G) equation for the positron in an electron gas where the scattering of the electrons into the states below the Fermi surface due to the self-energy effects is allowed. This equation has been solved and the corresponding e-p enhancement factors and momentum distributions have been found. The agreement between the absolute values of the theoretical calculations and experimental data has improved noticeably.
Źródło:
Nukleonika; 2010, 55, 1; 3-8
0029-5922
1508-5791
Pojawia się w:
Nukleonika
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analyzing the Possibility of Modeling the Specificity of an Individual Stock Market Investors Behavior
Analiza możliwości modelowania specyfiki zachowań giełdowych inwestorów masowych
Autorzy:
Michałowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/305887.pdf
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
giełda
inwestorzy masowi
modele zachowań
wieloosobowa gra kooperacyjna
gra z kontinuum graczy
użyteczność oczekiwana
stock market investors
mass investors
models of behavior
cooperative many-player game
game with a continuum of players
expected utility
Opis:
The paper presents various methods of modeling an individual stock market investors' behavior. The author analyzed the possibility of using approaches related to the theory of expected utility, prospect theory, game theory and other studies on this subject. The article is the result of efforts to create an adequate model in order to investigate the specificity of the decision-making behavior of the so-called individual stock market investors.
W artykule przedstawiono różne metody modelowania zachowań giełdowych inwestorów masowych. Dokonano analizy możliwości wykorzystania podejść związanych z teorią oczekiwanej użyteczności, teorią perspektyw, z teorią gier oraz inne badania dotyczące tego tematu. Artykuł jest wynikiem prac nad opracowaniem adekwatnego modelu pozwalającego badać specyfikę zachowań decyzyjnych tzw. giełdowych inwestorów masowych.
Źródło:
Biuletyn Instytutu Systemów Informatycznych; 2011, 8; 53-58
1508-4183
Pojawia się w:
Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Potencjał adaptacyjny osób pochodzących z rodzin wielodzietnych
Adaptation Potential in People Coming from Families with Many Children
Autorzy:
Kalinowski, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/31343005.pdf
Data publikacji:
2011
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rodzina wielodzietna
potencjał
adaptacja
zasoby
kapitał społeczny
family with many children
potential
adaptation
resources
social capital
Opis:
Adults' adaptation troubles that have family background first of all result from dysfunctionality of the family system. A family with many children should not be identified with a problem family. Dysfunctions of the family system may concern any family, irrespective of the number of children in it. Adaptation troubles of persons coming from families with many children first of all result from: the stereotype of a family with many children functioning in the society; the material poverty of the family triggering other forms of cognitive, social, cultural poverty; and deficits in the parents' psycho-social and educational competences. In Poland various initiatives are launched that are directed to families with many children. Undoubtedly such enterprises favor development not only of the very families, but of the whole society as well. However, there are a lot of deficits in the policies directed to the family, especially one with many children. The deficits are observed mainly on the following levels: the macro-social one – a deficit of institutional support for families, especially ones with many children; this type of support requires a change in the binding law regulations and directives resolving social policies towards families, including ones with many children; the micro-social level, where there is a need to support families by means of various systems of social care (natural and specialist ones); this type of aid requires reliable knowledge about problem families areas (about the need for support) and qualified staff giving the care.
Źródło:
Roczniki Nauk o Rodzinie; 2011, 3; 5-20
2081-2078
Pojawia się w:
Roczniki Nauk o Rodzinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design and Development of a UDP-Based Connection-Oriented Multi-Stream One-to-Many Communication Protocol
Autorzy:
Stanciu, V.
Andreica, M. I.
Olaru, V.
Tăpuş, N.
Powiązania:
https://bibliotekanauki.pl/articles/308499.pdf
Data publikacji:
2012
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
communication protocol
connection oriented
multiple streams
one-to-many
Opis:
A communication protocol is a set of rules defined formally that describes the format of digital messages and the rules for exchanging those messages in or between computing systems. The Internet Protocol Suite used for communications throughout the Internet uses encapsulation to provide a way of abstracting protocols and services. This abstraction is grouped into layers of general functionality. For protocols on the transmission layer, many choices exist. But while popular protocols such as TCP, UDP and SCTP do provide connection oriented communication offering reliability, ordering and data integrity, solutions that offer such connections from one point to multiple endpoints are still limited. TCP only supports point-to-point communication and SCTP offers multi-homing functionality, but the transmission is still limited to two logical endpoints. In this paper we use the simple, stateless, transmission model of UDP in order to provide TCP-like services for one-to-many communication that is not limited to just multi-homing or other particular solutions. The protocol supports reliable communication from one endpoint to multiple endpoints in different transmission modes. In order to make it easier for developers to customize the protocol to their needs and possibly extend/modify it in order to create new variants from it, the protocol is developed in user space. Because of this design restriction performance wasn't the main objective of our work, but rather the ease of customization and experimentation with new protocol variants. The protocol was implemented in the C++ programming language using classes with virtual members. New variants of components, such as packet retransmission, can easily be implemented without changing the whole code base.
Źródło:
Journal of Telecommunications and Information Technology; 2012, 1; 3-15
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
Autorzy:
Bażyk, Albert Przemysław
Powiązania:
https://bibliotekanauki.pl/articles/429119.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
two-valued logic
many-valued logic
expansion of classical logic
modal logic
semantic supervaluationism
semantic subvaluationism
the FOUR double lattice
Belnap’s four-valued logic
Opis:
An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.
Źródło:
Semina Scientiarum; 2012, 11
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Postrzeganie rodzin wielodzietnych przez młodzież studiującą w Polsce i na Ukrainie. Raport z badań
Perception of large families as found in young people studying in Poland and Ukraine. A report of research
Autorzy:
Smygur, Lyudmyla
Powiązania:
https://bibliotekanauki.pl/articles/1811477.pdf
Data publikacji:
2012
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rodzina wielodzietna
postrzeganie
czynniki warunkujące
młodzież
Polska
Ukraina
many children families
perception
factors defining
students
Polska
Ukraine
Opis:
The main aim of the present article is to show what students from Poland and Ukraine think about families with many children. The text includes information about this phenomenon in both countries and results of the research which compares many children families from Poland and Ukraine. The minority of families are these with many children in both countries. Nowadays people are afraid of having a lot of children. It can result from the financial problems of the family. Very often people also perceive children as an obstacle to the self-realization. It seems that social perception of many children families creates the feeling of amazement and compassion rather than kindness. The results obtained in the research show that young people from Poland and Ukraine reinforce families with many children. In spite of the fact, there are differences in the way of perceiving many children families by students in Poland and Ukraine, namely Ukrainians are more optimistic in this matter than Poles. The results also indicate that there are various factors which influence on the difference of opinion including political and economic factors, religious, cultural, environmental and emotional factors. Nowadays, many children families need the great support from the society and the state. It is worth showing the advantages of large families which positively influence on the state. It is also important to pay attention on families with many children because this phenomenon is vulnerable to many threats.
Źródło:
Roczniki Pedagogiczne; 2012, 4(40), 2; 131-144
2080-850X
Pojawia się w:
Roczniki Pedagogiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ILP modeling of many-to-many replicated multimedia communication
Autorzy:
Walkowiak, K.
Bulira, D.
Careglio, D.
Powiązania:
https://bibliotekanauki.pl/articles/308697.pdf
Data publikacji:
2013
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
ILP modeling
many-to-many communication
network optimization
replica location
Opis:
On-line communication services were evolving from a simple text-based chats towards sophisticated videopresence appliances. The bandwidth consumption of those services is constantly growing due to the technology development and high user and business needs. That fact leads us to implement optimization mechanisms into the multimedia communication scenarios. In this paper, the authors concentrate on many-to-many (m2m) communication, that is mainly driven by the growing popularity of on-line conferences and telepresence applications. An overlay model where m2m flows are optimally established on top of a given set of network routes is formulated and a joint model where the network routes and the m2m flows are jointly optimized. In the models, the traffic traverses through replica servers, that are responsible for stream aggregation and compression. Models for both predefined replica locations and optimized server settlement are presented. Each model is being followed by a comprehensive description and is based on real teleconference systems.
Źródło:
Journal of Telecommunications and Information Technology; 2013, 3; 56-65
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 56

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