Temat: logic formalization

Skocz do pozycji: 1.

Tytuł:: Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych
Chronological logic and its applications in the analysis of some legal reasoning
Autorzy:: Kozanecka-Dymek Anna
Tematy:: chronological logic
applications
analysis
legal sciences
legal discourse
legal language
legal reasoning
formalization; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Matematyczne narzędzia stosowane do reprezentacji wiedzy o wadach wyrobów metalowych
Autorzy:: Kluska-Nawarecka, S.
Adrian, A.
Durak, J.
Mrzygłód, B.
Wilk-Kołodziejczyk, D.
Data publikacji:: 2005
Słowa kluczowe:: diagnostyka wad
wyroby hutnicze
reprezentacja wiedzy
formalizacja wiedzy
logiki
wnioskowanie
język logiki
diagnostics of defects
steel products
knowledge representation
knowledge formalization
logic
deductions
language of logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Stosowanie logiki w filozofii. O dyskusji między Stanisławem Kamińskim i Janem F. Drewnowskim
Applying logic in philosophy. The debate between Stanisław Kamiński and Jan F. Drewnowski
Autorzy:: Lechniak Marek
Tematy:: applicability of logic
Thomistic metaphysics
system of classical metaphysics
formalization of Aquinas’ proof 'ex motu'
stosowalność logiki
metafizyka tomistyczna
system metafizyki klasycznej
formalizacja dowodu 'ex motu'; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Stosowanie logiki w filozofii. O dyskusji między Stanisławem Kamińskim i Janem F. Drewnowskim
Applying logic in philosophy. The debate between Stanisław Kamiński and Jan F. Drewnowski
Autorzy:: Lechniak, Marek
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: applicability of logic
Thomistic metaphysics
system of classical metaphysics
formalization of Aquinas’ proof 'ex motu'
stosowalność logiki
metafizyka tomistyczna
system metafizyki klasycznej
formalizacja dowodu 'ex motu'; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja