Wszystkie pola: logika formalna,

Skocz do pozycji: 1.

Tytuł:: Logika formalna
System filozofii. T. 1, Logika formalna
Autorzy:: Gabryl, Franciszek (1866–1914)
Data publikacji:: 1899
Wydawca:: Uniwersytet Jagielloński
Słowa kluczowe:: Filozofia -- podręcznik [JHPBN]
handbook of philosophy
Logika -- podręcznik [JHPBN]
handbook of logic; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Czy logika formalna ma sens?
Autorzy:: Ludomir Newelski
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logika formalna dla wyższych gimnazyów
Autorzy:: Zagórzański, Józef
Data publikacji:: 1873
Wydawca:: Rzeszów : J. A. Pelar
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Logika formalna czy logiki formalne?
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2007
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Czy logika formalna jest rodzajem ontologii?
Autorzy:: Maciołek, Ryszard
Data publikacji:: 2008
Tematy:: Ontologia - historia
Logika formalna
Logika - historia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: System filozofii. T. 1, Logika formalna
Autorzy:: Gabryl, Franciszek (1866-1914)
Data publikacji:: 1899
Wydawca:: Kraków : [s.n.] (Kraków : Druk. C. K. Uniwersytetu Jagiellońskiego)
Tematy:: Logika formalna
Filozofia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Logika formalna : systemy logiczne : wstęp do metalogiki
Autorzy:: Borkowski, Ludwik (1914-1993)
Data publikacji:: 1970
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Współczesna logika formalna a nauki przyrodnicze
Contemporary formal logic and the natural sciences
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2001
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
filozofia logiki
metodologia
filozofia nauki
fizyka
logic
philosophy of logic
methodology
philosophy of science
physics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Czy logika formalna jest rodzajem ontologii?
Is Formal Logic a Kind of Ontology?
Autorzy:: Maciołek, Ryszard
Data publikacji:: 2008
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: kategorie ontologiczne
interpretacja ontologiczna
ontologia filozoficzna
ontologia teoriomnogościowa
zobowiązania ontologiczne
ontological categories
ontological commitments
ontological interpretation
philosophical ontology
set theory ontology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
Autorzy:: Magryś, Roman Autor
Współwytwórcy:: Uniwersytet Rzeszowski
Data publikacji:: 2019
Tematy:: Polska
Krasicki, Ignacy (1735-1801)
Literatura polska
Krytycyzm
Logika formalna
Badania naukowe; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Logika formalna i transcendentalna Immanuela Kanta
GENERAL LOGIC AND TRANSCENDENTAL LOGIC IN KANT’S CONCEPTION
Autorzy:: Andrzej Kmiecik
Tematy:: KANT
GENERAL LOGIC
TRANSCENDENTAL LOGIC
A PRIORI; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Elementy logiki formalnej dla studentów kierunków humanistycznych
Autorzy:: Porębska, Małgorzata
Współwytwórcy:: Suchoń, Wojciech
Data publikacji:: 1990
Wydawca:: Nakładem Uniwersytetu Jagiellońskiego
Słowa kluczowe:: logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Logic in the land of make-believe
Autorzy:: Pollard, Stephen Autor
Data publikacji:: 2019
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Elementy teorji poznania, logiki formalnej i metodologji nauk
Autorzy:: Kotarbiński, Tadeusz (1886-1981)
Data publikacji:: 1929
Wydawca:: Lwów : Wydaw. Zakładu Narodowego imienia Ossolińskich (Lwów : Zakł. Nar. im. Ossolińskich)
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: On the rules of suppositions in formal logic
Autorzy:: Jaśkowski, Stanisław (1906-1965)
Data publikacji:: 1934
Wydawca:: Warszawa : Seminarjum Filozoficzne. Wydz. Matematyczno-Przyrodniczy UW (Warszawa : P. Pyz i S-ka)
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Chmielewski, Adam (1959- ). Przedm.
Woleński, Jan (1940- ). Przedm.
Krajczyk, Aleksandra. Tł.
Data publikacji:: 1988
Wydawca:: Państ. Wydaw. Naukowe
Słowa kluczowe:: logika formalna
sylogistyka; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów
Autorzy:: Stanosz, Barbara (1935-2014)
Data publikacji:: 2005
Wydawca:: Wydawnictwo Naukowe PWN
Słowa kluczowe:: językoznawstwo matematyczne
logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Główne zasady metodologji nauk i logiki formalnej : wykłady K. Ajdukiewicza wygłoszone na Uniwersytecie Warszawskim w roku akad. 1927/28
Autorzy:: Ajdukiewicz, Kazimierz (1890-1963) Autor
Współwytwórcy:: Presburger, Mojżesz (1904-1943?) Redakcja
Data publikacji:: 1928
Wydawca:: Warszawa : Koło Mat.-Fiz. Słuchaczów U.W.
Tematy:: Metodologia
Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Ancient formal logic
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: 1968
Wydawca:: Amsterdam : North-Holland Publ. Co.
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Formale Logik
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: cop. 1956
Wydawca:: Freiburg : K. Alber, cop. 1956
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Filozofia logiki i formalna logika niesymplifikacyjna
Autorzy:: Grzegorczyk, Andrzej (1922-2014)
Data publikacji:: 2011
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Elementy teorii poznania, logiki formalnej i metodologii nauk
Autorzy:: Kotarbiński, Tadeusz (1886-1981)
Współwytwórcy:: Gasparski, Wojciech (1936-2022). Red.
Czaplicka, Urszula. Red.
Miller, Danuta (1929-2006). Red.
Data publikacji:: 1990
Wydawca:: Zakład Narodowy im. Ossolińskich
Słowa kluczowe:: teoria poznania
logika formalna
badania naukowe; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi
Autorzy:: Porębska, Małgorzata
Suchoń, Wojciech
Data publikacji:: 1996
Wydawca:: Universitas
Słowa kluczowe:: logika
logika symboliczna i matematyczna
informatyka
logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Dr hab. Zdzisław Dywan, prof. KUL
Autorzy:: Sarek, Stanisław (1947- ) Autor
Data publikacji:: 2020
Tematy:: Logika formalna
Polska
Dywan, Zdzisław (1951-2020); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Prawda i fałsz wypowiedzi literackiej
Autorzy:: Magryś, Roman Autor
Współwytwórcy:: Uniwersytet Rzeszowski
Data publikacji:: 2020
Tematy:: Prawda
Logika formalna
Fikcja literacka
Literatura
Fenomenologia literatury; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Aristotles syllogistic from the standpoint of modern formal logic
Autorzy:: Łukasiewicz, Jan (1878-1956)
Data publikacji:: 1951
Wydawca:: Oxford : Clarendon Press
Tematy:: Logika formalna
Sylogistyka - historia
Arystoteles (384-322 p.n.e.); Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Krajczyk, Aleksandra Tł.
Woleński, Jan (1940- ) Przedm.
Chmielewski, Adam (1959- ) Przedm.
Data publikacji:: 1988
Wydawca:: Warszawa : Państ. Wydaw. Naukowe (Krak. : UJ)
Tematy:: Sylogistyka - historia
Logika formalna
Arystoteles (384-322 p.n.e.); Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Dlaczego teoria nie zawsze zgadza się z praktyką ?
Autorzy:: Drogosz, P.
Data publikacji:: 2011
Słowa kluczowe:: filozofia edukacji
logika formalna
nauki empiryczne
philosophy of education
formal logic
empirical science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Analiza dowodu pierwszej tezy Gorgiasza
Gorgias First Thesis. An Analysis
Autorzy:: Nowakowski Andrzej
Data publikacji:: 2016-06
Tematy:: Gorgiasz
dowód
logika formalna
ἔστι
nihilizm metafizyczny
Gorgias
proof
formal logic
metaphysical nihilism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Knowledge, Vagueness and Logic
Autorzy:: Wybraniec-Skardowska, U.
Data publikacji:: 2001
Słowa kluczowe:: zbiór rozmyty
logika formalna
vague knowledge
fuzzy sets
rough sets
vague sets
formal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Knowledge, Vagueness and Logic
Autorzy:: Wybraniec-Skardowska, U.
Data publikacji:: 2001
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: zbiór rozmyty
logika formalna
vague knowledge
fuzzy sets
rough sets
vague sets
formal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:: Tomza, Anna
Data publikacji:: 2020
Wydawca:: Łódzkie Towarzystwo Naukowe
Tematy:: classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:: Anna Tomza
Data publikacji:: 2020
Tematy:: classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Aleksander Pabian
Data publikacji:: 2023-02-28
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Sympozjum na temat książki Andrzeja Kisielewicza Logika I Argumentacja : praktyczny kurs krytycznego myślenia.
Współwytwórcy:: Sielezin, Jan Ryszard (1955- ). Kilka uwag o książce profesora Andrzeja Kisielewicza "Logika i argumentacja"
Newelski, Ludomir. Czy logika formalna ma sens?
Kisielewicz, Andrzej. Odpowiedź na polemiki i komentarze do mojej książki "Logika i argumentacja"
Szlachcic, Krzysztof. Andrzeja Kisielewicza pochwała zdrowego rozsądku
Biłat, Andrzej. Uwagi o podręczniku "Logika i argumentacja" Andrzeja Kisielewicza
Łazarz, Marcin. Kilka uwag na marginesie książki Andrzeja Kisielewicza "Logika i argumentacja"
Kotowski, Mateusz. Argumenty z autorytetu a krytyczne myślenie
Kisielewicz, Andrzej. Wprowadzenie do dyskusji
Skowron, Bartłomiej (1984- ). Możliwościowe ujęcie logiki praktycznej
Data publikacji:: 2018
Tematy:: Logika formalna
Argumentacja
Filozofia polska
Kisielewicz, Andrzej. Logika i argumentacja; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Pabian, Aleksander
Data publikacji:: 2023-02-28
Wydawca:: Główny Urząd Statystyczny
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Application of deontic logic in role-based access control
Autorzy:: Kołaczek, G.
Data publikacji:: 2002
Słowa kluczowe:: logika formalna
kontrola dostępu
RBAC
bezpieczeństwo systemu
formal logic
access control
system security
reasoning automation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Logika i formalna weryfikacja systemów komputerowych. Kilka uwag
Autorzy:: Trzęsicki, K.
Data publikacji:: 2009
Słowa kluczowe:: logika
weryfikacja
metoda teorio-dowodowa
sprawdzanie za pomocą modelu
logic
verification
proof-theoretical method
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Wartości i normy jako zdania w logice. Z historii logiki w Polsce
Statements of values and norms. History of Polish logic
Autorzy:: Pacewicz G.
Tematy:: wiek XX
Polska
logika
logika formalna
historia
zdanie
zdanie normatywne
zdanie wartosciujace
normy
definicje
wartosc; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Kozanecka-Dymek, Anna Maria
Data publikacji:: 2021-07-12
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Anna Maria Kozanecka-Dymek
Data publikacji:: 2021-07-12
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Logik : Wiener Logikkolleg 1894/95
Autorzy:: Twardowski, Kazimierz (1866-1938) Autor
Współwytwórcy:: Betti, Arianna Redakcja
Raspa, Venanzio Redakcja
Data publikacji:: copyright 2016
Wydawca:: Berlin ; Boston : De Gruyter, copyright 2016
Tematy:: Logika formalna
Weryfikacja (logika)
Uniwersytet Wiedeński
Teoria poznania
Sądy (logika)
Szkoła lwowsko-warszawska (filozofia); Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Nowy idealizm? : Le Corbusier, Alexander i architektura generatywna
Autorzy:: Słyk, J.
Data publikacji:: 2010
Słowa kluczowe:: architektura generatywna
logika formalna
teoria architektury
twórczość algorytmiczna
algorithmic design
formal logic
generative architecture
theory of architecture; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ / a Reinholdo & Alberto Klein FF. Anno 1666. Mense [Jun.] Die. [8 et 9]
Autorzy:: Klein, Albert. Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Klein, Reinhold. Respondent
Data publikacji:: 1666
Wydawca:: [Braniewo] : [Henryk Schultz]
Tematy:: logika formalna
scholastyka
dysertacje naukowe
Jezuici
Arystoteles (384-322 p.n.e.)
etyka
filozofia
teologia katolicka; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ / a Reinholdo & Alberto Klein FF. Anno 1666. Mense [Jun.] Die. [8 et 9]
Autorzy:: Klein, Albert. Respondent
Klein, Reinhold. Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Data publikacji:: 1666
Wydawca:: Henryk Schultz
Słowa kluczowe:: etyka
logika formalna
dysertacje naukowe
Arystoteles (384-322 p.n.e.)
scholastyka
Jezuici
filozofia
teologia katolicka; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Starodruk

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
Critical thinking and formal logic in literary research based on the example of selected works by Ignacy Kracicki
Autorzy:: Magryś, Roman
Data publikacji:: 2019
Wydawca:: Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:: formal logic
critical thinking
ignacy krasicki
interpretation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
Critical thinking and formal logic in literary research based on the example of selected works by Ignacy Kracicki
Autorzy:: Roman Magryś
Tematy:: formal logic
critical thinking
ignacy krasicki
interpretation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Wpływ logiki formalnej na kształtowanie się polskiej terminologii gramatycznej w drugiej połowie XX wieku
The influence of formal logic on the development of Polish grammatical terminology in the second half of the 20th century
Autorzy:: Grochowski Maciej
Tematy:: historia językoznawstwa polskiego,
gramatyka,
semantyka,
logika formalna,
terminologia
history of Polish linguistics,
grammar,
semantics,
formal logic,
terminology; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Różne znaczenia definicji w logice : o krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza uwag kilka
Autorzy:: Tomza-Tulejska, Anna Autor
Współwytwórcy:: Zakład Polityki Prawa (Uniwersytet Łódzki)
Data publikacji:: 2020
Tematy:: Logika formalna
Definicja
Ajdukiewicz, Kazimierz (1890-1963)
Logika trójwartościowa
Łukasiewicz, Jan (1878-1956)
Logika dwuwartościowa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego = Applicability of some logical systems to analyse formal correctness of inferences concerning canon law = Primenimostʹ nekotoryh logičeskih sistem dlâ analiza formalʹnoj korrektnosti vyvodov, kasaûŝihsâ kanoničeskogo prava
Autorzy:: Kozanecka-Dymek, Anna Autor
Współwytwórcy:: Katolicki Uniwersytet Lubelski Jana Pawła II
Data publikacji:: 2021
Tematy:: Wnioskowanie (logika)
Logika formalna
Wykładnia prawa
Kanonistyka
Kościół katolicki
Prawo kanoniczne
Kodeks prawa kanonicznego; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Logika. Panorama tematyki
Logic. Panorama of the Domain
Autorzy:: Kublikowski Robert
Data publikacji:: 2018-12-31
Tematy:: logika
logika formalna
semiotyka
metodologia nauk
teoria poznania
epistemologia
logic
formal logic
semiotics
methodology of science
theory of cognition
epistemology; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Logika. Panorama tematyki
Logic. Panorama of the Domain
Autorzy:: Kublikowski, Robert
Data publikacji:: 2018-12-31
Wydawca:: Wyższe Seminarium Duchowne im. św. Jana Pawła II Diecezji Siedleckiej
Tematy:: logika
logika formalna
semiotyka
metodologia nauk
teoria poznania
epistemologia
logic
formal logic
semiotics
methodology of science
theory of cognition
epistemology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Pojęcie dyplomacji dla nauki
The concept of diplomacy for science
Autorzy:: Szkarłat, Monika
Data publikacji:: 2020-03-31
Wydawca:: Wydawnictwo Adam Marszałek
Tematy:: dyplomacja naukowa
dyplomacja dla nauki
teoria poznania
logika formalna
science diplomacy
diplomacy for science
theory of cognition
formal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Pojęcie dyplomacji dla nauki
The concept of diplomacy for science
Autorzy:: Monika Szkarłat
Tematy:: dyplomacja naukowa
dyplomacja dla nauki
teoria poznania
logika formalna
science diplomacy
diplomacy for science
theory of cognition
formal logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ
Autorzy:: Klein, Reinhold Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Klein, Albert. Respondent
Data publikacji:: 1666
Wydawca:: [Braniewo] : [Henryk Schultz]
Tematy:: logika formalna
dysertacje naukowe
filozofia przyrody
Arystoteles (384-322 p.n.e.)
teologia katolicka
religia i duchowość
etyka
Jezuici
scholastyka; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ
Autorzy:: Klein, Reinhold. Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Klein, Albert. Respondent
Data publikacji:: 1666
Wydawca:: Henryk Schultz
Słowa kluczowe:: etyka
religia i duchowość
dysertacje naukowe
filozofia przyrody
Arystoteles (384-322 p.n.e.)
scholastyka
Jezuici
logika formalna
teologia katolicka; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Starodruk

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Wartości i normy jako zdania w logice. Z historii logiki w Polsce
Autorzy:: Pacewicz, Grzegorz
Data publikacji:: 2016
Wydawca:: Uniwersytet Warmińsko-Mazurski w Olsztynie
Tematy:: zdanie
sąd
norma
wartość
zdanie normatywne
zdanie wartościujące
logika formalna
historia logiki
Szkoła Lwowsko-Warszawska
Twardowski
Lukasiewicz
Kotarbiński
Czeżowski
Ajdukiewicz
Ziembiński; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Wartości i normy jako zdania w logice. Z historii logiki w Polsce
Autorzy:: Pacewicz Grzegorz
Tematy:: zdanie
sąd
norma
wartość
zdanie normatywne
zdanie wartościujące
logika formalna
historia logiki
Szkoła Lwowsko-Warszawska
Twardowski
Lukasiewicz
Kotarbiński
Czeżowski
Ajdukiewicz
Ziembiński; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Logic in formal verification of computer systems. Some remarks
Logika i formalna weryfikacja systemów komputerowych. Kilka uwag
Autorzy:: Trzęsicki, K.
Data publikacji:: 2009
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: logika
weryfikacja
metoda teorio-dowodowa
sprawdzanie za pomocą modelu
logic
verification
proof-theoretical method
model checking; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Dialektyka wiedzy logikomatematycznej w ujęciu Jarosława Ładosza = Jarosław Ładosz on the dialectics of logico-mathematical knowledge
Autorzy:: Winczewski, Damian Autor
Data publikacji:: 2020
Tematy:: Logika formalna
Marksizm
Filozofia współczesna
Intuicjonizm matematyczny
Ładosz, Jarosław (1924-1997)
Teoria poznania
Filozofia matematyki
Materializm dialektyczny
Filozofia polska; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Errata do artykułu Andrzeja Grzegorczyka „Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA”
Autorzy:: Grzegorczyk, Andrzej
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Errata do artykułu Andrzeja Grzegorczyka „Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA”
Autorzy:: Andrzej Grzegorczyk
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA
PHILOSOPHY OF LOGIC AND PERCEPTIVE EQUIVALENCE
Autorzy:: Andrzej Grzegorczyk
Tematy:: PHILOSOPHY OF LOGIC
PROPOSITIONAL LOGIC
APPLICATIONS OF LOGIC
LOGICAL EQUIVALENCE
IMPLICATION; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: The conception of logic in the Cracow Circle : Salamucha, Drewnowski, Bocheński
Autorzy:: Murawski, Roman (1949- ) Autor
Współwytwórcy:: Wydział Matematyki i Informatyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Data publikacji:: 2021
Tematy:: Filozofia polska
Tomizm
Teologia
Logika formalna
Bocheński, Józef Maria (1902-1995)
Koło Krakowskie (filozofia)
Filozofia współczesna
Salamucha, Jan (1903-1944)
Drewnowski, Jan Franciszek (1896-1978); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: The approach to applications integration for world data center interdisciplinary scientific investigations
Autorzy:: Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:: 2019
Słowa kluczowe:: research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agents
badania
integracja aplikacji
procesy biznesowe
logika matematyczna
logika formalna
mechanizm wnioskowania
systemy wieloagentowe
protokół; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Podstawy teorii mnogości Stanisława Leśniewskiego w formalizacji Jana Śleszyńskiego
The foundations of S. Leśniewskis set theory in a formalization of Jan Śleszyński
Autorzy:: Borowik, Piotr
Współwytwórcy:: Hertrich-Woleński, Jan
Data publikacji:: 2010-02-03
Słowa kluczowe:: formal logic
relation to be a part
szkoła lwowsko-warszawska
collective set
zbiór kolektywny
teoria mnogości
logika formalna
relacja bycia częścią
Leśniewski
Śleszyński
mereology
the Lvov-Warsaw philosophical school
mereologia; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Józef Peano
Autorzy:: Dickstein, Samuel (1851–1939)
Kozłowski, Władysław Mieczysław (1858–1935)
Stamm, Edward (1886–1940)
Dickstein, Samuel (1851-1939
Data publikacji:: 1933
Wydawca:: (Drukarnia Kooperatywy Pracowników Drukarskich)
s. n.
Słowa kluczowe:: Italian philosophy of mathematics (19-20 c.)
Logika formalna-- historia -- Włochy -- 19-20 w. [JHPBN]
Peano, Giuseppe (1858-1932)
Matematyka--filozofia--historia--Włochy--19-20 w.[JHPBN]
Peano, Giuseppe (1858-1932) [JHPBN]
history of Italian formal logic (19-20 c.); Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Formalna weryfikacja automatycznego zrównoleglenia procesów
Autorzy:: Dziurzański, P.
Karpicki, M.
Data publikacji:: 2006
Słowa kluczowe:: formalna weryfikacja
logika temporalna CTL
asercja
równoleglizowanie
SystemC
formal verification
parallelisation
assertion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Formalna weryfikacja automatycznego zrównoleglenia procesów
Formal verification of automatically parallelised processes
Autorzy:: Dziurzański, P.
Karpicki, M.
Data publikacji:: 2006
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: formalna weryfikacja
logika temporalna CTL
asercja
równoleglizowanie
SystemC
formal verification
parallelisation
assertion; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Changing probabilistic beliefs in persuasion
Autorzy:: Budzyńska, K.
Kacprzak, M.
Data publikacji:: 2010
Słowa kluczowe:: perswazja
przekonania
ogika prawdopodobieństwa
formalna weryfikacja
logika prawdopodobieństwa
persuasion
beliefs
probabilistic logic
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Elementarne wprowadzenie w logikę formalną
Autorzy:: Porębska, Małgorzata
Suchoń, Wojciech
Data publikacji:: 1991
Wydawca:: Państwowe Wydawnictwo Naukowe
Słowa kluczowe:: logika symboliczna i matematyczna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Formal verification of embedded logic controller specification with computer deduction in temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: formalna weryfikacja
wbudowane sterowniki logiczne
logika temporalna
elektrotechnika
elektroenergetyka
formal verification
embedded logic controllers
temporal logic
electrical technology
electrical power engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Atomizm logiczny Bertranda Russella
Russell’s logical atomism
Autorzy:: Janusz Kaczmarek
Data publikacji:: 2023-12-21
Tematy:: atomizm logiczny
fakt
izomorfizm
logika
ontologia formalna
B. Russell
sąd
L. Wittgenstein
B. Wolniewicz; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: From workflow design patterns to logical specifications
Autorzy:: Klimek, R.
Data publikacji:: 2013
Słowa kluczowe:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Changing probabilistic beliefs in persuasion
Zmiana probabilistycznych przekonań w perswazji
Autorzy:: Budzyńska, K.
Kacprzak, M.
Data publikacji:: 2010
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: perswazja
przekonania
ogika prawdopodobieństwa
formalna weryfikacja
logika prawdopodobieństwa
persuasion
beliefs
probabilistic logic
formal verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
Autorzy:: Łukowicz, J.
Iwaniak, A.
Strzelecki, M.
Kaczmarek, I.
Data publikacji:: 2014
Słowa kluczowe:: ontologia
modelowanie
planowanie przestrzenne
logika opisowa
ontologia formalna
model czasoprzestrzenny
ontology
modeling
spatial planning
description logic
formal ontology
spatio-temporal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: O formalnej ontologii bytu i czasu
On the Formal Ontology of Being and Time
Autorzy:: BIŁAT, Andrzej
Data publikacji:: 2018-03-26
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: pojęcia ontologiczne
ontologia logiczna
eksplikacyjna ontologia formalna
empiryczna ontologia formalna
monadyczna logika drugiego rzędu
czas wypełniony
świat realny
ontological notions
logical ontology
explicative formal ontology
empirical formal ontology
monadic second order logic
filled time
real world; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: O formalnej ontologii bytu i czasu
On the Formal Ontology of Being and Time
Autorzy:: BIŁAT Andrzej
Data publikacji:: 2018-03-26
Tematy:: pojęcia ontologiczne
ontologia logiczna
eksplikacyjna ontologia formalna
empiryczna ontologia formalna
monadyczna logika drugiego rzędu
czas wypełniony
świat realny
ontological notions
logical ontology
explicative formal ontology
empirical formal ontology
monadic second order logic
filled time
real world; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: An effective SAT-Solving mechanism with backtrack controlled by FDL
Autorzy:: Pułka, A.
Data publikacji:: 2011
Słowa kluczowe:: badanie spełnialności logicznej
weryfikacja formalna
logiczne formuły w postaci CNF
SAT solving
formal verification
CNF
Boolean satisfiability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Słowa kluczowe:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:: Klimek, R.
Szwed, P.
Data publikacji:: 2010
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: From workflow design patterns to logical specifications
Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
Autorzy:: Klimek, R.
Data publikacji:: 2013
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Towards leibnizian possibility. Formal frame of modal theory of individual concepts
Autorzy:: Świętorzecka, Kordula
Data publikacji:: 2013
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal ontology
Leibniz Gottfried Wilhelm
theory of concepts
possible worlds semantics
modal free logic
ontologia formalna
Leibniz Godfryd Wilhelm
teoria pojęć
semantyka światów możliwych
modalna logika wolna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Towards leibnizian possibility. Formal frame of modal theory of individual concepts
Autorzy:: Świętorzecka Kordula
Tematy:: formal ontology
Leibniz Gottfried Wilhelm
theory of concepts
possible worlds semantics
modal free logic
ontologia formalna
Leibniz Godfryd Wilhelm
teoria pojęć
semantyka światów możliwych
modalna logika wolna; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Formal analysis of use case diagrams
Autorzy:: Klimek, R.
Szwed, P.
Data publikacji:: 2010
Słowa kluczowe:: UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: Zdolność komunikowania się ludzi z logicznej i psychologicznej perspektywy
The People’s Ability to Communicate from the Logical and Psychological Perspective
Autorzy:: Łukowski, Piotr
Współwytwórcy:: Uniwersytet Łódzki
Piotr Łukowski — prof. nadzw. dr hab., kierownik Zakładu Kognitywistyki w Instytucie Psychologii Uniwersytetu Łódzkiego. Zajmuje się logiką filozoficzną i formalną, filozofią języka naturalnego, paradoksami myślenia, rozumowaniami potocznymi oraz zagadnieniami perswazji i manipulacji
Piotr Łukowski — doctor habilitatus, associate professor, Head of the Department of Cognitive Science at the Institute of Psychology at the University of Łódź. Scientific interests: philosophical and formal logic, philosophy of the natural language, paradoxes of thought, colloquial reasonings, and the issues of persuasion and manipulation
Data publikacji:: 2016-09-20T13:20:29Z
Wydawca:: Wydział Nauk o Wychowaniu Uniwersytetu Łódzkiego
Tematy:: intuicja
empatia
poziomy empatii
język naturalny
akt mowy
znaczenie
tolerancyjność wyrażenia
nieostrość wyrażenia
ogólność wyrażenia
akcent
kontekstowość znaczenia
performatyw
mówienie nie wprost
kontekst wypowiedzi
intuition
empathy
degrees of empathy
natural language
speech act
meaning
tolerance of an expression
vagueness of an expression
generality of an expression
accent
contextuality of meaning
performative of an utterance
indirect speech act
context of an utterance; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Atomizm logiczny Bertranda Russella
Russell’s logical atomism
Autorzy:: Kaczmarek, Janusz
Data publikacji:: 2023-12-21
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: atomizm logiczny
fakt
izomorfizm
logika
ontologia formalna
B. Russell
sąd
L. Wittgenstein
B. Wolniewicz; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: Formal analysis of destination reachability under given restrictions for multi-path routing in Network on Chip
Autorzy:: Dziurzański, P.
Data publikacji:: 2012
Słowa kluczowe:: sieci wewnątrzukładowe
logika temporalna
drzewo obliczeń
osiągalność stanu
network on chip
NoC
temporal logic
computation tree
state reachability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Słowa kluczowe:: algorytmiczna maszyna stanów
ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
Autorzy:: Zygmunt, Jan
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: semilattice
formal ontology of situations
algebraic logic
history of Polish logic
Bogusław Wolniewicz
półkrata
formalna ontologia sytuacji
logika algebraiczna
historia logiki polskiej; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
Autorzy:: Zygmunt, Jan
Tematy:: semilattice
formal ontology of situations
algebraic logic
history of Polish logic
Bogusław Wolniewicz
półkrata
formalna ontologia sytuacji
logika algebraiczna
historia logiki polskiej
Nauki Humanistyczne i Społeczne; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logika formalna," wg kryterium: Wszystkie pola