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: 7

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote A Formalization of a Logic Without Tautologies
100%
Bryll G. , Chotomska A. , Jaworski L.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2000/2001
|
tom Vol. 8
11--12
2
Content available remote Formalization of the Sentential Logic Dual to Łukasiewicz’s Three-valued Logic
100%
Górnicka A.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2006
|
tom Vol. 11
41--50
EN
Dual logics with respect to Łukasiewicz’s logics were investigated by G. Malinowski, M. Spasowski and R. Wójcicki in [4,5]. Our aim is to discuss the generalized method of natural deduction for the logic which is dual to Łukasiewicz’s three-valued logic.
3
Content available remote The Principles of Creating the Critical Path of the Formation
100%
Borowik A. , Piech H.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
1998
|
tom Vol. 4
74-84
EN
Assumptions and the algorithm for creating the critical path the formation of variables have been presented for programming procedures. The algorithm is based on the parallelization map and information related to the actions that are performed when calculating the values of variables in the particular phases of parallelization. Also, information was used in the algorithm for the analysis, which related to the time of the execution of the particular actions, and each time the time of the operation of each node was determined. i.e. the time of the calculation of a variable in the particular phase of its modification. The critical paths created are used for the optimization of distribution in multi-processor systems with a limited number of conversion nodes.
4
Content available Status możliwości w logice trójwartościowej Jana Łukasiewicza
84%
Balcerak P.
Galicja. Studia i materiały
|
2022
|
nr 8: "Filozofia w Galicji III"
169-178
EN
This paper will examine the motivations behind Jan Łukasiewicz’s rejection of the principle of bivalence. In particular, the relationship between the category of possibility and the logical value of judgements will be examined. This category is clearly linked to the view of the determinism/ indeterminism controversy presented by Łukasiewicz. The paper will close with remarks on the statute of possibility and an attempt to answer the question whether Łukasiewicz’s approach can be treated as something more than an intellectual exercise in constructing formal tools corresponding to certain conventions.
PL
W artykule przeanalizowane zostaną motywacje odrzucenia przez Jana Łukasiewicza zasady dwuwartościowości. W szczególności badanie dotyczyć będzie relacji między kategorią możliwości a wartością logiczną sądów. Kategoria ta jednoznacznie łączy się ze spojrzeniem na kontrowersję determinizm/indeterminizm prezentowanym przez Łukasiewicza. Pracę zamkną uwagi o statucie możliwości i próba odpowiedzi na pytanie, czy podejście Łukasiewicza może być traktowane jako coś więcej niż tylko intelektualne ćwiczenie w konstruowaniu narzędzi formalnych odpowiadających pewnym konwencjom.
5
Content available remote The Procedures of the Assigvment of Tasks Distribution for Parallel Processors System
84%
Borowik A. , Piech H.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
1998
|
tom Vol. 4
63-73
EN
In this paper one of possible optimum conditions distribution processes algorithmes with precised (limited) number of processors is described. This method accepts that realization lines of particular variavles with initial supplementary procedures application are specified earlier. Results are produced as a time-vectors of particular rules realization with determine each variable creation stages. In this algorithm criterions relavant with minimalization following rules expection of time which determine particular variable creation stages and also with conferment highest priorites lines which are characterized by langest realization time is regarded. Moreover in investigations is experimentated a simulation program of proposed algorithm.
6
Content available Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
84%
Lakomy M.
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura
|
2019
|
nr 11(1) "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych"
5-14
PL
W pracy zaprezentowano dwa nurty dyskusji na temat postprawdy. Pierwszy konserwatywno-krytyczny, zasadzający się na konieczności odrzucenia tego pojęcia jako nienaukowego i szkodliwego. W tym kontekście uznano bowiem, iż termin ten jest sprzeczny z dorobkiem filozofii, logiki klasycznej i nauki społecznej Kościoła katolickiego. Drugi z kolei nurt–liberalno-kontraktualistyczny – poszukuje uzasadnienia dla zjawiska postprawdy w logice nieklasycznej, trójwartościowej i rozmytej.
EN
The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful. In this context, it was recognized that this term contradicts the achievements of philosophy, classical logic and the social teaching of the Catholic Church. The second in the current – liberal – countercurrent – seeks to justify the phenomenon of post-truth in non-classical, trivalent and fuzzy logic.
7
Podstawowe operacje logiki trójwartościowej w oparciu o Różnicową Technikę Prądową
59%
Gołofit K.
Elektronika : konstrukcje, technologie, zastosowania
|
2011
|
tom Vol. 52, nr 9
151-154
PL
Bezpieczeństwo układów kryptograficznych w ostatnich latach zostało poważnie zagrożone poprzez metody zaliczane do kategorii ataków typu Side-channel (SCA). Techniki "łamania" sprzętu okazały się być dużo bardziej skuteczne (szybsze i tańsze) w porównaniu do technik klasycznej kryptoanalizy. W obronie przed SCA powstał szereg implementacji zabezpieczających układy przed ulotem informacji (poprzez prąd zasilania czy promieniowanie elektromagnetyczne), a między nimi także Różnicowa Technika Prądowa (RTP). W niniejszym artykule przedstawiono i publikowano po raz pierwszy, układy temarnego dodawania i mnożenia - wykonane w oparciu o bramki RTP. Właściwości arytmetyki różnicowo-prądowej pozwalają zrealizować każdą z tych operacji przy użyciu zaledwie dwóch bramek RTP, co czyni te układy konkurencyjnymi w stosunku do analogicznych realizacji wykorzystujących tradycyjne bramki CMOS.
EN
In recent years, the security of cryptographic circuits was threatened by the methods called Side-channel Attacks (SCA). "Breaking" circuits appeared to be much more efficient (faster and cheaper) in comparison to the classical cryptanalysis. In the opposite part of research, countermeasures against leaking data from the circuits were invented (against side channels like power current or electromagnetic emanation) and in between also the Differential Current Mode Technology (DCMT). In this article were presented. and published for the first time, circuits for ternary addition and multiplication - based on DCMT gates. Features of differential and current arithmetic allow to performe each of these functions by using only two DCMT gates. This accomplishment makes the DCMT circuits competitive in comparison to circuits based on traditional CMOS gates.
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ć.