Uniwersytet Warszawski - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Teoria kategorii w podstawach informatyki

Informacje ogólne

Kod przedmiotu: 1000-2M10TKI Kod Erasmus / ISCED: 11.3 / (0612) Database and network design and administration
Nazwa przedmiotu: Teoria kategorii w podstawach informatyki
Jednostka: Wydział Matematyki, Informatyki i Mechaniki
Grupy: Przedmioty monograficzne dla III - V roku informatyki
Przedmioty obieralne dla informatyki
Strona przedmiotu: http://www.mimuw.edu.pl/~tarlecki/teaching/ct/
Punkty ECTS i inne: 6.00
zobacz reguły punktacji
Język prowadzenia: angielski
Rodzaj przedmiotu:

monograficzne

Tryb prowadzenia:

w sali

Skrócony opis:

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.

Pełny opis:

Plan:

 Zbiory wielorodzajowe, podstawowe pojęcia i notacje teorii mnogości.

 Algebry wielorodzajowe i podstawowe pojęcia algebraiczne.

 Termy, równości, rozmaitości algebr; rachunek równościowy.

 Algebry początkowe, specyfikacje algebraiczne z początkową semantyką.

 Pokrewne środowiska algebraiczne.

 Pojęcie kategorii i najprostsze definicje kategoryjne.

 Granice i kogranice.

 Funktory i transformacje naturalne.

 Funktory sprzężone.

 Monady i algebry funktorów.

 Kategorie kartezjańsko domknięte i semantyka rachunku lambda z typami.

Do wykładu przewidziane są ćwiczenia. Wykład może być prowadzony w języku angielskim, ale w przypadku braku studentów obcojęzycznych, zajęcia zapewne będą prowadzone po polsku.

Literatura:

 G. Graetzer, Universla Algebra, Springer, 1979.

 S. MacLane, Categories for the Working Mathematician, Springer, 1971

 D.T. Sannella, A. Tarlecki, Foundations of Algebraic Specificiations and Formal Program Development, Springer, 2012.

Efekty uczenia się:

Wiedza:

 Zna podstawowe pojęcia oraz najważniejsze klasyczne wyniki algebry ogólnej (K_W01, K_W02).

 Zna podstawowe pojęcia oraz proste wyniki teorii kategorii (K_W01, K_W02).

 Zna i rozumie niektóre zastosowania algebry ogólnej i teorii kategorii w podstawach informatyki (K_W01, K_W02).

Umiejętności:

 Potrafi potrafi udowodnić niektóre klasyczne wyniki algebry ogólnej i proste wyniki teorii kategorii (K_U01).

 Potrafi znależć interpretację abstrakcyjnych pojęć algebry ogólnej i teorii kategorii w konkretnych środowiskach logicznych (K_U01, K_U09, K_U10).

 Potrafi znależć uogólnienie pojęć i własności konkretnych środowisk logicznych w terminach algebry ogólnej i teorii kategorii (K_U01, K_U09, K_U10).

 Potrafi uzasadnić metody budowania modularnych programów funkcyjnych w terminach algebry ogólnej i teorii kategorii (K_U01, K_U02, K_U10).

Kompetencje:

 Zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia, w tym zdobywania wiedzy pozadziedzinowej (K_K01).

 Potrafi precyzyjnie formułować pytania, służące pogłębieniu własnego zrozumienia danego tematu lub odnalezieniu brakujących elementów rozumowania (K_K02).

Metody i kryteria oceniania:

Egzamin pisemny,, oceniany przez prowadzącego, może mieć formę większego zadania o wielu podzadaniach, do samodzielnego rozwiązania w domu.

Zajęcia w cyklu "Semestr zimowy 2018/19" (zakończony)

Okres: 2018-10-01 - 2019-01-25
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Andrzej Tarlecki
Prowadzący grup: Andrzej Tarlecki
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin

Zajęcia w cyklu "Semestr zimowy 2019/20" (w trakcie)

Okres: 2019-10-01 - 2020-01-27
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Andrzej Tarlecki
Prowadzący grup: Andrzej Tarlecki
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.