Temat: logika formalna, - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logika formalna," wg kryterium: Temat

Wyświetlanie 1-10 z 13

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Elementy logiki formalnej dla studentów kierunków humanistycznych
Autorzy:: Porębska, Małgorzata
Współwytwórcy:: Suchoń, Wojciech
Data publikacji:: 1990
Wydawca:: Nakładem Uniwersytetu Jagiellońskiego
Słowa kluczowe:: logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Chmielewski, Adam (1959- ). Przedm.
Woleński, Jan (1940- ). Przedm.
Krajczyk, Aleksandra. Tł.
Data publikacji:: 1988
Wydawca:: Państ. Wydaw. Naukowe
Słowa kluczowe:: logika formalna
sylogistyka; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów
Autorzy:: Stanosz, Barbara (1935-2014)
Data publikacji:: 2005
Wydawca:: Wydawnictwo Naukowe PWN
Słowa kluczowe:: językoznawstwo matematyczne
logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi
Autorzy:: Porębska, Małgorzata
Suchoń, Wojciech
Data publikacji:: 1996
Wydawca:: Universitas
Słowa kluczowe:: logika
logika symboliczna i matematyczna
informatyka
logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Elementy teorii poznania, logiki formalnej i metodologii nauk
Autorzy:: Kotarbiński, Tadeusz (1886-1981)
Współwytwórcy:: Gasparski, Wojciech (1936-2022). Red.
Czaplicka, Urszula. Red.
Miller, Danuta (1929-2006). Red.
Data publikacji:: 1990
Wydawca:: Zakład Narodowy im. Ossolińskich
Słowa kluczowe:: teoria poznania
logika formalna
badania naukowe; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

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

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

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

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ / a Reinholdo & Alberto Klein FF. Anno 1666. Mense [Jun.] Die. [8 et 9]
Autorzy:: Klein, Albert. Respondent
Klein, Reinhold. Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Data publikacji:: 1666
Wydawca:: Henryk Schultz
Słowa kluczowe:: etyka
logika formalna
dysertacje naukowe
Arystoteles (384-322 p.n.e.)
scholastyka
Jezuici
filozofia
teologia katolicka; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Starodruk

na półce

Szczegóły

Skocz do pozycji: 10.

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

Wyświetlanie 1-10 z 13

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies