Generic structures
General data
Course ID: | WM-MA-Z-S1-E5-SG |
Erasmus code / ISCED: | (unknown) / (unknown) |
Course title: | Generic structures |
Name in Polish: | Struktury generyczne-zajęcia fakultatywne |
Organizational unit: | Faculty of Mathematics and Natural Sciences. School of Exact Sciences. |
Course groups: | |
Course homepage: | https://users.math.cas.cz/kubis/courses/generics/ |
ECTS credit allocation (and other scores): |
6.00
|
Language: | Polish |
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się: | mathematics |
Subject level: | intermediate |
Learning outcome code/codes: | enter learning outcome code/codes |
Preliminary Requirements: | (in Polish) Logika matematyczna, algebra, topologia |
Short description: |
(in Polish) Przedmiot ma na celu wprowadzenie do teorii ,,skomplikowanych'' struktur matematycznych, używając nowoczasnych narzędzi teorii kategorii oraz teorii modeli. |
Full description: |
(in Polish) Strukturę matematyczną nazywamy generyczną, jeśli występuje ,,najczęściej'' w odpowiedniej rodzinie struktur tego samego typu. Konkretne struktury generyczne mają zazwyczaj wiele symetrii, a dodatkowo pewna naturalna własność przedłużania wyznacza je w sposób jednoznaczny, z dokładnością do izomorfizmu. Celem wykładów jest omówienie teorii struktur generycznych oraz przedstawienie jej najważniejszych zastosowań. |
Bibliography: |
(in Polish) Literatura obowiązkowa 1. W. Hodges, A shorter model theory. 2. W. Kubis, P. Radecka, Abstract evolution systems, preprint [https://arxiv.org/abs/2109.12600] Literatura uzupełniająca 1. S. MacLane, Categories For The Working Mathematician |
Efekty kształcenia i opis ECTS: |
(in Polish) wykład: student W1 - zna podstawowe i zaawansowane struktury matematyczne (MA1_W01, MA1_W03, MA1_W04, MA1_W06, MA1_W07) ćwiczenia: student U1 -porównuje i klasyfikuje struktury matematyczne (MA1_U30, MA1_U32, MA1_U33) K1 - jest gotów do samokształcenia i pogłębiania własnej wiedzy z zakresu struktur matematycznych (MA1_K01, MA1_K02) |
Assessment methods and assessment criteria: |
(in Polish) Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji: ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć), ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny, ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny, ocena 3,5: osiągnięty w znacznym stopniu – z wyraźną przewagą pozytywów – i nie są spełnione kryteria przyznania wyższej oceny, ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny, ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją. |
Classes in period "Winter semester 2022/23" (past)
Time span: | 2022-10-01 - 2023-01-31 |
Navigate to timetable
MO TU W TH FR SA WYK
CW
|
Type of class: |
Classes, 20 hours
Lectures, 20 hours
|
|
Coordinators: | Wiesław Kubiś | |
Group instructors: | Wiesław Kubiś | |
Course homepage: | https://users.math.cas.cz/kubis/courses/generics/ | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
examination
Classes - graded credit Lectures - examination |
|
(in Polish) E-Learning: | (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
|
(in Polish) Opis nakładu pracy studenta w ECTS: | (in Polish) wykład: uczestnictwo w zajęciach : 20 godz przygotowanie do zajęć: 20 godz. przygotowanie do weryfikacji: 30 godz. konsultacje z prowadzącym: 5 godz. razem 75 godzin, co odpowiada 3 ECTS ćwiczenia: uczestnictwo w zajęciach : 20 godz przygotowanie projektu zaliczeniowego: 15 godz. przygotowanie do zajęć: 15 godz. przygotowanie do weryfikacji: 20 godz. konsultacje z prowadzącym: 5 godz. razem 75 godzin, co odpowiada 3 ECTS |
|
Type of subject: | obligatory |
Classes in period "Winter semester 2023/24" (past)
Time span: | 2023-10-01 - 2024-01-31 |
Navigate to timetable
MO TU W TH FR SA WYK
CW
CW
|
Type of class: |
Classes, 20 hours
Lectures, 20 hours
|
|
Coordinators: | Wiesław Kubiś | |
Group instructors: | Wiesław Kubiś | |
Students list: | (inaccessible to you) | |
Examination: | examination | |
(in Polish) E-Learning: | (in Polish) E-Learning |
|
(in Polish) Opis nakładu pracy studenta w ECTS: | (in Polish) wykład: uczestnictwo w zajęciach : 20 godz przygotowanie do zajęć: 20 godz. przygotowanie do weryfikacji: 30 godz. konsultacje z prowadzącym: 5 godz. razem 75 godzin, co odpowiada 3 ECTS ćwiczenia: uczestnictwo w zajęciach : 20 godz przygotowanie projektu zaliczeniowego: 15 godz. przygotowanie do zajęć: 15 godz. przygotowanie do weryfikacji: 20 godz. konsultacje z prowadzącym: 5 godz. razem 75 godzin, co odpowiada 3 ECTS |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Copyright by Cardinal Stefan Wyszynski University in Warsaw.