Temat: logika formalna - Prolib Integro

Skocz do pozycji: 1.

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ł

Szczegóły

Skocz do pozycji: 2.

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ł

Szczegóły

Skocz do pozycji: 3.

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ł

Szczegóły

Skocz do pozycji: 4.

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ł

Szczegóły

Skocz do pozycji: 5.

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ł

Szczegóły

Skocz do pozycji: 6.

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

Szczegóły

Informacja