Teams - AI

Piotr Kulicki

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Metody specyfikacji programów komputerowych Program komputerowy jako zbiór aksjomatów Dowodzenie poprawności programów komputerowych Filozofia języka Prolog Składnia języka Prolog Definicje rekurencyjne Operacje na złożonych strukturach danych: listy, drzewa i inne struktury rekurencyjne Korzystanie z wybranych bibliotek: Programowanie logiczne z ograniczeniami (Constraint Logic Programming) ...

Paweł Garbacz

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Teoretyczne podstawy reprezentacji wiedzy Podstawowe pojęcia i dystynkcje semiotyczne Reprezentacja wiedzy jako tworzenie modelu rzeczywistości “zrozumiałego” dla maszyn Logika opisowa Języki reprezentacji wiedzy: RDF, RDFS, OWL i SKOS Język kwerend SPARQL Zasady FAIR Ontologia w praktyce Edytor ontologiczny Protege Język kwerend SPARQL w...

Krzysztof Pancerz

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Podstawy uczenia maszynowego Idea i cele uczenia maszynowego. Uczenie nadzorowane i nienadzorowane Wstępne przetwarzanie danych na potrzeby uczenia maszynowego Klasyfikacja danych. Rodzaje klasyfikatorów Klasyfikatory leniwe (algorytm k-NN, naiwny klasyfikator Bayesa) Klasyfikatory oparte o model (sztuczne sieci neuronowe, drzewa decyzyjne, maszyny wektorów nośnych) Ocena...

Marek Lechniak

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Elementy semiotyki logicznej Pojęcie znaku i języka; Teoria kategorii składniowych wyrażeń. Semantyczna charakterystyka wyrażeń nazwowych i zdaniowych; 3) Stosunki między zakresami nazw; Podział logiczny a działania na treściach nazw; Semantyczne a pragmatyczne podejście do zdań – pojęcie przekonania i uzasadnienia przekonania; Teoria definicji:...

Ewa Agnieszka Lekka-Kowalik

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Świat zbudowany przez techno-naukę jako naturalne środowisko człowieka. Pojęcie i desygnaty techniki i technologii. Główne stanowiska etyczne w dyskusji nad rozwojem naukowo-technicznym. Główne podejścia do technologii: między technoentuzjazmem a neoluddyzmem Aksjologiczna neutralność versus aksjologiczne nasycenie technologii. Stanowiska wobec rozwoju technologii. Przykładowe współczesne kontrowersje...

Michał Kalisz

12 czerwca 2025
admin

Podczas swoich dotyka następujących treści: Czym jest programowanie Napisy, liczby i zmienne Przepływ sterowania (klauzule warunkowe, pętle) Struktury danych (listy, słowniki, krotki, zbiory) Funkcje Klasy i ich egzemplarze, atrybuty klas Czytanie plików Testowanie kodu Rozproszony system kontroli wersji kodu Praca z API Praca z pakietami Numpy i Pandas Wizualizacja...

Paweł Fortuna

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Percepcja i uwaga Teorie percepcji wzrokowej Teorie uwagi wzrokowej Eksperyment w badaniach nad procesami percepcji i uwagi wzrokowej System optyczny oka Budowa i funkcje siatkówki oka, fotoreceptorów i komórek zwojowych Barwa, jej wskaźniki fizyczne (teoria Newtona, Younga-Helmholtza, Heringa) Podkorowy szlak wzrokowy Korowy szlak wzrokowy...

Piotr Biłgorajski

12 czerwca 2025
Michał Kalisz

Justyna Herda

12 czerwca 2025
admin

Podczas swoich zajęć omawia następujące zagadnienia: Molekularne podstawy funkcjonowania organizmów genom i replikacja proteom i ekspresja materiału genetycznego epigenetyka zasady dziedziczenia choroby uwarunkowane genetycznie Komunikacja międzykomórkowa i szlaki sygnałowe Funkcjonowanie układu wewnątrzwydzielniczego Neurony: właściwości pojedynczej komórki i sieci komórek Ośrodkowy układ nerwowy Fizjologia zmysłów Kontrola autonomiczna i somatyczna Mięśnie...

Anna Starościc

12 czerwca 2025
admin

Podczas swoich zajęć dotyka następujących treści: Sztuczna inteligencja: definicja – historia – inspiracje – oczekiwania. Deklaracja z Asilomar o aksjologicznym wymiarze rozwoju sztucznej inteligencji. Społeczne skutki automatyzacji. Sztuczna inteligencja a wartości. Sprawczość i odpowiedzialność w systemach hybrydowych (człowiek + sztuczna inteligencja). Sztuczne podmioty inteligentne jako autonomiczne podmioty sprawcze i...