Przedmioty w rejestracji Rejestracja na przedmioty całoroczne i z semestru zimowego 2020/21 1000-2020

Algebra ogólna i teoria kategorii to klasyczne juz działy matematyki oferujące abstrakcyjne pojęcia, metody i wyniki, które zaadoptowane zostały przez podstawy informatyki i stanowią dziś standardowy język mówienia między innymi o modelowaniu, projektowaniu i systematycznym konstruowaniu złożonych systemów oprogramowania.

Wykład przypomni podstawowe pojęcia algebry ogólnej i od podstaw wprowadzi język teorii kategorii, z konieczności ograniczając sie do pojęć najważniejszych i dotyczących ich podstawowych wyników. Zasygnalizujemy przynajmniej, jak język ten wykorzystywany jest w różnych dziedzinach informatyki, między innymi w teorii typów czy w teorii specyfikacji algebraicznych.

Handel elektroniczny jest jednym z podstawowych zastosowań technologii internetowej. Tworzenie zaawanasowanych rozwiązań w tej dziedzinie wymaga nie tylko umiejętności informatycznych, ale także wiedzy z zakresu toerii gier, ekonomii i innych nauk społecznych.

Podczas zajęc przedstawiony zostaną najważniejsze zagadnienia dotyczące handlu elektronicznego, w tym: tworzenie optymalnych mechanizmów wyboru, projektowanie aukcji, aukcje kombinatoryczne, itp.

Wiele technik omawianych na wykładzie wykorzystywane jest przy tworzeniu usług i oprogramowania najwiekszych firm z branży IT, takich jak, na przykład, Google, Ebay czy Microsoft (Yahoo).

Celem przedmiotu jest pogłębienie wiedzy na temat programowania niskopoziomowego i zapoznanie z metodami programowania mikrokontrolerów (sterowników mikroprocesorowych). Na wykładzie są omawiane typowe techniki programowania i narzędzia programistyczne, architektura mikroprocesorów ARM oraz typowe układy peryferyjne. Na laboratorium są prowadzone praktyczne ćwiczenia w oparciu o zestawy prototypowe z mikroprocesorem ARM. Programy pisze się w języku C, ewentualnie z drobnymi wstawkami asemblerowymi.

Wykład odbywa się co tydzień po 2 godziny, a zajęcia laboratoryjne - co drugi tydzień po 4 godziny. w pierwszym tygodniu są dwa wykłady (1 i 2); w drugim tygodniu jest wykład 3; zajęcia laboratoryjne startują w drugim tygodniu; kolejność wykładów może się zmienić.

Celem wykładu jest zapoznanie studentów z podstawowymi pojęciami i technikami stosowanymi w projektowaniu i realizacji najnowszej generacji inteligentnych systemów usytuowanych w rzeczywistym środowisku, tj. systemów wieloagentowych. Stosowane techniki, wywodzące się zarówno z rozproszonej sztucznej inteligencji, jak i z projektowania obiektowego, doprowadziły do powstania nowego nurtu w programowaniu, tzw. programowania zorientowanego agentowo (ang. "agent-oriented programming"). Wykład da podstawy do samodzielnego projektowania systemów wieloagentowych.

W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku.

Patrz opis seminarium magisterskiego 1000-1D97TA.