Temat: deductive method - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Zerwanie z tradycją czy niezbędny rozwój? Dwa sposoby rozumienia posynodalnej adhortacji Amoris laetitia
Breaking with Tradition or Necessary Development? Two Types of Reading of the Apostolic Letter Amoris laetitia
Autorzy:: Schockenhoff, Eberhard
Data publikacji:: 2018-09-18
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: Amoris laetitia
development of the tradition
conscience
divorce
deductive method
Christian morality
rozwój tradycji
sumienie
rozwód
metoda dedukcyjna
moralność chrześcijańska; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: O podobieństwie metod testowania teorii w naukach historycznych i "ścisłych"
The Similarity of Theory Testing in the Historical and “Hard” Sciences
Autorzy:: Miller, Keith B.
Data publikacji:: 2011
Wydawca:: Uniwersytet Zielonogórski. Instytut Filozofii
Tematy:: nauki historyczne
nauki ścisłe
metody testowania
metoda indukcyjna
metoda hipotetyczno-dedukcyjna
historical science
hard science
methods of testing
inductive method
hypothetico-deductive method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Nota na temat pojmowania uogólnionej zasady korespondencji
Note on the understanding of the generalized correspondence principle
Autorzy:: KOKOWSKI, Michał
Data publikacji:: 2015
Wydawca:: Polska Akademia Umiejętności
Tematy:: uogólniona zasada korespondencji
kumulatywizm
skrajny antykumulatywizm
dialektyczny kumulatywizm
hipotetyczno‑dedukcyjna metoda myślenia korespondencyjnego
metodologia Kopernika
generalized correspondence principle
cumulativism
extreme anticumulativism
dialectical cumulativism
hypothetico‑deductive method of correspondence‑oriented thinking
Copernicus’s methodology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Application of deductive reasoning to the verification of archimate behavioral elements
Autorzy:: Klimek, Radosław
Szwed, Piotr
Jędrusik, Stanisław
Data publikacji:: 2013
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: Deductive temporal reasoning
software verification
ArchiMate
semantics table¬aux method
Linear Temporal Logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Deduction-based Formal Verification of Business Models using Temporal Logic
Autorzy:: Klimek, R.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: modele biznesowe
BPMN
SOA
wzorce projektowe
logika temporalna
wnioskowanie dedukcyjne
metoda tablic semantycznych
generowanie specyfikacji
business models
workflow design patterns
temporal logic
deductive reasoning
semantic tableaux method
generating specifications; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja