Temat: formal logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: LOGICKÁ (NE)KONZISTENTNOSŤ NORMATÍVNEHO SYSTÉMU A JEJ METODOLOGICKÉ KOREKCIE
Logical (in)consistency of a normative system and its methodical corrections
Autorzy:: Gahér František
Števček Marek
Tematy:: LOGICAL INCONSISTENCY
FORMAL LOGIC
METHODOLOGY
INTERPRETATION; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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

Tytuł:: Logic and its Pragmatic Aspects
Autorzy:: Michele Marsonet
Data publikacji:: 2018
Tematy:: logic
formal logic
logical pluralism
pragmatism
analytic philosophy
praxis; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: IS FORMAL LOGIC A SCIENCE ABOUT RATIONAL ARGUMENTS?
Autorzy:: Svatopluk Nevrkla
Tematy:: FORMAL LOGIC
INFORMAL LOGIC
ARGUMENTATION
DEFEASIBLE ARGUMENTS
LOGICAL ENTAILMENT; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: The Conception of Logic in the Cracow Circle: Salamucha, Drewnowski, Bocheński
Autorzy:: Roman Murawski
Data publikacji:: 2021-07-31
Tematy:: formal logic
philosophy
theology
Thomism
Cracow Circle; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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

Tytuł:: The Conception of Logic in the Cracow Circle: Salamucha, Drewnowski, Bocheński
Autorzy:: Murawski, Roman
Data publikacji:: 2021-07-31
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal logic
philosophy
theology
Thomism
Cracow Circle; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logic and its Pragmatic Aspects
Autorzy:: Marsonet, Michele
Data publikacji:: 2018
Wydawca:: Academicus. International Scientific Journal publishing house
Tematy:: logic
formal logic
logical pluralism
pragmatism
analytic philosophy
praxis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Prawda i fałsz wypowiedzi literackiej
Truth and Falsity of Literary Statements
Autorzy:: Magryś Roman
Data publikacji:: 2020
Tematy:: formal logic
fiction
truth
intention
falsehood
literature
intensional logic
phenomenology; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Prawda i fałsz wypowiedzi literackiej
Truth and Falsity of Literary Statements
Autorzy:: Magryś, Roman
Data publikacji:: 2020
Wydawca:: Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:: formal logic
fiction
truth
intention
falsehood
literature
intensional logic
phenomenology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Application of deontic logic in role-based access control
Autorzy:: Kołaczek, G.
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
formal logic
access control
RBAC
system security
reasoning automation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: SOME REFLECTIONS ON THE INFORMAL LOGIC INITIATIVE
Autorzy:: Johnson Ralph H.
Tematy:: ARGUMENT
ARGUMENTATION THEORY
CRITICAL THINKING
DEDUCTIVISM
FORMAL LOGIC
INFORMAL LOGIC
LOGIC
PRAGMATICS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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 A.
Tematy:: management
management science
scientific research
research hypothesis
formal logic
propositional calculus; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

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

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

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

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

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

Tytuł:: Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
Autorzy:: Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:: 2021
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agent; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

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

Tytuł:: Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
Autorzy:: Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:: 2021
Słowa kluczowe:: research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agent; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

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

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

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

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

Tytuł:: PREFACE: THE VARIETY OF RESEARCH PERSPECTIVES IN THE STUDY OF ARGUMENTATION
Autorzy:: Koszowy Marcin
Tematy:: ARGUMENTATION
ARGUMENTATION THEORY
COMMON-SENSE REASONING
FORMAL LOGIC
INFORMAL LOGIC
INFORMATICS
METHODOLOGY OF SCIENCE
PRAGMA-DIALECTICS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

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

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

Tytuł:: Mathematical logic : exercises and solutions
Autorzy:: Csirmaz, Laszlo
Gyenis, Zalán
Data publikacji:: 2022
Wydawca:: Springer
Słowa kluczowe:: mathematical logic
predicate calculus
first-order logic
propositional calculus
Gödel’s theorems
recursion theory
problem solving
formal logic
ultraproducts
Peano axiom system; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Life World and Global Civilization
Gyvenamasis pasaulis ir globalioji civilizacija
Autorzy:: Algis Mickūnas
Tematy:: contingency
formal logic
life world
metaphysical
signification
technology
atsitiktinybė
formalioji logika
gyvenamasis pasaulis
metafizika
svarba
technika; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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

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

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

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

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

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

Tytuł:: INFORMAL LOGIC AND LOGIC
Autorzy:: Blair J. Anthony
Tematy:: ARGUMENT SCHEMES
ARGUMENT SCHEMES IN COMPUTER SYSTEMS
ARGUMENTATION SCHEMES
CRITICAL QUESTIONS
FALLACY THEORY
FORMAL LOGIC
INFORMAL LOGIC
RELEVANCE AND SUFFICIENCY
WARRANTS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

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

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

Tytuł:: DEDUCTIVISM IN FORMAL AND INFORMAL LOGIC
Autorzy:: Jacquette Dale
Tematy:: ARGUMENTATION
CIRCULAR REASONING
DEDUCTIVE VALIDITY
DEDUCTIVISM
FALLACY
FORMAL AND INFORMAL LOGIC
INDUCTIVE REASONING
INFORMAL (RHETORICAL) FALLACY
PHILOSOPHICAL LOGIC
VALIDITY
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Szkotowe inspiracje w transcendentalizmie Immanuela Kanta
Scotian inspirations in Immanuel Kant’s transcendentalism
Scotus Inspirationen im Transzendentalismus von Immanuel Kant
Autorzy:: Jacek Surzyn
Data publikacji:: 2011-10-12
Tematy:: scientia transcendens
rzecz sama w sobie
realizm
epistemologia
metafizyka
transcendentalizm obiektywistyczno-metafizyczny, transcendentalizm subiektywistyczno-epistemologiczny,transcendentalizm formalno-logiczny
thing-in-itself
realism
epistemology
metaphysics
objective-metaphysical transcendentalism
subjective-epistemological transcendentalism
formal logic transcedetnalism
das Ding an sich
Realismus
Epistemologie
Metaphysik
objektivistisch-metaphysischer Transzendentalismus
subjektivistisch-epistemologischer Transzendentalismus
formal-logischer Transzendentalismus; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

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

Tytuł:: Logical Analysis of the Concept of Beauty
Autorzy:: Bertato Fábio Maia
San Martin Gabriel
Tematy:: beauty
logic
aesthetics
formal approaches; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: UNSOLVED WEAKNESSES OF EXTENSIONALISM
Autorzy:: Vlasakova M.
Tematy:: EXTENSIONAL CONCEPTION
INTERPRETATIONS OF FORMAL THEORIES
LOGIC
MEDIEVAL LOGIC
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
Autorzy:: Czubin, Adrianna
Słowa kluczowe:: logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Chronological logic i metric tense logic oraz ich przydatność do analizy formalnej poprawności niektórych wnioskowań prawniczych
CHRONOLOGICAL LOGIC AND METRIC TENSE LOGIC AND THEIR APPLICATION IN ANALYSING THE FORMAL CORRECTNESS OF CERTAIN LEGAL INFERENCES
Autorzy:: Kozanecka–Dymek Anna
Tematy:: CHRONOLOGICAL LOGIC
METRIC TENSE LOGIC
APPLICATION
FORMAL ANALYSIS
LEGAL REASONING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker
Autorzy:: Grobelna, I.
Data publikacji:: 2008
Słowa kluczowe:: algorithmic state machines
temporal logic
formal verification
Model Checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: A methodology for rating and ranking hazards in maritime formal safety assessment using fuzzy logic
Autorzy:: Dourmas, N. G.
Nikitakos, V. N.
Lambrou, A. M.
Data publikacji:: 2007
Wydawca:: Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:: decision making
formal safety assessment
hazard identification
marine safety
fuzzy logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: J.M. Bocheński’s Logical Analysis of Kant’s Criticism of the Cosmological Argument
Autorzy:: Porwolik Marek
Tematy:: J.M. Bocheński
I. Kant
cosmological argument
logic
formal natural theology; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: A methodology for rating and ranking hazards in maritime formal safety assessment using fuzzy logic
Autorzy:: Dourmas, N. G.
Nikitakos, V. N.
Lambrou, A. M.
Data publikacji:: 2007
Słowa kluczowe:: decision making
formal safety assessment
hazard identification
marine safety
fuzzy logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "formal logic" wg kryterium: Temat