Wyniki wyszukiwania dla: LOGIKA TEMPORALNA - MOST Wiedzy

Twoje konto

zaloguj

Wyszukiwarka

Wyniki wyszukiwania dla: LOGIKA TEMPORALNA

Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (75)

Wyniki wyszukiwania dla: LOGIKA TEMPORALNA

  • Grupa zarządzania wiedzą

    Potencjał Badawczy

    Grupa Zarządzania Wiedzą na Politechnice Gdańskiej jest grupą badawczo-rozwojową skupiającą się na obszarach związanych z zarządzaniem wiedzą i informacją. Naszym priorytetem jest opracowanie zestawu narzędzi i metod umożliwiających przetwarzanie i analizowanie dużych ilości informacji przechowywanych w zasobach WWW. Grupa specjalizuje się w ontologicznych metodach reprezentacji i analizy wiedzy, która zapisana jest w sposób ustrukturalizowany...

  • Architektura Systemów Komputerowych

    Potencjał Badawczy

    Główną tematyką badawczą podejmowaną w Katedrze jest rozwój architektury aplikacji i systemów komputerowych, w szczególności aplikacji i systemów równoległych i rozproszonych. "Architecture starts when you carefully put two bricks together" - stwierdza niemiecki architekt Ludwig Mies von der Rohe. W przypadku systemów komputerowych dotyczy to nie cegieł, a modułów sprzętowych lub programowych. Przez architekturę systemu komputerowego...

  • Zespół Systemów Multimedialnych

    Potencjał Badawczy

    * technologie archiwizacji, rekonstrukcji i dostępu do nagrań archiwalnych * technologie inteligentnego monitoringu wizyjnego i akustycznego * multimedialne technologie telemedyczne * multimodalne interfejsy komputerowe

Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (17)

Wyniki wyszukiwania dla: LOGIKA TEMPORALNA

Pozostałe wyniki Pokaż wszystkie wyniki (2359)

Wyniki wyszukiwania dla: LOGIKA TEMPORALNA

  • Logic and Logical Philosophy

    Czasopisma

    ISSN: 1425-3305 , eISSN: 2300-9802

  • Logika opracowania regionalnych programów rozwojowych

    Publikacja
    • J. Glazunov

    - Rok 2002

    W monografii opracowano szereg metod przeznaczonych do badania układów społeczno-ekonomicznych. Metody te zostały ułożone w jedyny system, stanowiący tzw. programowanie celowe.

  • Ernst Cassirer, Logika nauk o kulturze

    Publikacja

    - Rok 2011

    Książka stawia przed sobą cele systematyczno-genetyczne, próbując określić filozoficzne źródła możliwości najważniejszych problemów myśli – w tym wypadku genezy i możliwości legitymizacji innego typu refleksji niż matematyczno-przyrodnicza. Składa się z pięciu rozpraw, których głównym zadaniem jest odsłonięcie historycznych oraz teoretycznych źródeł możliwości nauk o kulturze i ukazanie naczelnej funkcji poznawczej („źródłowej...

  • Logika opisowa jako język modelowania oprogramowania

    Publikacja

    - Rok 2008

    W referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Konsumpcja jako logika znaczeń a kształtowanie kultury komsumpcji

    Publikacja

    - Rok 2006

    W artykule omówiono koncepcję ideologizacji konsumpcji Beudrillard'a to jest potraktowanie jej jako zjawiska w którym występują cztery porządki: - funkcjonalna logika wartości użytkowej,- ekonomiczna logika wartości wymiennej,- logika wymiany symbolicznej,- logika wartości.Omówione są problemy związane z możliwością kontynuacji etapu post modernistycznej róznorodności realizacji konsumpcjonizmu.