Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logika" wg kryterium: Temat


Tytuł:
Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej : recenzja
Autorzy:
Wojtylak, Piotr. Recenzent
Współwytwórcy:
Glenszczyk, Anna. Autor pracy
Data publikacji:
2017
Wydawca:
Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:
Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 3921
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł
Tytuł:
Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej : recenzja
Autorzy:
Schubert, Aleksy. Recenzent
Współwytwórcy:
Glenszczyk, Anna. Autor pracy
Data publikacji:
2017
Wydawca:
Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:
Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 3921
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł
Tytuł:
Programowanie w logice z ograniczeniami: łagodne wprowadzenie dla platformy ECLIPSe
Autorzy:
Niederliński, Antoni
Data publikacji:
2014
Wydawca:
Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego
Słowa kluczowe:
logika
programowanie
Pokaż więcej
Źródło:
Kolekcja prywatna
Dostawca treści:
Śląska Biblioteka Cyfrowa
Książka
Tytuł:
Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej : streszczenie
Autorzy:
Glenszczyk, Anna
Współwytwórcy:
Połacik, Tomasz. Promotor
Data publikacji:
2017
Wydawca:
Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:
Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 3921
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Książka
Tytuł:
Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej
Autorzy:
Glenszczyk, Anna
Współwytwórcy:
Połacik, Tomasz. Promotor
Data publikacji:
2017
Wydawca:
Uniwersytet Śląski. Wydział Matematyki, Fizyki i Chemii
Słowa kluczowe:
Intuicjonistyczna Logika Kontrolna
informatyka
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 3921
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Książka
Tytuł:
A certain approach to Kripke semantics for normal modal logics
Autorzy:
Bryll, G.
Sochacki, R.
Data publikacji:
2009
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Pokaż więcej
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
2450-9302
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sur les truth-functions au sens de MM. Russell et Whitehead
Autorzy:
Tajtelbaum-Tarski, Alfred
Data publikacji:
1924
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
truth-functions
logika
Pokaż więcej
Źródło:
Fundamenta Mathematicae; 1924, 5, 1; 59-74
0016-2736
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic
Autorzy:
Tkaczyk, Marcin
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 273-297
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza i optymalizacja zgrzewów ultradźwiękowych przewodów miedzianych z wykorzystaniem logiki rozmytej
Analysis and optimization of ultrasonic copper wires using fuzzy logic approach
Autorzy:
Zawadzki, Jacek
Jędryczka, Cezary
Data publikacji:
2019
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
zgrzewanie ultradźwiękowe
logika rozmyta
Pokaż więcej
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2019, 100; 157-166
1897-0737
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie elementów logiki rozmytej do oceny układów elektromaszynowych
Applicability of elements fuzzy logics in assessment of electro-machine systems
Autorzy:
Horodecki, A.
Data publikacji:
2006
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:
układ elektromaszynowy
logika rozmyta
Pokaż więcej
Źródło:
Maszyny Elektryczne: zeszyty problemowe; 2006, 75; 133-135
0239-3646
2084-5618
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Spór o wartość logiczną norm. Logika norm a logika deontyczna
The Discussion about the Truth Value of Norms. Logic of Norms and Deontic Logic
Autorzy:
Trypuz, Robert
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika norm
logika deontyczna
prawda
logic of norms
deontic logic
truth
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 293-316
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przegląd Socjologiczny t. 62 z. 4/2013 : Praca zbiorowa
Współwytwórcy:
K., Iwonna Red.
Starosta, Paweł Red.
Kulpińska, Jolanta Red.
Czyżewski, Marek Red.
Lutyńska, Krystyna Red.
Kaźmierska, Kaja Red.
Bokszański, Zbigniew Red.
Warzywoda-Kruszyńska, Wielisława Red.
Data publikacji:
2013
Wydawca:
Łódź : Łódzkie Towarzystwo Naukowe
Słowa kluczowe:
antagonizm
artykulacja
logika ekwiwalencji
hegemonia
punkty węzłowe
logika równoważności
dyskurs
Pokaż więcej
Tematy:
Inne
Pokaż więcej
Dostawca treści:
IBUK Libra
Książka
Tytuł:
Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Post-truth in public discourse in the context of classical logic and fuzzy logic
Autorzy:
Lakomy, Mirosław
Data publikacji:
2019
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
postprawda
logika klasyczna
logika trójwartościowa
logika rozmyta
kontraktualizm
post-truth
classical logic
trivalent logic
fuzzy logic
counter-actuality
Pokaż więcej
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura; 2019, 11, 1 "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych"; 5-14
2083-7275
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika podejmowania decyzji (podejmowanie decyzji w aspekcie klasycznej i kwantowej logiki)
Decision making logic (the classical and quantum decision making logic)
Autorzy:
Kałuski, J.
Data publikacji:
2012
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
logika klasyczna
logika kwantowa
podejmowanie decyzji
classical logic
quantum logic
decision making
Pokaż więcej
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2012, 61; 191-219
1641-3466
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:
Kiczuk, Stanisław
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
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 129-157
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zmiana wroga w sojusznika w świetle logiki bezpieczeństwa Academia Diplomatica Europaea
Changing the enemy into the ally in the light of the security logic of Academia Diplomatica Europaea
Autorzy:
Ochmann, Jerzy
Data publikacji:
2019-10-07
Wydawca:
Wyższa Szkoła Bezpieczeństwa Publicznego i Indywidualnego Apeiron w Krakowie
Tematy:
logika
logika bezpieczeństwa
Academia Diplomatica Europaea
wróg
relacja
logic
logic of security
enemy
relation
Pokaż więcej
Źródło:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje; 2019, 34; 105-140
2299-4033
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o Susan Haack rozumieniu filozofii logiki
Remarks on Susan Haack’s Conception of Philosophy of Logic
Autorzy:
Czernecka-Rej, Bożena
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Susan Haack
filozofia logiki
logika formalna
rachunek formalny
logika rozszerzona
logika dewiacyjna
philosophy of logic
formal logic
formal calculus
extended logic
deviant logic
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 23-46
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A jednak nie są trzeba bogami, lecz jednym Bogiem
And Yet They Are Not Three Gods But One God
Autorzy:
van Inwagen, Peter
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
Bóg
identyczność
logic
God
identity
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2003, 51, 1; 493-532
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stosunek logiki do dydaktyki w poglądach niektórych przedstawicieli Szkoły Lwowsko-Warszawskiej
Logic relation to didactics in the views of leading representatives of Lvov-Warsaw School
Autorzy:
Maciołek, Ryszard
Data publikacji:
2014
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
dydaktyka
logika
Kazimierz Twardowski
Kazimierz Sośnicki
Pokaż więcej
Źródło:
Przegląd Pedagogiczny; 2014, 1; 74-89
1897-6557
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:
Tkaczyk, Marcin
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 219-228
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kognitywna interpretacja operacji zdefiniowanych w trzech konstrukcjach Davida Makinsona
Autorzy:
Łukowski, Piotr
Maciaszek, Patrycja
Data publikacji:
2013-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
myślenie
rozumowanie
umysł
operacja (relacja) konsekwencji
niemonotoniczność
D. Makinson
przekonania
poznanie
reguły
inferencja
logika
logika klasyczna
Pokaż więcej
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2013, 3; 103-118
1230-1493
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
CZYM JEST PLURALIZM LOGICZNY? (STANOWISKO J.C. BEALLA I GREGA RESTALLA)
WHAT IS LOGICAL PLURALISM? (J.C. BEALL’S AND GREG RESTALL’S STANDPOINT)
Autorzy:
Czernecka-Rej, Bożena
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
pluralizm logiczny
wynikanie logiczne
poprawny system logiczny
logika klasyczna
logika intuicjonistyczna
logika relewantna
logical pluralism
logical consequence
correct logical system
classical logic
intuitionistic logic
relevant logic
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2013, 61, 1; 5-22
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rola mistycyzmu i myślenia mistycznego u Bertranda Russella
The role of mysticism and mystical thinking in Bertrand Russell
Autorzy:
Barkovskiy, Tatiana
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
logic
logic of mysticism
logical mysticism
mystical thinking
mysticism
mysticism and logic
B. Russell
logika
logika mistyczna
mistycyzm
mistycyzm i logika
mistycyzm logiczny
myślenie mistyczne
Pokaż więcej
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2022, 2; 5-26
1230-1493
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obwody logiki odwracalnej odporne na błędy
Fault tolerant reversible logic circuits
Autorzy:
Dobrzański, M.
Pniewski, R.
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
logika odwracalna
bezpieczne systemy sterowania
logika rewersyjna
bramka rewersyjna
safe control systems
reverse logic
reverse gate
Pokaż więcej
Źródło:
TTS Technika Transportu Szynowego; 2016, 12; 73-76
1232-3829
2543-5728
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:
Trzęsicki, Kazimierz
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 181-205
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uogólnione schematy i reguły wnioskowania w logice rozmytej
Autorzy:
Miś, Katarzyna
Współwytwórcy:
Baczyński, Michał. Promotor
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
sylogizm hipotetyczny
wnioskowanie przybliżone
logika rozmyta
matematyka
Pokaż więcej
Źródło:
DrBG 4298
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Książka
Tytuł:
Uogólnione schematy i reguły wnioskowania w logice rozmytej : recenzja
Autorzy:
Grzegorzewski, Przemysław. Recenzent
Współwytwórcy:
Miś, Katarzyna. Autor pracy
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
sylogizm hipotetyczny
wnioskowanie przybliżone
logika rozmyta
matematyka
Pokaż więcej
Źródło:
DrBG 4298
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł
Tytuł:
Uogólnione schematy i reguły wnioskowania w logice rozmytej : streszczenie
Autorzy:
Miś, Katarzyna
Współwytwórcy:
Baczyński, Michał. Promotor
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
sylogizm hipotetyczny
wnioskowanie przybliżone
logika rozmyta
matematyka
Pokaż więcej
Źródło:
DrBG 4298
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Książka
Tytuł:
Polowa analiza siłowników elektromagnetycznych i transformatorów
Field analysis of electromagnetic actuators and transformers
Autorzy:
Tomczuk, B.
Koteras, R.
Waindok, A.
Zimon, J.
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika wielowartościowa
enkoder
multi-valued logic
encoder
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 264-268
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przetwornik sygnałów logiki dwuwartościowej na trójwartościową z zastosowaniem wielowejściowego wzmacniacza operacyjnego
The signal converter of two-state- into three-state-logic signal with use of multiple input operational amplifier
Autorzy:
Walecki, M.
Urbańczyk, M.
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika wielowartościowa
enkoder
multi-valued logic
encoder
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 261-263
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie metod logiki rozmytej do sterowania pojazdem podwodnym w inspekcji obiektów oceanotechnicznych
Using the fuzzy logic method in steering rov for technical inspections on ocean objects
Autorzy:
Szymak, P.
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Medycyny i Techniki Hiperbarycznej
Tematy:
logika rozmyta
wykorzystanie
pojazd podwodny bezzałogowy
sterowanie
Pokaż więcej
Źródło:
Polish Hyperbaric Research; 2005, 1(10); 36-43
1734-7009
2084-0535
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Światy możliwe, światy fikcyjne, światy skonstruowane a proces genezy
Mondes possibles, mondes fictionnels, mondes construits et processus de genèse
Autorzy:
Ferrer, Daniel
Dziadek, Adam
Data publikacji:
2020-12-29
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
krytyka genetyczna
logika
światy możliwe
światy fikcyjne
Pokaż więcej
Źródło:
Forum Poetyki; 2020, 21; 30-53
2451-1404
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uogólnione schematy i reguły wnioskowania w logice rozmytej : recenzja
Autorzy:
Pękala, Beata. Recenzent
Współwytwórcy:
Miś, Katarzyna. Autor pracy
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
sylogizm hipotetyczny
wnioskowanie przybliżone
logika rozmyta
matematyka
Pokaż więcej
Źródło:
DrBG 4298
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł
Tytuł:
Modelowanie procesów z wykorzystaniem rozmytych logik epistemicznej i deontycznej
Process modelling using fuzzy epistemic and deontic logics
Autorzy:
Kędzierski, S.
Data publikacji:
2017
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
logika deontyczna
logika epistemiczna
modelowanie procesu biznesowego
funkcje rozmyte
modelling business process
epistemic logics
deontic logics
fuzzy functions
Pokaż więcej
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2017, 113; 175-186
1641-3466
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logic of faith and deed. The idea and an outline of the theoretical conception
Autorzy:
Wybraniec-Skardowska, Urszula
Data publikacji:
2019
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
faith
religious faith
basic notions in great religions
doxastic logic
deed
logic of deed
deontic logic
logic of faith and deed
wiara
wiara religijna
podstawowe pojęcia wielkich religii
logika doksastyczna
czyn
logika czynu
logika deontyczna
logika wiary i czynu
Pokaż więcej
Źródło:
Studia Philosophiae Christianae; 2019, 55, 2; 125-149
0585-5470
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O stosowaniu logiki przez o. Józefa Marię Bocheńskiego w wybranych pracach
Autorzy:
Nowak, Maciej
Data publikacji:
2020-12-30
Wydawca:
Naukowe Towarzystwo Tomistyczne
Tematy:
logika
logika stosowana
semiotyka
metodologia
autorytet
dyskurs religijny
analogia
logic
applied logic
semiotics
methodology
authority
religious discourse
analogy
Pokaż więcej
Źródło:
Rocznik Tomistyczny; 2020, 1, 9; 317-333
2300-1976
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O rodzajach logik temporalnych
Autorzy:
Kozanecka, Anna
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
czas gramatyczny
logika temporalna
logika czasów gramatycznych
logika czasu
And Next – „i następnie”
And Then – „i wtedy”
Tense
Temporal Logic
Tense Logic
Logic of Time
Chronological Logic
And Next
And Then
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 189-199
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Логика как необходимый элемент в подготовке спасателей
Logika jako niezbędny element w szkoleniu ratowników
Autorzy:
Kowal, M.
Data publikacji:
2014
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
logika
wydajność
program szkolenia
logic
efficiency
training program
Pokaż więcej
Źródło:
Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Technika, Informatyka, Inżynieria Bezpieczeństwa; 2014, T. 2; 141-146
2300-5343
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modele otoczeniowe i topologiczne dla klasycznych i intuicjonistycznych logik modalnych : recenzja
Autorzy:
Indrzejczak, Andrzej. Recenzent
Współwytwórcy:
Witczak, Tomasz. Autor pracy
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
przestrzenie topologiczne
semantyki światów możliwych
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 4453
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł
Tytuł:
Modele otoczeniowe i topologiczne dla klasycznych i intuicjonistycznych logik modalnych : recenzja
Autorzy:
Nasieniewski, Marek. Recenzent
Współwytwórcy:
Witczak, Tomasz. Autor pracy
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
przestrzenie topologiczne
semantyki światów możliwych
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 4453
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł
Tytuł:
Modele otoczeniowe i topologiczne dla klasycznych i intuicjonistycznych logik modalnych
Autorzy:
Witczak, Tomasz
Współwytwórcy:
Połacik, Tomasz. Promotor
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
przestrzenie topologiczne
semantyki światów możliwych
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 4453
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Książka
Tytuł:
Definicje w systemie ontologii Stanisława Leśniewskiego. Problem definicji twórczych
Definitions in Stanisław Leśniewskis System of Ontology. The Problem of Creative Definitions
Autorzy:
Grygierzec, Ewa
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
S. Leśniewski
ontologia
definicja
logic
ontology
definition
Pokaż więcej
Źródło:
Roczniki Filozoficzne; 2003, 51, 1; 67-83
0035-7685
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczeństwo jednokanałowych układów sterowania zrealizowanych w logice odwracalnej
Safety of single-channel control systems implemented in reversible logic
Autorzy:
Pniewski, R.
Dobrzński, M.
Data publikacji:
2018
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
bezpieczeństwo
logika odwracalna
niezawodność
safety
reversible logic
reliability
Pokaż więcej
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 12; 608-610
1509-5878
2450-7725
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Saccades detection in optokinetic nystagmus - a fuzzy approach
Autorzy:
Pander, T.
Czabański, R.
Przybyła, T.
Pojda-Wilczek, D.
Data publikacji:
2012
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
logika rozmyta
ENG signal
optokinetic nystagmus
fuzzy logic
Pokaż więcej
Źródło:
Journal of Medical Informatics & Technologies; 2012, 19; 33-39
1642-6037
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problemy minimalizacji mocy pobieranej przez układy logiki programowalnej
Problems of minimization of power consumed by programmable logic devices
Autorzy:
Dimitrova-Grekov, T.
Solov'ev, V.
Data publikacji:
2002
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
logika programowalna
utrata energii
programmable logic
power dissipation
Pokaż więcej
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 21-29
1644-0331
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodyczne przesłanki ergonomicznej oceny użyteczności i funkcjonalności platformy internetowej System Zawodowcy
The methodological premises of an ergonomic assesment of utility and functionality of the "Zawodowcy" internet platform
Autorzy:
Pacholski, L.
Kałkowska, J.
Data publikacji:
2016
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
Internet
ergonomia
logika rozmyta
internet
ergonomics
fuzzy logic
Pokaż więcej
Źródło:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie; 2016, 71; 53-61
0239-9415
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modele otoczeniowe i topologiczne dla klasycznych i intuicjonistycznych logik modalnych : recenzja
Autorzy:
Świrydowicz, Kazimierz. Recenzent
Współwytwórcy:
Witczak, Tomasz. Autor pracy
Data publikacji:
2020
Wydawca:
Uniwersytet Śląski. Wydział Nauk Ścisłych i Technicznych
Słowa kluczowe:
przestrzenie topologiczne
semantyki światów możliwych
logika modalna
matematyka
Pokaż więcej
Źródło:
DrBG 4453
Dostawca treści:
Biblioteka Cyfrowa UŚ (dostęp wyłącznie z komputerów bibliotek UŚ)
Artykuł

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz