Temat: formal reasoning - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
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
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

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

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: How do adults think about problems related to children’s readiness for starting school?
Jak ludzie dorośli myślą o problemach związanych z gotowością szkolną dzieci?
Autorzy:: Michalska, Paulina
Współwytwórcy:: Uniwersytet Kazimierza Wielkiego w Bydgoszczy, Wydział Psychologii
Data publikacji:: 2023
Wydawca:: Wydawnictwo Naukowe EDUsfera
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Jak ludzie dorośli myślą o problemach związanych z gotowością szkolną dzieci?
How do adults think about problems related to children’s readiness for starting school?
Autorzy:: Michalska, Paulina
Tematy:: gotowość szkolna dzieci
rozumowanie postformalne
dylematy
rozwiązywanie problemów
doświadczenie życiowe
children’s school readiness
post-formal reasoning
dilemmas
problem-solving
life-experience; Pokaż więcej
Data publikacji:: 2023
Wydawca:: Uniwersytet Wrocławski. Wydział Nauk Historycznych i Pedagogicznych. Instytut Pedagogiki. Zakład Historii Edukacji
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Kształtowanie umiejętności wnioskowania sylogistycznego
Forming the Ability of Syllogistic Inference
Autorzy:: Smolak, Maciej
Tematy:: syllogistic reasoning
syllogistic modes and figures
premise
conclusion
formal error
material erro
ad rem argument
ad personam argument; Pokaż więcej
Data publikacji:: 2015-06-15
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

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
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
Data publikacji:: 2020
Wydawca:: Łódzkie Towarzystwo Naukowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:: Tkacz, J.
Adamski, M.
Tematy:: przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers; Pokaż więcej
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja